Coq-of-ocaml Alternatives
Similar projects and alternatives to coq-of-ocaml
-
-
InfluxDB
InfluxDB – Built for High-Performance Time Series Workloads. InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.
-
-
-
-
-
-
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
-
jax
Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more
-
-
-
-
fluvio
🦀 event stream processing for developers to collect and transform data in motion to power responsive data intensive applications.
-
-
-
-
-
-
-
-
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
coq-of-ocaml discussion
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.
The primary programming language of coq-of-ocaml is OCaml.