Coq-of-ocaml Alternatives

Similar projects and alternatives to coq-of-ocaml

• coq2rust

  1 210 10.0 OCaml coq-of-ocaml VS coq2rust

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

• kani

  1 931 9.3 Rust coq-of-ocaml VS kani

  Kani Rust Verifier

  

• InfluxDB

  www.influxdata.com

  sponsored

  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.

  

• bevy

  2 22,698 9.9 Rust coq-of-ocaml VS bevy

  A refreshingly simple data-driven game engine built in Rust

  

• supervisionary

  1 3 3.0 Rust coq-of-ocaml VS supervisionary

  The Supervisionary proof-checking kernel for higher-order logic

  

• cranelift-jit-demo

  1 496 2.5 Rust coq-of-ocaml VS cranelift-jit-demo

  JIT compiler and runtime for a toy language, using Cranelift

  

• sqlc

  1 7,741 8.6 Go coq-of-ocaml VS sqlc

  Generate type-safe code from SQL

• wasmer

  2 14,601 10.0 Rust coq-of-ocaml VS wasmer

  🚀 The leading WebAssembly Runtime supporting WASI and Emscripten

  

• SonarQube

  www.sonarqube.org

  sponsored

  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

  1 22,242 9.9 Python coq-of-ocaml VS jax

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

  

• fluvio

  1 1,696 9.0 Rust coq-of-ocaml VS fluvio

  An intelligent event streaming platform

  

• yew

  1 26,770 9.0 Rust coq-of-ocaml VS yew

  Rust / Wasm framework for building client web apps

  

• tensorflow

  1 172,111 10.0 C++ coq-of-ocaml VS tensorflow

  An Open Source Machine Learning Framework for Everyone

  

• FFmpeg

  1 34,829 10.0 C coq-of-ocaml VS FFmpeg

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

  

• xstate

  1 23,075 9.6 TypeScript coq-of-ocaml VS xstate

  State machines and statecharts for the modern web.

  

• Cycle.js

  1 10,211 3.0 TypeScript coq-of-ocaml VS Cycle.js

  A functional and reactive JavaScript framework for predictable code

  

• dioxus

  1 7,712 9.4 Rust coq-of-ocaml VS dioxus

  Friendly React-like GUI library for desktop, web, mobile, and more.

  

• sycamore

  1 2,054 9.3 Rust coq-of-ocaml VS sycamore

  A library for creating reactive web apps in Rust and WebAssembly

  

• Enzyme

  1 910 8.7 LLVM coq-of-ocaml VS Enzyme

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

  

• lucidmq

  1 14 7.1 Rust coq-of-ocaml VS lucidmq

  LucidMQ - Simple Ops Event Streaming. Alternative to Kafka and RabbitMQ

  

• SaaSHub

  www.saashub.com

  sponsored

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