coq-of-ocaml

Formal verification for OCaml (by formal-land)
Review coq Ocaml Compiler
Source Code
formal.land
Suggest alternative
Edit details
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.
www.influxdata.com
featured

Coq-of-ocaml Alternatives

Similar projects and alternatives to coq-of-ocaml

formal-land
coq-of-ocaml

  1. bevy

    594 coq-of-ocaml VS bevy

    A refreshingly simple data-driven game engine built in Rust

  2. 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.

    InfluxDB logo

  3. FFmpeg

    497 coq-of-ocaml VS FFmpeg

    Mirror of https://git.ffmpeg.org/ffmpeg.git

  4. tensorflow

    236 coq-of-ocaml VS tensorflow

    An Open Source Machine Learning Framework for Everyone

  5. yew

    208 coq-of-ocaml VS yew

    Rust / Wasm framework for creating reliable and efficient web applications

  6. sqlc

    182 coq-of-ocaml VS sqlc

    Generate type-safe code from SQL

  7. dioxus

    170 coq-of-ocaml VS dioxus

    Fullstack app framework for web, desktop, mobile, and more.

  8. wasmer

    141 coq-of-ocaml VS wasmer

    🚀 Fast, secure, lightweight containers based on WebAssembly

  9. SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo

  10. jax

    89 coq-of-ocaml VS jax

    Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more

  11. sycamore

    70 coq-of-ocaml VS sycamore

    A library for creating reactive web apps in Rust and WebAssembly

  12. xstate

    64 coq-of-ocaml VS xstate

    Actor-based state management & orchestration for complex app logic.

  13. kani

    54 coq-of-ocaml VS kani

    Kani Rust Verifier

  14. fluvio

    35 coq-of-ocaml VS fluvio

    🦀 event stream processing for developers to collect and transform data in motion to power responsive data intensive applications.

  15. Enzyme

    16 coq-of-ocaml VS Enzyme

    High-performance automatic differentiation of LLVM and MLIR. (by EnzymeAD)

  16. Cycle.js

    15 coq-of-ocaml VS Cycle.js

    A functional and reactive JavaScript framework for predictable code

  17. LucidMQ

    4 coq-of-ocaml VS LucidMQ

    Simple Ops Event Streaming. Alternative to Kafka and RabbitMQ

  18. supervisionary

    1 coq-of-ocaml VS supervisionary

    The Supervisionary proof-checking kernel for higher-order logic

  19. coq2rust

    1 coq-of-ocaml VS coq2rust

    Coq to Rust program extraction. The whole tree is on the original Coq code base.

  20. cranelift-jit-demo

    8 coq-of-ocaml VS cranelift-jit-demo

    JIT compiler and runtime for a toy language, using Cranelift

  21. coq-lsp

    1 coq-of-ocaml VS coq-lsp

    Visual Studio Code Extension and Language Server Protocol for Rocq / Coq

  22. acutis

    1 coq-of-ocaml VS acutis

    A declarative, type-safe template language

  23. SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo
NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better coq-of-ocaml alternative or higher similarity.
Suggest an alternative to coq-of-ocaml

coq-of-ocaml discussion

Log in or Post with

coq-of-ocaml reviews and mentions

Posts with mentions or reviews of coq-of-ocaml. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2022-06-08.

Stats

Basic coq-of-ocaml repo stats
1
262
4.0
9 months ago

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.

Popular Comparisons

  1. coq-of-ocaml VS supervisionary
  2. coq-of-ocaml VS LucidMQ
  3. coq-of-ocaml VS coq2rust
  4. coq-of-ocaml VS coq-lsp
  5. coq-of-ocaml VS kani
  6. coq-of-ocaml VS acutis
  7. coq-of-ocaml VS fluvio
  8. coq-of-ocaml VS wasmer
  9. coq-of-ocaml VS jax
  10. coq-of-ocaml VS sqlc

Sponsored
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.
www.influxdata.com

Did you know that OCaml is
the 41st most popular programming language
based on number of references?

Loading...