kai-qu / notationLinks
Collection of quotes on notation design & how it affects thought.
☆1,893Updated 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,417Updated 11 months ago
- Prototype smart text editor☆1,061Updated 6 months ago
- A hybrid graphics editor and programming environment for creating interactive diagrams.☆1,048Updated 2 years ago
- Waypoints to the past and future of visual programming.☆1,435Updated 3 months ago
- A Python implementation of Douglas Hofstadter formal systems, from his book "Gödel, Escher, Bach"☆623Updated 4 years ago
- ☆724Updated 5 years ago
- Create explorable explanations and interactive essays.☆2,018Updated 2 years ago
- List of future of programming projects☆368Updated last year
- A document version of my "Vipassana for Hackers" talk☆597Updated last year
- 7GUIs is a GUI programming usability benchmark.☆921Updated 2 years ago
- Science-based games - a collaborative list☆1,617Updated last year
- A Bestiary of Single-File Implementations of Programming Languages☆1,025Updated 5 months ago
- A cyber-physical programming environment☆1,440Updated 7 months ago
- Moved to https://codeberg.org/khinsen/leibniz☆282Updated 7 months ago
- Let's simplify the way we write Lisp☆1,796Updated 2 weeks ago
- Functional language with intensional polymorphism and first-class staging.☆940Updated this week
- Interactive Structure and Interpretation of Computer Programs☆1,157Updated 5 years ago
- A framework of abstractions☆294Updated last year
- book-publishing system [mirror of main repo at https://gitlab.com/mbutterick/pollen]☆1,199Updated 3 years ago
- a simple syntax for complex argumentation☆967Updated this week
- Conference Talks and Proposals☆751Updated 7 years ago
- lamdu - towards the next generation IDE☆1,874Updated last week
- Application of formal systems to model biological systems☆488Updated 2 years ago
- The Interim Operating System☆1,291Updated 4 years ago
- A Common Lisp framework for the creation of electronic art, visual design, game prototyping, game making, computer graphics, exploration …☆1,471Updated last year
- The Power of Prolog: Introduction to modern Prolog☆1,328Updated this week
- Press the 'f' and 'd' keys randomly. It's easy. Just use your "free will."☆848Updated 6 years ago
- Experimental spaced repetition platform for exploring ideas in memory augmentation and programmable attention☆1,767Updated 11 months ago
- Mirror of JONESFORTH☆1,079Updated 2 years ago
- Experimental Graphics Terminal☆1,218Updated 5 months ago