kai-qu / notationLinks
Collection of quotes on notation design & how it affects thought.
☆1,894Updated 4 years ago
Alternatives and similar repositories for notation
Users that are interested in notation are comparing it to the libraries listed below
Sorting:
- Prototype smart text editor☆1,061Updated 7 months ago
- Soul of a tiny new machine. More thorough tests → More comprehensible and rewrite-friendly software → More resilient society.☆1,412Updated last week
- A hybrid graphics editor and programming environment for creating interactive diagrams.☆1,048Updated 2 years ago
- ☆724Updated 5 years ago
- A Python implementation of Douglas Hofstadter formal systems, from his book "Gödel, Escher, Bach"☆622Updated 4 years ago
- Waypoints to the past and future of visual programming.☆1,436Updated 3 months ago
- List of future of programming projects☆370Updated last year
- Create explorable explanations and interactive essays.☆2,018Updated 2 years ago
- Functional language with intensional polymorphism and first-class staging.☆940Updated 2 weeks ago
- book-publishing system [mirror of main repo at https://gitlab.com/mbutterick/pollen]☆1,199Updated 3 years ago
- The Power of Prolog: Introduction to modern Prolog☆1,333Updated 3 weeks ago
- A document version of my "Vipassana for Hackers" talk☆594Updated last year
- Application of formal systems to model biological systems☆487Updated 2 years ago
- 7GUIs is a GUI programming usability benchmark.☆921Updated 2 years ago
- Moved to https://codeberg.org/khinsen/leibniz☆282Updated 8 months ago
- A cyber-physical programming environment☆1,441Updated 8 months ago
- A curated list of awesome explorable explanations.☆794Updated 9 months ago
- lamdu - towards the next generation IDE☆1,875Updated last month
- 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,472Updated this week
- Let's simplify the way we write Lisp☆1,796Updated last month
- Programming Languages Zoo☆1,524Updated last year
- A framework of abstractions☆294Updated last year
- A Bestiary of Single-File Implementations of Programming Languages☆1,025Updated 6 months ago
- Interactive Structure and Interpretation of Computer Programs☆1,158Updated 5 years ago
- Style your webpage like Edward Tufte’s handouts.☆6,338Updated last year
- Conference Talks and Proposals☆751Updated 7 years ago
- A linter for prose.☆4,467Updated 2 weeks ago
- Science-based games - a collaborative list☆1,617Updated last year
- a simple syntax for complex argumentation☆972Updated last week