Pinned Loading

1. Lean4-FFI-Programming-Tutorial-GLFW Lean4-FFI-Programming-Tutorial-GLFW Public

   Lean4 Tutorial/Notes on creating FFI bindings with GLFW as an example.

   Lean

2. idris2-ml idris2-ml Public

   Type-dependent machine learning & linear algebra & auto backprop

   Idris 3

3. hs-newlang hs-newlang Public archive

   A dependently-typed language prototype inspired by edwinb's Idris2 & SPLV20

   Haskell

4. py-live-jump-cutter py-live-jump-cutter Public

   Realtime video silence removal + stdin/out streaming capability; inspired by carykh's jumpcutter

   Python

5. idris-community/idris2-tls idris-community/idris2-tls Public

   A portable idris2 implementation of TLS

   Idris 32 6

6. hs-frp-gui hs-frp-gui Public archive

   Working FRP GUI with dunai and nanovg

   Haskell 1