Alternatives and similar repositories for notation:

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

• akkartik / mu
  Soul of a tiny new machine. More thorough tests → More comprehensible and rewrite-friendly software → More resilient society.
  ☆1,403Updated 6 months ago
• webyrd / Barliman
  Prototype smart text editor
  ☆1,062Updated last month
• alexprengere / FormalSystems
  A Python implementation of Douglas Hofstadter formal systems, from his book "Gödel, Escher, Bach"
  ☆622Updated 4 years ago
• inconvergent / snek
  See https://github.com/inconvergent/weir instead
  ☆745Updated 6 years ago
• vydd / sketch
  A Common Lisp framework for the creation of electronic art, visual design, game prototyping, game making, computer graphics, exploration …
  ☆1,451Updated 10 months ago
• ivanreese / visual-programming-codex
  Waypoints to the past and future of visual programming.
  ☆1,411Updated 2 months ago
• cdglabs / apparatus
  A hybrid graphics editor and programming environment for creating interactive diagrams.
  ☆1,039Updated last year
• parinfer / parinfer.js
  Let's simplify the way we write Lisp
  ☆1,783Updated 9 months ago
• deobald / vipassana-for-hackers
  A document version of my "Vipassana for Hackers" talk
  ☆595Updated 10 months ago
• steshaw / plt
  Programming Language Theory λΠ
  ☆5,286Updated 5 months ago
• damelang / nile
  ☆720Updated 4 years ago
• perspectivesonatheme / patterns
  A framework of abstractions
  ☆293Updated 9 months ago
• digego / extempore
  A cyber-physical programming environment
  ☆1,428Updated 2 months ago
• khinsen / leibniz
  Moved to https://codeberg.org/khinsen/leibniz
  ☆282Updated 2 months ago
• carp-lang / Carp
  A statically typed lisp, without a GC, for real-time applications.
  ☆5,646Updated 5 months ago
• mntmn / interim
  The Interim Operating System
  ☆1,266Updated 3 years ago
• raganwald / presentations
  Conference Talks and Proposals
  ☆753Updated 7 years ago
• marcpaq / b1fipl
  A Bestiary of Single-File Implementations of Programming Languages
  ☆1,012Updated last week
• triska / the-power-of-prolog
  The Power of Prolog: Introduction to modern Prolog
  ☆1,288Updated 3 weeks ago
• amperser / proselint
  A linter for prose.
  ☆4,413Updated 9 months ago
• Co-dfns / Co-dfns
  High-performance, Reliable, and Parallel APL
  ☆742Updated this week
• shaunlebron / history-of-lisp-parens
  a history of Lisp's most notorious artifact, parentheses
  ☆578Updated 7 months ago
• ctford / klangmeister
  A musical scratchpad.
  ☆620Updated 5 years ago
• jozefg / learn-tt
  A collection of resources for learning type theory and type theory adjacent fields.
  ☆2,257Updated 2 weeks ago
• quil / quil
  Main repo. Quil source code.
  ☆2,999Updated 4 months ago
• lamdu / lamdu
  lamdu - towards the next generation IDE
  ☆1,870Updated last week
• mbutterick / pollen
  book-publishing system [mirror of main repo at https://gitlab.com/mbutterick/pollen]
  ☆1,198Updated 2 years ago
• robertfoss / audio_shop
  Your friendly neighbourhood script for mangling images or video using audio editing tools
  ☆873Updated 6 years ago
• pel-daniel / mind-bicycles
  List of future of programming projects
  ☆360Updated 10 months ago
• rgleichman / glance
  A visual Haskell
  ☆724Updated 3 years ago