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,064Updated 2 months ago
• akkartik / mu
  Soul of a tiny new machine. More thorough tests → More comprehensible and rewrite-friendly software → More resilient society.
  ☆1,410Updated 8 months ago
• cdglabs / apparatus
  A hybrid graphics editor and programming environment for creating interactive diagrams.
  ☆1,040Updated last year
• alexprengere / FormalSystems
  A Python implementation of Douglas Hofstadter formal systems, from his book "Gödel, Escher, Bach"
  ☆621Updated 4 years ago
• damelang / nile
  ☆722Updated 5 years ago
• lamdu / lamdu
  lamdu - towards the next generation IDE
  ☆1,872Updated last month
• marcpaq / b1fipl
  A Bestiary of Single-File Implementations of Programming Languages
  ☆1,019Updated last month
• khinsen / leibniz
  Moved to https://codeberg.org/khinsen/leibniz
  ☆282Updated 3 months ago
• steshaw / plt
  Programming Language Theory λΠ
  ☆5,298Updated 6 months ago
• datacrypt-project / hitchhiker-tree
  Functional, persistent, off-heap, high performance data structure
  ☆1,197Updated 6 years ago
• triska / the-power-of-prolog
  The Power of Prolog: Introduction to modern Prolog
  ☆1,298Updated last week
• parinfer / parinfer.js
  Let's simplify the way we write Lisp
  ☆1,782Updated 10 months ago
• carp-lang / Carp
  A statically typed lisp, without a GC, for real-time applications.
  ☆5,673Updated 6 months ago
• sleexyz / hylogen
  GLSL embedded in Haskell
  ☆486Updated last year
• inconvergent / snek
  See https://github.com/inconvergent/weir instead
  ☆749Updated 6 years ago
• mbutterick / pollen
  book-publishing system [mirror of main repo at https://gitlab.com/mbutterick/pollen]
  ☆1,197Updated 2 years ago
• vydd / sketch
  A Common Lisp framework for the creation of electronic art, visual design, game prototyping, game making, computer graphics, exploration …
  ☆1,456Updated last year
• dhall-lang / dhall-lang
  Maintainable configuration files
  ☆4,333Updated 2 months ago
• mntmn / interim
  The Interim Operating System
  ☆1,282Updated 4 years ago
• enkimute / ganja.js
  Javascript Geometric Algebra Generator for Javascript, c++, c#, rust, python. (with operator overloading and algebraic literals) -
  ☆1,552Updated last year
• chrispsn / mesh
  Old version. Visualise data and edit JavaScript code using a spreadsheet interface.
  ☆1,563Updated last year
• HuwCampbell / grenade
  Deep Learning in Haskell
  ☆1,447Updated last year
• andrejbauer / plzoo
  Programming Languages Zoo
  ☆1,501Updated last year
• amperser / proselint
  A linter for prose.
  ☆4,422Updated last week
• pel-daniel / mind-bicycles
  List of future of programming projects
  ☆364Updated 11 months ago
• eugenkiss / 7guis
  7GUIs is a GUI programming usability benchmark.
  ☆916Updated last year
• christianvoigt / argdown
  a simple syntax for complex argumentation
  ☆956Updated 2 weeks ago
• rgleichman / glance
  A visual Haskell
  ☆728Updated 3 years ago
• shaunlebron / history-of-lisp-parens
  a history of Lisp's most notorious artifact, parentheses
  ☆581Updated 8 months ago
• mrakgr / The-Spiral-Language
  Functional language with intensional polymorphism and first-class staging.
  ☆935Updated last week