Popular repositories 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 42 1

2. idris2-ml idris2-ml Public

   Type-dependent machine learning & linear algebra & auto backprop

   Idris 2

3. hs-frp-gui hs-frp-gui Public archive

   Working FRP GUI with dunai and nanovg

   Haskell 1

4. scalpel-free-proxy-list scalpel-free-proxy-list Public

   scalpel scraper for https://free-proxy-list.net

   Haskell

5. pontarius-xmpp-extras pontarius-xmpp-extras Public

   Forked from l29ah/pontarius-xmpp-extras

   XEPs implementation on top of pontarius-xmpp

   Haskell

6. gpipe-example gpipe-example Public

   haskell gpipe boilerplates for me

   Haskell