Pinned Loading

1. fhm fhm Public

   A Hindley-Milner language formalised in Lean 4 – proven type-safe, and runnable

   Lean 24

2. netties netties Public

   An interactive playground for building, exploring, and simulating interaction nets and Lafont's interaction combinators.

   TypeScript 3

3. boom boom Public

   💥 Dutch for tree. Lean 4 formalisation of triage tree calculus.

   Lean 10

4. live-share-lean-infoview live-share-lean-infoview Public

   Lean 4 Infoview for VS Code Live Share guests (companion extension + transport-agnostic bridge).

   TypeScript 1

5. qew qew Public

   🚄 Library for queuing asynchronous functions - useful in interfacing with rate limited APIs or memory intensive operations

   TypeScript 63 1

6. inner-ear inner-ear Public

   Your Mac's own sound, as an input any app can use. Record system audio with Screenshot (⌘⇧5) and more. No audio driver needed.

   Swift 2