Alternatives and similar repositories for polynomial-approximation-catalogue

Users that are interested in polynomial-approximation-catalogue are comparing it to the libraries listed below

• robbertkrebbers / ch2o
  ☆89Updated 3 years ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆105Updated last year
• dc-mak / NumLin
  NumLin: Linear Types for Linear Algebra
  ☆23Updated 2 years ago
• unison-code / uni-instr-sel
  Universal instruction selection
  ☆12Updated 7 years ago
• kerneis / cpc
  Continuation Passing C
  ☆114Updated 6 years ago
• NVIDIA / remorac
  ☆40Updated 9 years ago
• c-cube / batsat
  A (parametrized) Rust SAT solver originally based on MiniSat
  ☆31Updated 8 months ago
• maximedenes / coq-amd64
  ☆22Updated 9 years ago
• jix / sortnetopt
  Lower Size Bounds for Sorting Networks
  ☆46Updated 4 years ago
• vegard / sha1-sat
  SAT instance generator for SHA-1
  ☆49Updated 4 years ago
• GaloisInc / saw-core
  The SAW core language.
  ☆54Updated 4 years ago
• diku-dk / futhark-with-fangs
  The web framework nobody asked for, wants, or needs.
  ☆20Updated 4 years ago
• mit-frap / spring17
  Problem Sets for MIT 6.887 Formal Reasoning About Programs, Spring 2017
  ☆20Updated 8 years ago
• talex5 / spec-vchan
  A TLA+ specification for the Xen vchan protocol
  ☆14Updated 6 years ago
• xlq / aos
  Applied operating system - an operating system kernel written in the ATS programming language.
  ☆44Updated 13 years ago
• FPBench / FPBench
  A standard for floating point accuracy benchmarks
  ☆53Updated 6 months ago
• c-cube / stimsym
  [toy] A rewriting language similar to the core of Mathematica
  ☆54Updated 3 years ago
• GaloisInc / lean-protocol-support
  This project contains various supporting libraries for lean to reason about protocols.
  ☆43Updated 8 years ago
• rems-project / netsem
  Network Semantics
  ☆90Updated 6 years ago
• nojb / riscv-ocaml
  RISC-V port of the OCaml system
  ☆44Updated 5 years ago
• lammich / isabelle_llvm
  Isabelle LLVM Code Generator and Refinement
  ☆28Updated 3 months ago
• gpetiot / Frama-C-Mutation
  Generation of mutant programs
  ☆20Updated 6 years ago
• maurer / holmes
  Datalog engine with extensions for integrating analyses
  ☆38Updated 7 years ago
• lastland / WebSpec
  ☆18Updated 8 years ago
• LLNL / backstroke
  A tool for reversible computation in C++ based on incremental state saving.
  ☆22Updated 5 years ago
• 8c6794b6 / guile-tjit
  Guile with tracing JIT VM.
  ☆15Updated 9 years ago
• lindig / quest
  A tool for testing C compilers automatically
  ☆21Updated 9 years ago
• rowandavies / sml-cidre
  SML Checker for Intersection and Datasort Refinements (pronounced "cider")
  ☆20Updated 12 years ago
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆126Updated 5 years ago
• evincarofautumn / Ward
  A static analysis tool for C.
  ☆28Updated 5 years ago