5 Repositories
Rust ocaml Libraries
Collection of immutable and persistent data structures written in Rust, inspired by the standard libraries found in Haskell, Closure and OCaml
PRust: (P)ersistent & Immutable Data Structures in (Rust) This library houses a collection of immutable and persistent data structures, inspired by th
13 Aug 13, 2023
Sets of libraries and tools to write applications and libraries mixing OCaml and Rust
Sets of libraries and tools to write applications and libraries mixing OCaml and Rust. These libraries will help keeping your types and data structures synchronized, and enable seamless exchange between OCaml and Rust
36 Jan 28, 2023
Extend anything with WebAssembly.
Welcome! Please note: this project still under active development. It's usable, but expect some rough edges while work is underway. If you're interest
1.5k Jan 3, 2023
Safe OCaml-Rust Foreign Function Interface
ocaml-rust This repo contains code for a proof of concept for a safe OCaml-Rust interop inspired by cxx. This is mostly optimized for calling Rust cod
23 Dec 27, 2022
Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" written in OCaml
bidi-higher-rank-poly Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorph
23 Oct 18, 2022