Pinned Loading

1. wasm-hs wasm-hs Public

   Type-safe WebAssembly eDSL in Haskell

   Haskell 28

2. lean-wasm lean-wasm Public

   An intrinsically-typed interpreter for WebAssembly

   Lean 7

3. cloudchor cloudchor Public

   Lightweight and efficient choreographic programming for cloud services

   Haskell 1

4. vec vec Public

   Fast, safe mutable dynamic arrays for OCaml

   OCaml 28 3

5. dynasty dynasty Public

   A lazy functional language that compiles to JavaScript

   Haskell 7

6. rugina rugina Public

   Forked from bnjbvr/rouille

   Rust programming, in Romanian.

   Rust 112 3