willcrichton / inliner

Related projects: ⓘ

• fjarri / peval
  Partial evaluation of Python code
  ☆18Updated last year
• markshannon / python_formal_semantics
  ☆17Updated 3 years ago
• mingodad / picat
  My unofficial picat http://picat-lang.org/ repository
  ☆26Updated 8 months ago
• cfbolz / minitrace
  experiments in building tiny tracing JITs in various languages (Prolog to start)
  ☆9Updated last month
• egraphs-good / egglog-python
  Python bindings for the egg-smol rust library
  ☆62Updated last week
• metadsl / python-code-data
  Translate Python's bytecode to data and back again...
  ☆18Updated 3 weeks ago
• Technologicat / mcpyrate
  Advanced macro expander and language lab for Python.
  ☆56Updated 2 years ago
• graydon / exhaustigen
  ☆10Updated 2 years ago
• goodmami / pe
  Fastest general-purpose parsing library for Python with a familiar API
  ☆42Updated last week
• Technologicat / pydialect
  Build languages on Python.
  ☆12Updated 3 years ago
• rubenvannieuwpoort / reals
  A lightweight python3 library for arithmetic with real numbers.
  ☆34Updated last year
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆30Updated last year
• numba / numba-rvsdg
  Numba compatible RVSDG (Regionalized Value State Dependence Graph) utilities.
  ☆15Updated 2 weeks ago
• rocky / trepan-xpy
  Debugger in the Trepan family for x-python
  ☆17Updated this week
• ligurio / lark-grammars
  Grammars suitable for lark parser and Hypothesis
  ☆42Updated 5 months ago
• philzook58 / snakelog
  A Datalog Framework for Python
  ☆10Updated last year
• serge-sans-paille / beniget
  Extract semantic information about static Python code
  ☆69Updated 2 months ago
• dcnorris / precautionary
  Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…
  ☆25Updated 2 years ago
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆14Updated last year
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆26Updated last week
• darius / parson
  Yet another PEG parser combinator library and DSL
  ☆58Updated last year
• philzook58 / duckegg
  An experiment in using DuckDB for a datalog / egg
  ☆24Updated 11 months ago
• baruchel / continuation
  A module for handling continuations in Python
  ☆33Updated 7 years ago
• slightknack / treegrep
  Semantic find-and-replace using tree-sitter-based macro expansion!
  ☆16Updated 2 years ago
• MikeInnes / BrainForth
  An Impractical Stack Language
  ☆13Updated 4 years ago
• RocketRace / custom-literals
  A library implementing C++'s custom literal suffixes using pure Python.
  ☆34Updated last year
• Tsche / magic_codec
  ☆33Updated last week
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆31Updated 11 months ago
• thautwarm / PySExpr
  S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
  ☆17Updated 4 years ago