kai-qu / notation

Related projects: ⓘ

• akkartik / mu
  Soul of a tiny new machine. More thorough tests → More comprehensible and rewrite-friendly software → More resilient society.
  ☆1,377Updated 9 months ago
• webyrd / Barliman
  Prototype smart text editor
  ☆1,044Updated 3 months ago
• cdglabs / apparatus
  A hybrid graphics editor and programming environment for creating interactive diagrams.
  ☆1,033Updated last year
• alexprengere / FormalSystems
  A Python implementation of Douglas Hofstadter formal systems, from his book "Gödel, Escher, Bach"
  ☆619Updated 3 years ago
• lamdu / lamdu
  lamdu - towards the next generation IDE
  ☆1,853Updated last week
• amperser / proselint
  A linter for prose.
  ☆4,328Updated last month
• ivanreese / visual-programming-codex
  Waypoints to the past and future of visual programming.
  ☆1,347Updated 11 months ago
• idyll-lang / idyll
  Create explorable explanations and interactive essays.
  ☆2,004Updated last year
• inconvergent / snek
  See https://github.com/inconvergent/weir instead
  ☆741Updated 5 years ago
• edwardtufte / tufte-css
  Style your webpage like Edward Tufte’s handouts.
  ☆5,927Updated last month
• marcpaq / b1fipl
  A Bestiary of Single-File Implementations of Programming Languages
  ☆996Updated 5 months ago
• damelang / nile
  ☆713Updated 4 years ago
• mntmn / interim
  The Interim Operating System
  ☆1,238Updated 3 years ago
• mrakgr / The-Spiral-Language
  Functional language with intensional polymorphism and first-class staging.
  ☆920Updated this week
• parinfer / parinfer.js
  Let's simplify the way we write Lisp
  ☆1,753Updated last month
• vydd / sketch
  A Common Lisp framework for the creation of electronic art, visual design, game prototyping, game making, computer graphics, exploration …
  ☆1,398Updated 3 months ago
• prathyvsh / formal-systems-in-biology
  Application of formal systems to model biological systems
  ☆466Updated last year
• deobald / vipassana-for-hackers
  A document version of my "Vipassana for Hackers" talk
  ☆590Updated 2 months ago
• triska / the-power-of-prolog
  Introduction to modern Prolog
  ☆1,212Updated last month
• andrejbauer / plzoo
  Programming Languages Zoo
  ☆1,445Updated 3 months ago
• mbutterick / pollen
  book-publishing system [mirror of main repo at https://git.matthewbutterick.com/mbutterick/pollen]
  ☆1,189Updated 2 years ago
• digego / extempore
  A cyber-physical programming environment
  ☆1,401Updated last month
• carp-lang / Carp
  A statically typed lisp, without a GC, for real-time applications.
  ☆5,509Updated 2 weeks ago
• Gabriella439 / post-rfc
  Blog post previews in need of peer review
  ☆2,191Updated last year
• stared / science-based-games-list
  Science-based games - a collaborative list
  ☆1,572Updated 2 months ago
• karlicoss / HPI
  Human Programming Interface 🧑👽🤖
  ☆1,460Updated this week
• ncase / loopy
  A tool for thinking in systems
  ☆1,626Updated 2 months ago
• pel-daniel / mind-bicycles
  List of future of programming projects
  ☆354Updated 2 months ago
• quil / quil
  Main repo. Quil source code.
  ☆2,957Updated 3 months ago
• jackschaedler / circles-sines-signals
  A Compact Primer on Digital Signal Processing
  ☆988Updated 2 years ago