Alternatives and similar repositories for PyDSL

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

• RemuLang / remu-type-system
  type-system, revised unification algorithm and runtime time representations
  ☆14Updated 6 years ago
• xye7ei / metaparse
  A handy tool to help design and parse your own language
  ☆21Updated 3 years ago
• thautwarm / idris-python
  Successor project: https://github.com/thautwarm/Quick-Backend
  ☆24Updated 6 years ago
• L-TChen / Type-Theory
  Lecture note on Lambda Calculus and Types for FLOLAC
  ☆27Updated last year
• raptazure / chocolate
  Talking about classical logic and abstract algebra in Haskell
  ☆16Updated 4 years ago
• xieyuheng / cell-complex
  Libraries and tools for topological and geometric modeling.
  ☆17Updated 8 months 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
• geisha-lang / Geisha
  A naive θ..θ programming language
  ☆27Updated 7 years ago
• owo-lang / MLPolyR
  The MLPolyR programming language, revived
  ☆25Updated 5 years ago
• brownplt / lambda-py
  ☆59Updated 11 years ago
• thautwarm / Redy
  thautwarm utilities.
  ☆11Updated 7 years ago
• thautwarm / RSolve
  Ask for solutions.
  ☆19Updated 6 years ago
• embedded2015 / jit-construct
  JIT compiler from scratch, derived from Nick Desaulniers' great work
  ☆39Updated 5 years ago
• mflatt / jit-demo
  ☆65Updated 9 years ago
• dannypsnl / racket-llvm
  racket llvm C-API bindings
  ☆18Updated 5 months ago
• tonyxty / hStacks
  Stacks project, from a homotopy type theory point-of-view (hPOV)
  ☆14Updated 5 years ago
• raptazure / mauve
  🍎 Play Bad Apple! with Haskell
  ☆15Updated 3 years ago
• shift-society / salon
  Salon des Refusés - Dialectics for new computer science
  ☆11Updated 6 years ago
• MaskRay / CamlFeatherweight
  Bytecode compiler of a variant of Caml
  ☆34Updated 10 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆32Updated 7 months ago
• thautwarm / graphviz-artist
  A chance to focus on graph drawing itself, forget APIs and other stuffs.
  ☆40Updated 3 years ago
• MarisaKirisame / first_order_logic_prover
  ☆60Updated 7 years ago
• jarcane / MicroMini
  A simple 8-bit virtual stack machine
  ☆16Updated 11 years ago
• OCamlPro / ocaml-top
  A simple cross-platform OCaml code editor built for top-level evaluation.
  ☆65Updated 2 years ago
• DIJamner / lambda-compiler
  A simple compiler from the lambda calculus to MIPS assembly
  ☆20Updated 8 years ago
• thautwarm / PySExpr
  S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
  ☆17Updated 5 years ago
• gergoerdi / alef
  Alef Lazily Evaluates Functions
  ☆32Updated 12 years ago
• bvaugon / ocamlcc
  OCaml bytecode to C compiler
  ☆103Updated 5 years ago
• raph-amiard / CamllVM
  An OCaml bytecode to LLVM compiler
  ☆43Updated 7 years ago