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,058Updated 9 months ago
• akkartik / mu
  Soul of a tiny new machine. More thorough tests → More comprehensible and rewrite-friendly software → More resilient society.
  ☆1,398Updated 5 months ago
• alexprengere / FormalSystems
  A Python implementation of Douglas Hofstadter formal systems, from his book "Gödel, Escher, Bach"
  ☆621Updated 3 years ago
• damelang / nile
  ☆715Updated 4 years ago
• christianvoigt / argdown
  a simple syntax for complex argumentation
  ☆939Updated last month
• lamdu / lamdu
  lamdu - towards the next generation IDE
  ☆1,864Updated 3 weeks ago
• cdglabs / apparatus
  A hybrid graphics editor and programming environment for creating interactive diagrams.
  ☆1,039Updated last year
• mntmn / interim
  The Interim Operating System
  ☆1,260Updated 3 years ago
• 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
  ☆594Updated 8 months ago
• parinfer / parinfer.js
  Let's simplify the way we write Lisp
  ☆1,777Updated 7 months ago
• vydd / sketch
  A Common Lisp framework for the creation of electronic art, visual design, game prototyping, game making, computer graphics, exploration …
  ☆1,432Updated 9 months ago
• khinsen / leibniz
  Moved to https://codeberg.org/khinsen/leibniz
  ☆281Updated 3 weeks ago
• amperser / proselint
  A linter for prose.
  ☆4,403Updated 7 months ago
• btrask / stronglink
  A searchable, syncable, content-addressable notetaking system
  ☆1,033Updated 8 years ago
• mrakgr / The-Spiral-Language
  Functional language with intensional polymorphism and first-class staging.
  ☆930Updated last week
• perspectivesonatheme / patterns
  A framework of abstractions
  ☆293Updated 8 months ago
• cloudkj / layer
  Neural network inference the Unix way
  ☆559Updated 5 years ago
• datacrypt-project / hitchhiker-tree
  Functional, persistent, off-heap, high performance data structure
  ☆1,193Updated 6 years ago
• marcpaq / b1fipl
  A Bestiary of Single-File Implementations of Programming Languages
  ☆1,004Updated 11 months ago
• google / schism
  A self-hosting Scheme to WebAssembly compiler
  ☆1,268Updated 3 years ago
• prathyvsh / formal-systems-in-biology
  Application of formal systems to model biological systems
  ☆472Updated last year
• Co-dfns / Co-dfns
  High-performance, Reliable, and Parallel APL
  ☆733Updated last week
• chrispsn / mesh
  Old version. Visualise data and edit JavaScript code using a spreadsheet interface.
  ☆1,563Updated 9 months ago
• eugenkiss / 7guis
  7GUIs is a GUI programming usability benchmark.
  ☆915Updated last year
• getguesstimate / guesstimate-app
  Create Fermi Estimates and Perform Monte Carlo Estimates
  ☆2,346Updated 3 months ago
• antontarasenko / smq
  A collection of SQL queries to social media datasets.
  ☆1,548Updated 5 years ago
• buckket / twtxt
  Decentralised, minimalist microblogging service for hackers.
  ☆2,116Updated 2 months ago
• hundredrabbits / Ronin
  Experimental Graphics Terminal
  ☆1,211Updated 3 years ago
• andrejbauer / plzoo
  Programming Languages Zoo
  ☆1,485Updated 9 months ago