kai-qu / notationLinks
Collection of quotes on notation design & how it affects thought.
☆1,888Updated 4 years ago
Alternatives and similar repositories for notation
Users that are interested in notation are comparing it to the libraries listed below
Sorting:
- Soul of a tiny new machine. More thorough tests → More comprehensible and rewrite-friendly software → More resilient society.☆1,415Updated 9 months ago
- Prototype smart text editor☆1,063Updated 4 months ago
- A hybrid graphics editor and programming environment for creating interactive diagrams.☆1,046Updated 2 years ago
- A Python implementation of Douglas Hofstadter formal systems, from his book "Gödel, Escher, Bach"☆622Updated 4 years ago
- A document version of my "Vipassana for Hackers" talk☆595Updated last year
- See https://github.com/inconvergent/weir instead☆749Updated 6 years ago
- ☆725Updated 5 years ago
- Moved to https://codeberg.org/khinsen/leibniz☆282Updated 5 months ago
- Waypoints to the past and future of visual programming.☆1,429Updated last month
- A framework of abstractions☆294Updated last year
- Let's simplify the way we write Lisp☆1,792Updated 11 months ago
- book-publishing system [mirror of main repo at https://gitlab.com/mbutterick/pollen]☆1,198Updated 3 years ago
- 7GUIs is a GUI programming usability benchmark.☆917Updated last year
- A cyber-physical programming environment☆1,433Updated 5 months ago
- List of future of programming projects☆367Updated last year
- The Interim Operating System☆1,284Updated 4 years ago
- Conference Talks and Proposals☆753Updated 7 years ago
- Functional language with intensional polymorphism and first-class staging.☆938Updated last month
- Interactive Structure and Interpretation of Computer Programs☆1,160Updated 5 years ago
- Science-based games - a collaborative list☆1,612Updated last year
- Experimental spaced repetition platform for exploring ideas in memory augmentation and programmable attention☆1,753Updated 9 months ago
- Application of formal systems to model biological systems☆484Updated 2 years ago
- A curated list of awesome explorable explanations.☆787Updated 7 months ago
- A Common Lisp framework for the creation of electronic art, visual design, game prototyping, game making, computer graphics, exploration …☆1,458Updated last year
- A musical scratchpad.☆620Updated 5 years ago
- Experimental Graphics Terminal☆1,218Updated 3 months ago
- Evolving version of Conway’s Game of Life.☆581Updated 3 years ago
- a simple syntax for complex argumentation☆961Updated last week
- lamdu - towards the next generation IDE☆1,872Updated this week
- Neural network inference the Unix way☆561Updated 6 years ago