Coq2rust Alternatives

Similar projects and alternatives to coq2rust

• bevy

  573 32,210 9.9 Rust coq2rust VS bevy

  A refreshingly simple data-driven game engine built in Rust

  

• FFmpeg

  485 42,374 10.0 C coq2rust VS FFmpeg

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

  

• InfluxDB

  www.influxdata.com sponsored

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• tensorflow

  221 182,456 10.0 C++ coq2rust VS tensorflow

  An Open Source Machine Learning Framework for Everyone

  

• yew

  200 29,916 8.6 MDX coq2rust VS yew

  Rust / Wasm framework for creating reliable and efficient web applications

  

• sqlc

  169 10,837 9.7 Go coq2rust VS sqlc

  Generate type-safe code from SQL

  

• dioxus

  155 18,291 9.9 Rust coq2rust VS dioxus

  Fullstack GUI library for web, desktop, mobile, and more.

  

• wasmer

  131 17,786 9.9 Rust coq2rust VS wasmer

  🚀 The leading Wasm Runtime supporting WASIX, WASI and Emscripten

  

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

• jax

  82 27,936 10.0 Python coq2rust VS jax

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

  

• sycamore

  70 2,665 7.4 Rust coq2rust VS sycamore

  A library for creating reactive web apps in Rust and WebAssembly

  

• xstate

  60 26,119 9.6 TypeScript coq2rust VS xstate

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

  

• kani

  47 1,885 9.5 Rust coq2rust VS kani

  Kani Rust Verifier

  

• fluvio

  26 2,638 9.5 Rust coq2rust VS fluvio

  Lean and mean distributed stream processing system written in rust and web assembly.

  

• Enzyme

  16 1,153 9.6 LLVM coq2rust VS Enzyme

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

  

• cranelift-jit-demo

  8 603 3.5 Rust coq2rust VS cranelift-jit-demo

  JIT compiler and runtime for a toy language, using Cranelift

  

• LucidMQ

  4 27 7.6 Rust coq2rust VS LucidMQ

  Simple Ops Event Streaming. Alternative to Kafka and RabbitMQ

  

• Cycle.js

  11 10,237 4.1 TypeScript coq2rust VS Cycle.js

  A functional and reactive JavaScript framework for predictable code

  

• supervisionary

  1 3 3.2 Rust coq2rust VS supervisionary

  The Supervisionary proof-checking kernel for higher-order logic

  

• coq-of-ocaml

  1 237 4.8 OCaml coq2rust VS coq-of-ocaml

  Formal verification for OCaml

  

• SaaSHub

  www.saashub.com sponsored

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