Alternatives and similar repositories for PyDSL

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

• xye7ei / metaparse
  A handy tool to help design and parse your own language
  ☆21Updated 3 years ago
• RemuLang / remu-type-system
  type-system, revised unification algorithm and runtime time representations
  ☆14Updated 6 years ago
• L-TChen / Type-Theory
  Lecture note on Lambda Calculus and Types for FLOLAC
  ☆27Updated last year
• thautwarm / idris-python
  Successor project: https://github.com/thautwarm/Quick-Backend
  ☆24Updated 6 years ago
• thautwarm / RSolve
  Ask for solutions.
  ☆19Updated 6 years ago
• darius / parson
  Yet another PEG parser combinator library and DSL
  ☆56Updated 2 years ago
• thautwarm / frontend-for-free
  end the parsing problem
  ☆40Updated 3 years ago
• thautwarm / simple-pl-example
  Implementing a programming language within 20 minutes, also a tutorial for syntax driven parsing with frontend-for-free.
  ☆16Updated 4 years ago
• thautwarm / EBNFParser
  Convenient parser generator for Python(check out https://github.com/thautwarm/RBNF for an advanced version).
  ☆65Updated 7 years ago
• mflatt / jit-demo
  ☆65Updated 9 years ago
• smarr / CSOM
  CSOM - C implementation of the Simple Object Machine Smalltalk
  ☆10Updated 4 years ago
• scizzorz / rain
  A programming language.
  ☆21Updated 8 years ago
• thautwarm / RBNF
  This project's lifetime has ended. The successor is https://github.com/thautwarm/frontend-for-free which is WIP. You can check lark-parse…
  ☆41Updated 7 years ago
• aherlihy / PythonLLVM
  LLVM compiler for python based on py2llvm
  ☆136Updated 10 years ago
• MarisaKirisame / algebraic_data_type
  ☆19Updated 10 years ago
• kragen / urscheme
  ☆22Updated 12 years ago
• jtauber / pykanren
  an attempt to implement miniKanren and microKanren in Python
  ☆54Updated 11 years ago
• thautwarm / graphviz-artist
  A chance to focus on graph drawing itself, forget APIs and other stuffs.
  ☆40Updated 3 years ago
• kztao / yscheme
  a compiler from a subset of Scheme into X64
  ☆31Updated 11 years ago
• raptazure / chocolate
  Talking about classical logic and abstract algebra in Haskell
  ☆16Updated 4 years ago
• embedded2015 / jit-construct
  JIT compiler from scratch, derived from Nick Desaulniers' great work
  ☆40Updated 5 years ago
• xieyuheng / cell-complex
  Libraries and tools for topological and geometric modeling.
  ☆17Updated 10 months ago
• DIJamner / lambda-compiler
  A simple compiler from the lambda calculus to MIPS assembly
  ☆20Updated 8 years ago
• thautwarm / UPL
  A compiler for higher rank ML with type classes
  ☆13Updated 5 years ago
• SMLFamily / SML-The-Living-Language
  SML, The Living Language (aka, Successor ML)
  ☆72Updated 9 years ago
• lijunchen / vscode-cpython-explorer
  A VS Code extension help you explore CPython internals
  ☆15Updated 2 years ago
• SOM-st / PySOM
  PySOM - The Simple Object Machine Smalltalk implemented in Python
  ☆28Updated 5 months ago
• adamhaney / lispy
  An implementation of scheme that can call python modules
  ☆21Updated 12 years ago
• thautwarm / PySExpr
  S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
  ☆17Updated 5 years ago
• HOL-Theorem-Prover / hol-guidebook
  HOL Guidebook
  ☆11Updated last year