Stars
7
stars
written in Rust
Clear filter
A markup-based typesetting system that is powerful and easy to learn.
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 be…
JavaScript runtime and compute platform build on Tezos Smart Rollups
An incremental type checker for a subset of C using DDlog.