Alternatives and similar repositories for PyDSL

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

• L-TChen / Type-Theory
  Lecture note on Lambda Calculus and Types for FLOLAC
  ☆27Updated last year
• embedded2015 / jit-construct
  JIT compiler from scratch, derived from Nick Desaulniers' great work
  ☆40Updated 5 years ago
• RemuLang / remu-type-system
  type-system, revised unification algorithm and runtime time representations
  ☆14Updated 6 years ago
• davidmalcolm / coconut
  An experimental method JIT for CPython 3
  ☆29Updated 9 years ago
• xye7ei / metaparse
  A handy tool to help design and parse your own language
  ☆21Updated 3 years ago
• thautwarm / UPL
  A compiler for higher rank ML with type classes
  ☆13Updated 5 years ago
• thautwarm / idris-python
  Successor project: https://github.com/thautwarm/Quick-Backend
  ☆24Updated 6 years ago
• xieyuheng / cell-complex
  Libraries and tools for topological and geometric modeling.
  ☆17Updated 10 months ago
• buganini / bsdconv
  A simple but powerful DSL for charset/encoding conversion and transformation, pure C implementation with no extra dependencies
  ☆53Updated 3 years ago
• thautwarm / frontend-for-free
  end the parsing problem
  ☆40Updated 3 years ago
• raptazure / chocolate
  Talking about classical logic and abstract algebra in Haskell
  ☆16Updated 4 years ago
• MarisaKirisame / algebraic_data_type
  ☆19Updated 10 years ago
• thautwarm / RSolve
  Ask for solutions.
  ☆19Updated 6 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆33Updated 9 months ago
• thautwarm / LLAST
  A high level LLVM IR AST provider for GraphEngine JIT.
  ☆22Updated 7 years ago
• banacorn / Hakaru-FLOLAC16
  Some materials for "The taste of probabilistic programming and modeling" by Oleg Kiselyov at FLOLAC'16
  ☆16Updated 9 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
• scmlab / gcl
  backend of Guabao
  ☆13Updated last year
• RemuLang / proud
  The programming language I'm proud of: queryable type system, first class polymorphisms(type hole), type classes/traits, module as record…
  ☆14Updated 6 years ago
• tonyxty / hStacks
  Stacks project, from a homotopy type theory point-of-view (hPOV)
  ☆14Updated 5 years ago
• kztao / yscheme
  a compiler from a subset of Scheme into X64
  ☆31Updated 11 years ago
• eliben / asdl_parser
  Standalone ASDL parser for upstream CPython 3.x
  ☆62Updated 7 years ago
• fjarri / peval
  Partial evaluation of Python code
  ☆22Updated 2 years ago
• melt-umn / silver
  An attribute grammar-based programming language for composable language extensions
  ☆68Updated last month
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆45Updated 10 years ago
• adamhaney / lispy
  An implementation of scheme that can call python modules
  ☆21Updated 12 years ago
• lnishan / SQLGitHub
  SQLGitHub — Managing GitHub organization made easier
  ☆39Updated 7 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
• Risto-Stevcev / python-bytecode
  A Python bytecode compiler and bytecode generator.
  ☆23Updated 11 years ago
• smarr / CSOM
  CSOM - C implementation of the Simple Object Machine Smalltalk
  ☆10Updated 4 years ago