kai-qu / notation

Related projects ⓘ

Alternatives and complementary repositories for notation

• webyrd / Barliman
  Prototype smart text editor
  ☆1,049Updated 5 months ago
• akkartik / mu
  Soul of a tiny new machine. More thorough tests → More comprehensible and rewrite-friendly software → More resilient society.
  ☆1,387Updated last month
• alexprengere / FormalSystems
  A Python implementation of Douglas Hofstadter formal systems, from his book "Gödel, Escher, Bach"
  ☆619Updated 3 years ago
• ivanreese / visual-programming-codex
  Waypoints to the past and future of visual programming.
  ☆1,358Updated last year
• andrejbauer / plzoo
  Programming Languages Zoo
  ☆1,461Updated 5 months ago
• cdglabs / apparatus
  A hybrid graphics editor and programming environment for creating interactive diagrams.
  ☆1,036Updated last year
• steshaw / plt
  Programming Language Theory λΠ
  ☆5,236Updated last year
• damelang / nile
  ☆715Updated 4 years ago
• parinfer / parinfer.js
  Let's simplify the way we write Lisp
  ☆1,757Updated 3 months ago
• mntmn / interim
  The Interim Operating System
  ☆1,251Updated 3 years ago
• carp-lang / Carp
  A statically typed lisp, without a GC, for real-time applications.
  ☆5,542Updated 2 months ago
• khinsen / leibniz
  A Digital Scientific Notation
  ☆281Updated 3 years ago
• perspectivesonatheme / patterns
  A framework of abstractions
  ☆293Updated 4 months ago
• marcpaq / b1fipl
  A Bestiary of Single-File Implementations of Programming Languages
  ☆1,000Updated 7 months ago
• idyll-lang / idyll
  Create explorable explanations and interactive essays.
  ☆2,007Updated last year
• pixie-lang / pixie
  A small, fast, native lisp with "magical" powers
  ☆2,349Updated 4 years ago
• lamdu / lamdu
  lamdu - towards the next generation IDE
  ☆1,852Updated last month
• triska / the-power-of-prolog
  Introduction to modern Prolog
  ☆1,228Updated 3 weeks ago
• heathermiller / dist-prog-book
  ☆3,425Updated 3 years ago
• mozilla / mentat
  UNMAINTAINED A persistent, relational store inspired by Datomic and DataScript.
  ☆1,653Updated 6 years ago
• pel-daniel / mind-bicycles
  List of future of programming projects
  ☆354Updated 4 months ago
• Engelberg / instaparse
  ☆2,743Updated 5 months ago
• HuwCampbell / grenade
  Deep Learning in Haskell
  ☆1,449Updated 11 months ago
• jozefg / learn-tt
  A collection of resources for learning type theory and type theory adjacent fields.
  ☆2,167Updated 2 months ago
• christianvoigt / argdown
  a simple syntax for complex argumentation
  ☆926Updated 8 months ago
• vydd / sketch
  A Common Lisp framework for the creation of electronic art, visual design, game prototyping, game making, computer graphics, exploration …
  ☆1,410Updated 5 months ago
• unisonweb / unison
  A friendly programming language from the future
  ☆5,809Updated this week
• mbutterick / pollen
  book-publishing system [mirror of main repo at https://git.matthewbutterick.com/mbutterick/pollen]
  ☆1,192Updated 2 years ago
• ChrisPenner / rasa
  Extremely modular text editor built in Haskell
  ☆616Updated 4 years ago