Alternatives and similar repositories for polynomial-approximation-catalogue

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

• amosr / limp
  ideally, this will become a pure Haskell library for Linear Integer/Mixed Programming
  ☆16Updated 6 years ago
• GaloisInc / cryfsm
  convert simple cryptol expressions into finite-state machines
  ☆20Updated 7 years ago
• xlq / aos
  Applied operating system - an operating system kernel written in the ATS programming language.
  ☆44Updated 13 years ago
• robbertkrebbers / ch2o
  ☆89Updated 3 years ago
• lastland / WebSpec
  ☆18Updated 8 years ago
• UCSD-PL / nano-smt
  "Toy" SMT Solver for Educational Purposes
  ☆20Updated 12 years ago
• dc-mak / NumLin
  NumLin: Linear Types for Linear Algebra
  ☆23Updated 2 years ago
• mit-frap / spring17
  Problem Sets for MIT 6.887 Formal Reasoning About Programs, Spring 2017
  ☆20Updated 8 years ago
• unison-code / uni-instr-sel
  Universal instruction selection
  ☆12Updated 7 years ago
• tomahawkins / improve
  An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checkin…
  ☆57Updated 13 years ago
• jix / sortnetopt
  Lower Size Bounds for Sorting Networks
  ☆46Updated 4 years ago
• GaloisInc / pure-zlib
  A Haskell-only implementation of zlib / DEFLATE.
  ☆31Updated 3 years ago
• jwiegley / z3cat
  Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations
  ☆38Updated 8 years ago
• diku-dk / futhark-with-fangs
  The web framework nobody asked for, wants, or needs.
  ☆20Updated 4 years ago
• GaloisInc / saw-core
  The SAW core language.
  ☆54Updated 4 years ago
• tuura / selective-theory-coq
  Selective applicative functors laws and theorems
  ☆14Updated 5 years ago
• GaloisInc / salty
  A DSL for generating GR(1) problems
  ☆11Updated 4 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 11 months ago
• robsimmons / abbot
  Generation of abstract binding trees
  ☆28Updated 9 months ago
• jkff / splot
  Visualizing the activity of many concurrent processes
  ☆59Updated 5 years ago
• taktoa / eqsat
  A language-generic implementation of equality saturation in Haskell
  ☆21Updated 6 years ago
• ocramz / taco-hs
  Haskell port of the Tensor Algebra COmpiler
  ☆16Updated 5 years ago
• nojb / riscv-ocaml
  RISC-V port of the OCaml system
  ☆43Updated 4 years ago
• ISANobody / sill
  ☆29Updated 9 years ago
• rems-project / netsem
  Network Semantics
  ☆90Updated 6 years ago
• maximedenes / coq-amd64
  ☆22Updated 9 years ago
• dpiponi / formal-weyl
  The algebra for formal power series in elements of the Weyl algebra
  ☆18Updated 7 years ago
• rowandavies / sml-cidre
  SML Checker for Intersection and Datasort Refinements (pronounced "cider")
  ☆20Updated 12 years ago
• dorchard / effects-as-sessions
  Formalised embedding of an imperative language with effect system into session-typed pi calculus.
  ☆29Updated 8 months ago
• NVIDIA / remorac
  ☆40Updated 9 years ago