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,076Updated 10 months ago
• akkartik / mu
  Soul of a tiny new machine. More thorough tests → More comprehensible and rewrite-friendly software → More resilient society.
  ☆1,424Updated 3 months ago
• alexprengere / FormalSystems
  A Python implementation of Douglas Hofstadter formal systems, from his book "Gödel, Escher, Bach"
  ☆626Updated 4 years ago
• cdglabs / apparatus
  A hybrid graphics editor and programming environment for creating interactive diagrams.
  ☆1,049Updated 2 years ago
• damelang / nile
  ☆727Updated 5 years ago
• inconvergent / snek
  See https://github.com/inconvergent/weir instead
  ☆749Updated 7 years ago
• ivanreese / visual-programming-codex
  Waypoints to the past and future of visual programming.
  ☆1,464Updated last week
• eugenkiss / 7guis
  7GUIs is a GUI programming usability benchmark.
  ☆921Updated 2 years ago
• deobald / vipassana-for-hackers
  A document version of my "Vipassana for Hackers" talk
  ☆596Updated last year
• mbutterick / pollen
  book-publishing system [mirror of main repo at https://gitlab.com/mbutterick/pollen]
  ☆1,202Updated 3 years ago
• pel-daniel / mind-bicycles
  List of future of programming projects
  ☆371Updated last year
• parinfer / parinfer.js
  Let's simplify the way we write Lisp
  ☆1,796Updated 4 months ago
• khinsen / leibniz
  Moved to https://codeberg.org/khinsen/leibniz
  ☆282Updated 11 months ago
• vydd / sketch
  A Common Lisp framework for the creation of electronic art, visual design, game prototyping, game making, computer graphics, exploration …
  ☆1,483Updated 2 weeks ago
• mrakgr / The-Spiral-Language
  Functional language with intensional polymorphism and first-class staging.
  ☆943Updated 2 months ago
• digego / extempore
  A cyber-physical programming environment
  ☆1,453Updated last month
• lamdu / lamdu
  lamdu - towards the next generation IDE
  ☆1,887Updated last week
• prathyvsh / formal-systems-in-biology
  Application of formal systems to model biological systems
  ☆490Updated 2 years ago
• perspectivesonatheme / patterns
  A framework of abstractions
  ☆294Updated last year
• cloudkj / layer
  Neural network inference the Unix way
  ☆565Updated 6 years ago
• idyll-lang / idyll
  Create explorable explanations and interactive essays.
  ☆2,023Updated 3 years ago
• elsehow / aaronson-oracle
  Press the 'f' and 'd' keys randomly. It's easy. Just use your "free will."
  ☆850Updated 7 years ago
• triska / the-power-of-prolog
  The Power of Prolog: Introduction to modern Prolog
  ☆1,352Updated last month
• raganwald / presentations
  Conference Talks and Proposals
  ☆751Updated 7 years ago
• google / lisp-koans
  Common Lisp Koans is a language learning exercise in the same vein as the ruby koans, python koans and others. It is a port of the prio…
  ☆3,178Updated 2 years ago
• shaunlebron / history-of-lisp-parens
  a history of Lisp's most notorious artifact, parentheses
  ☆590Updated last year
• marcpaq / b1fipl
  A Bestiary of Single-File Implementations of Programming Languages
  ☆1,034Updated this week
• steshaw / plt
  Programming Language Theory λΠ
  ☆5,329Updated last year
• rgleichman / glance
  A visual Haskell
  ☆731Updated 3 years ago
• edwardtufte / tufte-css
  Style your webpage like Edward Tufte’s handouts.
  ☆6,417Updated last year