Alternatives and similar repositories for stella

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

• ilyasergey / monadic-cfa
  Generic implementation of different CFA families based on monadic decomposition
  ☆21Updated 12 years ago
• GaloisInc / semmc
  Stratified synthesis for learning machine code instruction semantics
  ☆37Updated 3 weeks ago
• probcomp / Venturecxx
  Primary implementation of the Venture probabilistic programming system
  ☆27Updated 5 years ago
• pis147879 / PELCR
  Parallel Environment for optimal Lambda Calculus Reduction
  ☆28Updated 3 years ago
• herbie-fp / egg-herbie
  An interface for using mwillsey/egg with math simplification.
  ☆13Updated last year
• ollef / Generate-C
  Embedded C code generation DSL for Haskell.
  ☆28Updated 6 years ago
• leftaroundabout / dumb-cas
  A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.
  ☆17Updated last year
• sdiehl / pyrewrite
  Python term rewriting
  ☆29Updated 12 years ago
• intoverflow / Potential
  x86-64 assembly as a Haskell EDSL
  ☆36Updated 14 years ago
• liyang / fast-math
  Play fast and loose with IEEE-754 rewrite RULES
  ☆25Updated 9 years ago
• conal / convolution-paper
  Generalized Convolution and Efficient Language Recognition
  ☆17Updated 5 years ago
• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆73Updated 13 years ago
• ericfinster / orchard
  Orchard Opetopic Proof Assistant
  ☆27Updated 9 years ago
• uwplse / potpie
  Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct
  ☆16Updated 10 months ago
• michalkonecny / aern2
  A Haskell library for Approximating Exact Real Numbers (AERN) based on interval computation. (aern2 is a rewrite of aern.)
  ☆23Updated 3 months ago
• nasa / PRECiSA
  Program Round-off Error Certifier via Static Analysis
  ☆51Updated 9 months ago
• aa755 / ROSCoq
  Robots powered by Constructive Reals
  ☆34Updated 7 years ago
• sdiehl / picologic
  Symbolic logic expressions
  ☆14Updated 4 years ago
• GaloisInc / salty
  A DSL for generating GR(1) problems
  ☆11Updated 3 years ago
• BlueBrain / bbp-nixpkgs
  Blue Brain Project nixpkgs configuration - Build a brain with Nix
  ☆20Updated 3 years ago
• ttuegel / statistical-elements
  The Elements of Statistical Learning in Haskell
  ☆13Updated 7 years ago
• amosr / limp
  ideally, this will become a pure Haskell library for Linear Integer/Mixed Programming
  ☆16Updated 6 years ago
• thautwarm / PySExpr
  S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
  ☆17Updated 5 years ago
• svenssonjoel / Obsidian
  Obsidian Language Repository
  ☆41Updated 7 years ago
• TobiReinhart / sparse-tensor
  typesafe implementation of tensor algebra in Haskell
  ☆13Updated 4 years ago
• tchajed / goedel-t
  Formalization of termination of Gödel's System T
  ☆9Updated 4 years ago
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆33Updated 6 years ago
• tydeu / lean4-papyrus
  An LLVM interface for Lean 4. (WIP)
  ☆21Updated last year
• KestrelInstitute / Specware
  Specware consists of a formal specification language and tools for transformation and refinement to efficient implementations in CommonLi…
  ☆22Updated 3 years ago
• ocramz / taco-hs
  Haskell port of the Tensor Algebra COmpiler
  ☆16Updated 5 years ago