Alternatives and similar repositories for diderot:

Users that are interested in diderot are comparing it to the libraries listed below

• Diderot-Language / examples
  Examples of using Diderot
  ☆11Updated 5 years ago
• LLNL / unum
  Universal Number Library
  ☆41Updated 7 years ago
• sumith1896 / tusSAT
  A SAT solver implementation in VHDL, team tussle
  ☆20Updated 9 years ago
• FPBench / FPBench
  A standard for floating point accuracy benchmarks
  ☆49Updated last month
• uwplse / memsynth
  An advanced automated reasoning tool for memory consistency model specifications.
  ☆22Updated 3 years ago
• JUrban / MPTP2
  ☆19Updated 8 years ago
• SiliconSemantics / firrtlator
  firrtlator is a FIRRTL C++ library
  ☆21Updated 8 years ago
• elevate-lang / elevate
  The implementation of the Elevate language
  ☆29Updated last month
• cubicle-model-checker / cubicle
  The Cubicle model checker
  ☆13Updated last year
• jix / sortnetopt
  Lower Size Bounds for Sorting Networks
  ☆44Updated 4 years ago
• jsiek / featherweight-C
  Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
  ☆26Updated 4 years ago
• feroldi / oxide
  Regionalized Value State Dependence Graph written in Rust
  ☆9Updated 5 years ago
• RedlineResearch / floorplan
  Spatial layout specifications for memory management systems.
  ☆19Updated 4 years ago
• friguzzi / matrix
  Operations with matrices, SWI pack
  ☆13Updated last year
• rewriting / tom
  ☆34Updated 4 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆30Updated this week
• jhellerstein / arugula
  a small C++ lattice library
  ☆15Updated 5 years ago
• herbie-fp / egg-herbie
  An interface for using mwillsey/egg with math simplification.
  ☆13Updated 10 months ago
• LLNL / backstroke
  A tool for reversible computation in C++ based on incremental state saving.
  ☆22Updated 5 years ago
• martinjonas / Q3B
  ☆28Updated 3 weeks ago
• ku-fpg / kansas-lava
  Kansas Lava
  ☆47Updated 5 years ago
• Etaphase / FastSigmoids.jl
  Sigmoid Numbers backed by IEEE Floats
  ☆17Updated 7 years ago
• sheredom / fpscev
  Floating-Point Scalar Evolution
  ☆12Updated 5 years ago
• REX-Computing / unumjl
  Julia Implementation of Unums
  ☆42Updated 8 years ago
• harp-lab / vflog
  vertical + gpu + free join + datalog
  ☆20Updated 2 months ago
• tchajed / goedel-t
  Formalization of termination of Gödel's System T
  ☆9Updated 3 years ago
• dafny-lang / xdsmith
  Fuzz testing for Dafny
  ☆13Updated 2 years ago
• nasa / PRECiSA
  Program Round-off Error Certifier via Static Analysis
  ☆51Updated 7 months ago
• ujamjar / hardcaml-llvmsim
  LLVM JIT Cycle Accurate Simulator for HardCaml
  ☆13Updated 7 years ago
• cverified / cbench
  A benchmark for C program verification
  ☆16Updated last year