Alternatives and similar repositories for epsilon:

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

• lindig / quest
  A tool for testing C compilers automatically
  ☆20Updated 9 years ago
• edwardcrichton / BToolkit
  The BToolkit, a toolkit supporting software development with the B-method.
  ☆37Updated 11 months ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆104Updated 6 months ago
• arnoldrobbins / dformat
  Jon Bentley's DFORMAT troff preprocessor, reconstituted.
  ☆52Updated 4 years ago
• darius / parson
  Yet another PEG parser combinator library and DSL
  ☆56Updated last year
• SRI-CSL / OCCAM
  OCCAM: Object Culling and Concretization for Assurance Maximization
  ☆26Updated last year
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆113Updated 6 years ago
• erikrose / pijnu
  Noncanonical (but only existing) repo for the pijnu PEG parser
  ☆24Updated 13 years ago
• darius / tailbiter
  Self-compiling compiler of a Python subset. Just enough Python to Python in Python.
  ☆46Updated 2 years ago
• kerneis / cpc
  Continuation Passing C
  ☆112Updated 5 years ago
• fraunhoferfokus / acsl-by-example
  Public snapshots of "ACSL by Example"
  ☆106Updated 3 years ago
• DRMacIver / shrinkray-old
  Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats
  ☆30Updated 5 years ago
• deadsy / py_linenoise
  A port of the linenoise line editor to Python.
  ☆16Updated 10 months ago
• padsproj / pads
  Pads format description language
  ☆21Updated 9 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆39Updated 2 years ago
• SOM-st / PySOM
  PySOM - The Simple Object Machine Smalltalk implemented in Python
  ☆26Updated last month
• binpash / libdash
  The dash shell as a linkable library. Tracks https://git.kernel.org/pub/scm/utils/dash/dash.git, with extended interfaces, bindings for P…
  ☆40Updated 2 months ago
• dsw / delta
  Delta assists you in minimizing "interesting" files subject to a test of their interestingness.
  ☆28Updated 3 years ago
• void4 / rarvm
  Resource Aware, Recursive Virtual Machine
  ☆10Updated 2 years ago
• 17451k / clade
  Clade is a tool for extracting information about software build process and source code
  ☆21Updated last year
• bstarynk / bismon
  persistent monitor (for static source code analysis, GCC based)
  ☆59Updated 11 months ago
• renatahodovan / picireny
  Hierarchical Delta Debugging Framework
  ☆59Updated 3 months ago
• jsiek / featherweight-C
  Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
  ☆26Updated 4 years ago
• philzook58 / snakelog
  A Datalog Framework for Python
  ☆11Updated 2 years ago
• evdenis / verker
  Linux kernel library functions formally verified.
  ☆51Updated 4 years ago
• JohnEarnest / Four.Ps
  A minimal Forth VM and Compiler implemented in PostScript
  ☆27Updated 13 years ago
• drepper / optmark
  Markup source code showing optimizations
  ☆36Updated 5 years ago
• DeloitteHux-Old / cycy
  EPIC CUCUMBERS!
  ☆28Updated 7 years ago
• karineek / CsmithEdge
  A study of the effect of relaxing too conservative conditions for generating UB-free compiler test-cases of Csmith’s code-generation and …
  ☆15Updated 6 months ago
• prolog8 / awkprolog
  Prolog in AWK
  ☆16Updated 8 years ago