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,402Updated 5 months ago
• alexprengere / FormalSystems
  A Python implementation of Douglas Hofstadter formal systems, from his book "Gödel, Escher, Bach"
  ☆622Updated 4 years ago
• webyrd / Barliman
  Prototype smart text editor
  ☆1,061Updated 3 weeks ago
• stared / science-based-games-list
  Science-based games - a collaborative list
  ☆1,605Updated 9 months ago
• ivanreese / visual-programming-codex
  Waypoints to the past and future of visual programming.
  ☆1,406Updated last month
• mrakgr / The-Spiral-Language
  Functional language with intensional polymorphism and first-class staging.
  ☆930Updated last week
• cdglabs / apparatus
  A hybrid graphics editor and programming environment for creating interactive diagrams.
  ☆1,040Updated last year
• lamdu / lamdu
  lamdu - towards the next generation IDE
  ☆1,867Updated 3 weeks ago
• pel-daniel / mind-bicycles
  List of future of programming projects
  ☆358Updated 9 months ago
• khinsen / leibniz
  Moved to https://codeberg.org/khinsen/leibniz
  ☆282Updated last month
• inconvergent / snek
  See https://github.com/inconvergent/weir instead
  ☆745Updated 6 years ago
• deobald / vipassana-for-hackers
  A document version of my "Vipassana for Hackers" talk
  ☆596Updated 9 months ago
• damelang / nile
  ☆717Updated 4 years ago
• marcpaq / b1fipl
  A Bestiary of Single-File Implementations of Programming Languages
  ☆1,004Updated last year
• andrejbauer / plzoo
  Programming Languages Zoo
  ☆1,486Updated 9 months ago
• carp-lang / Carp
  A statically typed lisp, without a GC, for real-time applications.
  ☆5,635Updated 4 months ago
• idyll-lang / idyll
  Create explorable explanations and interactive essays.
  ☆2,010Updated 2 years ago
• parinfer / parinfer.js
  Let's simplify the way we write Lisp
  ☆1,781Updated 8 months ago
• mntmn / interim
  The Interim Operating System
  ☆1,261Updated 3 years ago
• prathyvsh / formal-systems-in-biology
  Application of formal systems to model biological systems
  ☆472Updated 2 years ago
• perspectivesonatheme / patterns
  A framework of abstractions
  ☆293Updated 9 months ago
• Inventitech / strans
  Performs string manipulation tasks by learning from the provided example(s), instead of having to program them out explicitly.
  ☆549Updated 4 years ago
• eugenkiss / 7guis
  7GUIs is a GUI programming usability benchmark.
  ☆915Updated last year
• cloudkj / layer
  Neural network inference the Unix way
  ☆560Updated 5 years ago
• Gabriella439 / post-rfc
  Blog post previews in need of peer review
  ☆2,198Updated last year
• nuprl / 10PL
  10 papers that all PhD students in programming languages ought to know, for some value of 10
  ☆902Updated 5 years ago
• mbutterick / pollen
  book-publishing system [mirror of main repo at https://gitlab.com/mbutterick/pollen]
  ☆1,198Updated 2 years ago
• jozefg / learn-tt
  A collection of resources for learning type theory and type theory adjacent fields.
  ☆2,228Updated 7 months ago
• steshaw / plt
  Programming Language Theory λΠ
  ☆5,278Updated 4 months ago
• amperser / proselint
  A linter for prose.
  ☆4,407Updated 8 months ago