Alternatives and similar repositories for nool

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

• vezwork / Polytope
  Experimental, recursively-embeddable, domain-specific editors and text editor
  ☆80Updated last year
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆150Updated last month
• inkandswitch / inkling
  archived prototype for sketching dynamic models
  ☆33Updated 2 months ago
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆120Updated last week
• Little-Languages / reading-club
  A monthly reading club where we read and discuss papers, books, and other writings pertaining to little languages.
  ☆47Updated 7 months ago
• xieyuheng / inet-js
  This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)
  ☆55Updated last month
• yairchu / awesome-structure-editors
  A list of projectional and structural editors
  ☆389Updated 2 weeks ago
• xieyuheng / inet-cute
  An implementation of interaction nets in JS.
  ☆132Updated last month
• geoffreylitt / mini-adapton
  Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)
  ☆24Updated 3 years ago
• hazelgrove / tylr
  a tiny tile-based editor
  ☆308Updated this week
• xieyuheng / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆38Updated last month
• rain-1 / continuations-study-group
  ☆79Updated 6 years ago
• engraftdev / engraft
  ☆43Updated 3 weeks ago
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆145Updated 7 years ago
• videolang / interactive-syntax
  Library for building Interactive Direct Manipulation Tools (IDMTs) in Racket.
  ☆30Updated 4 years ago
• inpla / inpla
  Inpla: Interaction nets as a programming language (the current version)
  ☆312Updated 10 months ago
• shriram / mystery-languages
  Mystery Languages
  ☆40Updated 2 years ago
• radian-software / kalyn
  ⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.
  ☆160Updated 3 years ago
• Zag-Research / Zag-Smalltalk
  Smalltalk VM Written in Zig with methods stored as type-annotated ASTs
  ☆139Updated this week
• glossopoeia / boba
  A general purpose statically-typed concatenative programming language.
  ☆54Updated 2 years ago
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆284Updated this week
• luc-tielen / eclair-lang
  A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
  ☆224Updated last year
• ayazhafiz / plts
  A collection of programming languages and type systems.
  ☆33Updated 4 months ago
• vilterp / datalog-ts
  a datalog interpreter in typescript
  ☆212Updated 8 months ago
• zachgk / catln
  A high-level programming language
  ☆40Updated 7 months ago
• tekknolagi / ghuloum
  Following [An Incremental Approach to Compiler Construction](http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf)
  ☆68Updated 3 weeks ago
• xpqz / cultivations
  APL Orchard Cultivations: https://xpqz.github.io/cultivations/
  ☆18Updated 3 years ago
• xorvoid / forsp
  Forsp: A Forth+Lisp Hybrid Lambda Calculus Language
  ☆203Updated last year
• mollerse / ait-lang
  Ait - Concatenative language for making visual demos with Canvas
  ☆47Updated 7 years ago
• wordplaydev / wordplay
  An accessible, language-inclusive programming language and IDE for creating interactive typography on the web.
  ☆74Updated this week