MichaelPaddon / epsilon

Related projects: ⓘ

• lindig / quest
  A tool for testing C compilers automatically
  ☆20Updated 8 years ago
• edwardcrichton / BToolkit
  The BToolkit, a toolkit supporting software development with the B-method.
  ☆34Updated 5 months ago
• darius / parson
  Yet another PEG parser combinator library and DSL
  ☆58Updated last year
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆100Updated last week
• darius / tailbiter
  Self-compiling compiler of a Python subset. Just enough Python to Python in Python.
  ☆46Updated last year
• aryx / yacfe
  Yacfe (Yet Another C Front-End) is mainly an OCaml API to write style-preserving source-to-source transformations such as refactorings on…
  ☆25Updated 6 years ago
• nitrousjit / nitrous
  ☆39Updated this week
• philzook58 / snakelog
  A Datalog Framework for Python
  ☆10Updated last year
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆109Updated 6 years ago
• 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…
  ☆39Updated 7 months ago
• erikrose / pijnu
  Noncanonical (but only existing) repo for the pijnu PEG parser
  ☆24Updated 13 years ago
• John-Nagle / pasv
  The Pascal-F Verifier
  ☆46Updated 7 years ago
• rewriting / tom
  ☆34Updated 3 years ago
• SRI-CSL / OCCAM
  OCCAM: Object Culling and Concretization for Assurance Maximization
  ☆26Updated last year
• padsproj / pads
  Pads format description language
  ☆20Updated 8 years ago
• SOM-st / PySOM
  PySOM - The Simple Object Machine Smalltalk implemented in Python
  ☆26Updated 3 months ago
• cfbolz / minitrace
  experiments in building tiny tracing JITs in various languages (Prolog to start)
  ☆9Updated last month
• fjarri / peval
  Partial evaluation of Python code
  ☆18Updated last year
• pfalcon / pyastinterp
  Python AST interpreter (aka tree-walking interpreter) in Python. Aka meta-circular interpreter.
  ☆15Updated 3 years ago
• jplevyak / ifa
  IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…
  ☆12Updated 4 years ago
• renatahodovan / picire
  Parallel Delta Debugging Framework
  ☆47Updated 3 weeks ago
• arnoldrobbins / dformat
  Jon Bentley's DFORMAT troff preprocessor, reconstituted.
  ☆53Updated 3 years ago
• monte-language / typhon
  A virtual machine for Monte.
  ☆67Updated 5 months ago
• rocky / trepan-xpy
  Debugger in the Trepan family for x-python
  ☆17Updated last week
• true-grue / python-dsls
  Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023
  ☆13Updated 8 months ago
• potassco / aspcud
  A solver for package problems in CUDF format
  ☆26Updated 11 months ago
• markshannon / python_formal_semantics
  ☆17Updated 3 years ago
• smarr / ReBench
  Execute and document benchmarks reproducibly.
  ☆82Updated last week
• prolog8 / awkprolog
  Prolog in AWK
  ☆16Updated 7 years ago