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
  ☆78Updated last year
• inkandswitch / inkling
  archived prototype for sketching dynamic models
  ☆27Updated 2 months ago
• Little-Languages / reading-club
  A monthly reading club where we read and discuss papers, books, and other writings pertaining to little languages.
  ☆47Updated 2 months ago
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆126Updated last week
• alexwarth / sutherland
  ☆16Updated 2 weeks ago
• videolang / interactive-syntax
  Library for building Interactive Direct Manipulation Tools (IDMTs) in Racket.
  ☆30Updated 4 years ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆32Updated last year
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆105Updated last month
• vezwork / polylab
  Polylab polylog pollywog
  ☆18Updated last week
• engraftdev / engraft
  ☆39Updated last week
• michaelballantyne / syntax-spec
  A metalanguage for creating sophisticated DSLs in Racket.
  ☆32Updated last week
• shriram / mystery-languages
  Mystery Languages
  ☆38Updated last year
• LingDong- / lbll
  tiny experimental language for limited environments
  ☆17Updated 2 years ago
• UberPyro / prowl
  WIP stack language that uses regex for control flow
  ☆42Updated last year
• cicada-lang / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆29Updated this week
• hazelgrove / diy-hazelnut
  A template for you to implement Hazelnut yourself
  ☆21Updated 3 months ago
• metareflection / poof
  Prototypes: Object Orientation, Functionally
  ☆44Updated 3 weeks ago
• glossopoeia / boba
  A general purpose statically-typed concatenative programming language.
  ☆54Updated last year
• vmchale / apple
  Apple array system
  ☆66Updated last week
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆50Updated 4 months ago
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆80Updated 5 months ago
• hazelgrove / tylr
  a tiny tile-based editor
  ☆304Updated this week
• sorawee / pretty-expressive
  An implementation of "A Pretty Expressive Printer" in Racket
  ☆27Updated last year
• kserrec / lambda-core
  Lambda Calculus Core! A collaborative effort at showing how the core of lambda calculus can be implemented in every programming language.
  ☆43Updated 2 months ago
• geoffreylitt / mini-adapton
  Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)
  ☆24Updated 3 years ago
• dawn-lang / dawn-phase1
  Dawn Phase 1 proto-language
  ☆37Updated 3 years ago
• Limvot / kraken
  The Kraken Programming Language
  ☆47Updated last year
• obfusk / koneko
  koneko - a concatenative not-quite-lisp for kittens
  ☆23Updated 7 months ago
• dghosef / qdbp
  ☆53Updated this week
• prathyvsh / history-of-logic
  A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.
  ☆55Updated last month