Similar projects and alternatives to coq-of-ocaml
Coq to Rust program extraction. The whole tree is on the original Coq code base.
Kani Rust Verifier
Access the most powerful time series database as a service. Ingest, store, & analyze all types of time series data in a fully-managed, purpose-built database. Keep data forever with low-cost storage and superior data compression.
A refreshingly simple data-driven game engine built in Rust
The Supervisionary proof-checking kernel for higher-order logic
JIT compiler and runtime for a toy language, using Cranelift
Generate type-safe code from SQL
🚀 The leading WebAssembly Runtime supporting WASI and Emscripten
Static code analysis for 29 languages.. Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.
Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more
An intelligent event streaming platform
Rust / Wasm framework for building client web apps
An Open Source Machine Learning Framework for Everyone
Mirror of https://git.ffmpeg.org/ffmpeg.git
State machines and statecharts for the modern web.
Friendly React-like GUI library for desktop, web, mobile, and more.
A library for creating reactive web apps in Rust and WebAssembly
High-performance automatic differentiation of LLVM and MLIR. (by EnzymeAD)
LucidMQ - Simple Ops Event Streaming. Alternative to Kafka and RabbitMQ
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
coq-of-ocaml reviews and mentions
What is a really cool thing you would want to write in Rust but don't have enough time, energy or bravery for?
21 projects | reddit.com/r/rust | 8 Jun 2022
Coq of OCaml is a good example of how I want it to be for rust
formal-land/coq-of-ocaml is an open source project licensed under MIT License which is an OSI approved license.