Alternatives and similar repositories for notation

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

• webyrd / Barliman
  Prototype smart text editor
  ☆1,063Updated 5 months ago
• akkartik / mu
  Soul of a tiny new machine. More thorough tests → More comprehensible and rewrite-friendly software → More resilient society.
  ☆1,415Updated 10 months ago
• cdglabs / apparatus
  A hybrid graphics editor and programming environment for creating interactive diagrams.
  ☆1,049Updated 2 years ago
• damelang / nile
  ☆724Updated 5 years ago
• alexprengere / FormalSystems
  A Python implementation of Douglas Hofstadter formal systems, from his book "Gödel, Escher, Bach"
  ☆623Updated 4 years ago
• ivanreese / visual-programming-codex
  Waypoints to the past and future of visual programming.
  ☆1,430Updated last month
• lamdu / lamdu
  lamdu - towards the next generation IDE
  ☆1,872Updated 2 weeks ago
• deobald / vipassana-for-hackers
  A document version of my "Vipassana for Hackers" talk
  ☆595Updated last year
• eugenkiss / 7guis
  7GUIs is a GUI programming usability benchmark.
  ☆919Updated last year
• inconvergent / snek
  See https://github.com/inconvergent/weir instead
  ☆751Updated 6 years ago
• mbutterick / pollen
  book-publishing system [mirror of main repo at https://gitlab.com/mbutterick/pollen]
  ☆1,198Updated 3 years ago
• andrejbauer / plzoo
  Programming Languages Zoo
  ☆1,511Updated last year
• digego / extempore
  A cyber-physical programming environment
  ☆1,436Updated 6 months ago
• parinfer / parinfer.js
  Let's simplify the way we write Lisp
  ☆1,793Updated last year
• rgleichman / glance
  A visual Haskell
  ☆728Updated 3 years ago
• khinsen / leibniz
  Moved to https://codeberg.org/khinsen/leibniz
  ☆282Updated 6 months ago
• nuprl / 10PL
  10 papers that all PhD students in programming languages ought to know, for some value of 10
  ☆910Updated 5 years ago
• mrakgr / The-Spiral-Language
  Functional language with intensional polymorphism and first-class staging.
  ☆938Updated 2 months ago
• stared / science-based-games-list
  Science-based games - a collaborative list
  ☆1,615Updated last year
• mntmn / interim
  The Interim Operating System
  ☆1,290Updated 4 years ago
• ncase / loopy
  A tool for thinking in systems
  ☆1,686Updated last year
• pel-daniel / mind-bicycles
  List of future of programming projects
  ☆367Updated last year
• Gabriella439 / post-rfc
  Blog post previews in need of peer review
  ☆2,201Updated 2 years ago
• perspectivesonatheme / patterns
  A framework of abstractions
  ☆294Updated last year
• tomprimozic / type-systems
  Implementations of various type systems in OCaml.
  ☆1,586Updated 9 years ago
• marcpaq / b1fipl
  A Bestiary of Single-File Implementations of Programming Languages
  ☆1,024Updated 4 months ago
• ldct / isicp
  Interactive Structure and Interpretation of Computer Programs
  ☆1,159Updated 5 years ago
• Co-dfns / Co-dfns
  High-performance, Reliable, and Parallel APL
  ☆766Updated 2 weeks ago
• triska / the-power-of-prolog
  The Power of Prolog: Introduction to modern Prolog
  ☆1,317Updated 2 weeks ago
• raganwald / presentations
  Conference Talks and Proposals
  ☆753Updated 7 years ago