willcrichton / inliner
Programmable, human-readable inlining of Python code
☆28Updated 2 years ago
Alternatives and similar repositories for inliner:
Users that are interested in inliner are comparing it to the libraries listed below
- ☆17Updated 4 years ago
- Partial evaluation of Python code☆20Updated 2 years ago
- S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.☆17Updated 4 years ago
- ☆11Updated 3 years ago
- Debugger in the Trepan family for x-python☆17Updated 3 months ago
- Fastest general-purpose parsing library for Python with a familiar API☆44Updated last month
- Python term rewriting☆29Updated 12 years ago
- Extract semantic information about static Python code☆74Updated last week
- My unofficial picat http://picat-lang.org/ repository☆28Updated last year
- experiments in building tiny tracing JITs in various languages (Prolog to start)☆10Updated 5 months ago
- ☆37Updated 5 years ago
- sorear's Metamath system engine☆13Updated 8 years ago
- Yet another PEG parser combinator library and DSL☆56Updated last year
- Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…☆28Updated 3 years ago
- A synthesis-enabled solver for relational logic☆27Updated 6 years ago
- Python bindings for the egg-smol rust library☆68Updated last week
- sorear's Metamath system engine - version 3 Rust☆24Updated last year
- One-pass Code Generation in V8 (Archive)☆20Updated 2 years ago
- Pull your compiler up with abstract bootstraps.☆31Updated 2 years ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆32Updated last month
- Python bindings for egg☆48Updated 2 years ago
- Straightforward unification in Python that's extensible via generic functions.☆48Updated 6 months ago
- Datalog + Egg = Good☆66Updated last year
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated last year
- Python type hints are Turing complete.☆33Updated 2 years ago
- Advanced macro expander and language lab for Python.☆63Updated 5 months ago
- A Datalog Framework for Python☆11Updated 2 years ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 4 months ago
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆26Updated 3 weeks ago
- Build languages on Python.☆12Updated 3 years ago