Coq-of-ocaml Alternatives
Similar projects and alternatives to coq-of-ocaml
-
coq2rust
Coq to Rust program extraction. The whole tree is on the original Coq code base.
-
-
InfluxDB
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.
-
-
supervisionary
The Supervisionary proof-checking kernel for higher-order logic
-
cranelift-jit-demo
JIT compiler and runtime for a toy language, using Cranelift
-
-
-
SonarQube
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.
-
jax
Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more
-
-
-
-
-
-
Cycle.js
A functional and reactive JavaScript framework for predictable code
-
-
-
Enzyme
High-performance automatic differentiation of LLVM and MLIR. (by EnzymeAD)
-
lucidmq
LucidMQ - Simple Ops Event Streaming. Alternative to Kafka and RabbitMQ
-
SaaSHub
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?
Coq of OCaml is a good example of how I want it to be for rust
Stats
formal-land/coq-of-ocaml is an open source project licensed under MIT License which is an OSI approved license.