acutis
coq-of-ocaml
Our great sponsors
acutis | coq-of-ocaml | |
---|---|---|
1 | 1 | |
20 | 237 | |
- | 1.7% | |
8.4 | 4.8 | |
3 days ago | 3 months ago | |
OCaml | OCaml | |
Mozilla Public License 2.0 | MIT License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
acutis
-
Non-empty arrays and lists in ReScript
That being said, this was the type I ended up using in my project. The downsides weren’t relevant to my use case. This is partially because I was mostly using custom functions already, so I could optimize them myself.
coq-of-ocaml
-
What is a really cool thing you would want to write in Rust but don't have enough time, energy or bravery for?
Coq of OCaml is a good example of how I want it to be for rust
What are some alternatives?
scriban - A fast, powerful, safe and lightweight scripting language and engine for .NET
kani - Kani Rust Verifier
supervisionary - The Supervisionary proof-checking kernel for higher-order logic
coq2rust - Coq to Rust program extraction. The whole tree is on the original Coq code base.
jax - Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more
wasmer - 🚀 The leading Wasm Runtime supporting WASIX, WASI and Emscripten
sqlc - Generate type-safe code from SQL
LucidMQ - Simple Ops Event Streaming. Alternative to Kafka and RabbitMQ
cranelift-jit-demo - JIT compiler and runtime for a toy language, using Cranelift
fluvio - Lean and mean distributed stream processing system written in rust and web assembly.
bevy - A refreshingly simple data-driven game engine built in Rust
tensorflow - An Open Source Machine Learning Framework for Everyone