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,393Updated 3 months ago
• webyrd / Barliman
  Prototype smart text editor
  ☆1,054Updated 7 months ago
• cdglabs / apparatus
  A hybrid graphics editor and programming environment for creating interactive diagrams.
  ☆1,036Updated last year
• ivanreese / visual-programming-codex
  Waypoints to the past and future of visual programming.
  ☆1,374Updated last year
• lamdu / lamdu
  lamdu - towards the next generation IDE
  ☆1,858Updated this week
• alexprengere / FormalSystems
  A Python implementation of Douglas Hofstadter formal systems, from his book "Gödel, Escher, Bach"
  ☆619Updated 3 years ago
• damelang / nile
  ☆716Updated 4 years ago
• parinfer / parinfer.js
  Let's simplify the way we write Lisp
  ☆1,756Updated 5 months ago
• marcpaq / b1fipl
  A Bestiary of Single-File Implementations of Programming Languages
  ☆1,004Updated 9 months ago
• vydd / sketch
  A Common Lisp framework for the creation of electronic art, visual design, game prototyping, game making, computer graphics, exploration …
  ☆1,419Updated 6 months ago
• carp-lang / Carp
  A statically typed lisp, without a GC, for real-time applications.
  ☆5,589Updated last month
• mrakgr / The-Spiral-Language
  Functional language with intensional polymorphism and first-class staging.
  ☆929Updated 3 weeks ago
• perspectivesonatheme / patterns
  A framework of abstractions
  ☆294Updated 6 months ago
• deobald / vipassana-for-hackers
  A document version of my "Vipassana for Hackers" talk
  ☆592Updated 6 months ago
• andrejbauer / plzoo
  Programming Languages Zoo
  ☆1,467Updated 6 months ago
• tomprimozic / type-systems
  Implementations of various type systems in OCaml.
  ☆1,553Updated 9 years ago
• inconvergent / snek
  See https://github.com/inconvergent/weir instead
  ☆742Updated 6 years ago
• mntmn / interim
  The Interim Operating System
  ☆1,254Updated 3 years ago
• khinsen / leibniz
  A Digital Scientific Notation
  ☆281Updated 3 years ago
• minimaxir / hacker-news-undocumented
  Some of the hidden norms about Hacker News not otherwise covered in the Guidelines and the FAQ.
  ☆3,641Updated 7 months ago
• stared / science-based-games-list
  Science-based games - a collaborative list
  ☆1,593Updated 6 months ago
• wbkd / awesome-interactive-journalism
  A list of awesome interactive journalism projects.
  ☆1,905Updated 5 years ago
• blob42 / awesome-explorables
  A curated list of awesome explorable explanations.
  ☆759Updated 3 weeks ago
• rgleichman / glance
  A visual Haskell
  ☆720Updated 2 years ago
• raganwald / presentations
  Conference Talks and Proposals
  ☆752Updated 6 years ago
• karlicoss / HPI
  Human Programming Interface 🧑👽🤖
  ☆1,482Updated 2 weeks ago
• pixie-lang / pixie
  A small, fast, native lisp with "magical" powers
  ☆2,352Updated 4 years ago
• pel-daniel / mind-bicycles
  List of future of programming projects
  ☆356Updated 6 months ago
• bijection / g9
  Automatically Interactive Graphics 🖼✨💯
  ☆1,957Updated last year
• Co-dfns / Co-dfns
  High-performance, Reliable, and Parallel APL
  ☆724Updated 3 weeks ago