Pinned Loading

1. mation mation Public

   elm + purescript + simple components + flexible IO

   PureScript

2. fitch fitch Public

   Interactive proof assistant for Fitch-style natural deduction

   PureScript 3

3. mathsproofbot mathsproofbot Public

   Writing proofs to Twitter since April 2020

   Python 11

4. nifty-launcher nifty-launcher Public

   yet another application launcher -- this time as a JS api!

   JavaScript

5. local-postgres local-postgres Public

   A tool for local and anonymous PostgreSQL instances

   Nix 1 1

6. ps-inline-asm ps-inline-asm Public

   Inline JavaScript expressions in Purescript

   JavaScript 1