coq-of-ocaml

Formal verification for OCaml (by formal-land)

Coq-of-ocaml Alternatives

Similar projects and alternatives to 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

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

  4. tensorflow

    An Open Source Machine Learning Framework for Everyone

  5. yew

    Rust / Wasm framework for creating reliable and efficient web applications

  6. sqlc

    Generate type-safe code from SQL

  7. dioxus

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

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

    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

    Kani Rust Verifier

  14. fluvio

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

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

    Simple Ops Event Streaming. Alternative to Kafka and RabbitMQ

  18. supervisionary

    The Supervisionary proof-checking kernel for higher-order logic

  19. coq2rust

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

  20. cranelift-jit-demo

    JIT compiler and runtime for a toy language, using Cranelift

  21. coq-lsp

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

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

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.


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?