Alternatives and similar repositories for PatEL

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

• softdevteam / eco
  Editor for language composition
  ☆58Updated 3 years ago
• chrisdone-archive / z
  A strict, impure, curried, partially applied programming language with rather peculiar syntax.
  ☆282Updated 11 years ago
• stchang / macrotypes
  ☆137Updated 3 years ago
• lexi-lambda / blackboard
  A (very) unfinished OpenType Math layout and rendering engine in Racket
  ☆59Updated last year
• jasonhemann / constraint-microKanren
  A microKanren framework for implementing constraints.
  ☆18Updated 7 years ago
• webyrd / quines
  Relational interpreter in miniKanren that can generate quines
  ☆132Updated 10 years ago
• rain-1 / continuations-study-group
  ☆78Updated 6 years ago
• Cirru / respo-cirru-editor.cljs
  Reimplement Cirru Editor in Respo.
  ☆34Updated 4 months ago
• racket / swindle
  ☆11Updated last month
• ravichugh / djs
  Dependent JavaScript: A Typed Dialect
  ☆87Updated 12 years ago
• owo-lang / MLPolyR
  The MLPolyR programming language, revived
  ☆25Updated 5 years ago
• melted / idris-chez
  An idris backend compiling to chez scheme
  ☆48Updated 8 years ago
• lpeterse / koka
  A function-oriented language with effect inference
  ☆19Updated 11 years ago
• lexi-lambda / racket-r7rs
  An implementation of R7RS in Racket
  ☆102Updated last year
• fare / moll
  My Own Linear Lisp
  ☆42Updated 7 years ago
• epsil / gll
  General Parser Combinators in Racket
  ☆193Updated 9 years ago
• aardappel / aarded
  Implementation of the Aardappel programming language
  ☆31Updated 8 years ago
• jeapostrophe / remix
  remix - a revised version of Racket
  ☆33Updated 3 years ago
• cruxlang / crux
  Crux Programming Language
  ☆53Updated 4 months ago
• nanopass / nanopass-framework-racket
  nanopass compiler framework for Racket
  ☆196Updated last year
• hazelgrove / diy-hazelnut
  A template for you to implement Hazelnut yourself
  ☆22Updated 5 months ago
• atennapel / bidirectional.js
  Javascript implementation of "Complete and Easy Bidirectional Type Checking for Higher-Rank Polymorphism"
  ☆79Updated last year
• xieyuheng / inet-cute
  An implementation of interaction nets in JS.
  ☆132Updated 5 months ago
• cicada-lang / cicada-solo
  Cicada Language (solo version)
  ☆129Updated last year
• miniKanren / Racket-miniKanren
  Canonical miniKanren implementation in Racket
  ☆86Updated 4 years ago
• thautwarm / idris-cam
  Sucessor: https://github.com/thautwarm/Quick-Backend
  ☆24Updated 5 years ago
• dvanhorn / redex-aam-tutorial
  An Introduction to Redex with Abstracting Abstract Machines
  ☆104Updated last year
• caotic123 / Kei
  A small and expressive dependently typed language
  ☆131Updated 5 years ago
• vezwork / Polytope
  Experimental, recursively-embeddable, domain-specific editors and text editor
  ☆80Updated 2 years ago
• videolang / video
  Source Code for Video language.
  ☆141Updated 6 years ago