Pinned Loading

1. mirage/irmin mirage/irmin Public

   Irmin is a distributed database that follows the same design principles as Git

   OCaml 1.9k 165

2. ocaml-rs ocaml-rs Public

   OCaml extensions in Rust

   Rust 287 33

3. futhark-bindgen futhark-bindgen Public

   A Futhark binding generator for Rust and OCaml

   Rust 30 7

4. ocaml-bimage ocaml-bimage Public

   Composable image processing library for OCaml

   C++ 41 4

5. extism/extism extism/extism Public

   The framework for building with WebAssembly (wasm). Easily & securely load wasm modules, move data, call functions, and build extensible apps.

   Rust 5.4k 147

6. extism/verified-count-vowels extism/verified-count-vowels Public

   Coq 9