devinmcgloin / theoryLinks
Interesting Papers and Ideas
☆86Updated 8 years ago
Alternatives and similar repositories for theory
Users that are interested in theory are comparing it to the libraries listed below
Sorting:
- Variaous articles☆80Updated 2 years ago
- An open source reimplementation of Benny Brodda's BETA in Python☆63Updated 3 weeks ago
- Creative Coding Environment☆126Updated 2 months ago
- Block-style programming environment for multi agent system, based on MIT Scratch.☆129Updated last year
- Casual experiments with cellular automata☆78Updated 6 years ago
- A programming language based on a 2D Hilbert curve grid☆88Updated 3 years ago
- Ranked Programming Extension for Racket☆54Updated 5 years ago
- Some vrscript samples by John Carmack☆73Updated 6 years ago
- An ancient programming language adapted to a JavaScript-dominated world☆28Updated 11 years ago
- a new web framework, an entire platform really, designed from the ground up to handle complex things easily. Put the power of an entire O…☆132Updated 5 months ago
- List of future of programming projects☆371Updated last year
- A web app that lets you play musical scales according to math equations☆70Updated 4 years ago
- A collection of the thoughts of people like Doug Engelbart, Bret Victor, Ted Nelson, Alan Kay and other programming luminaries of our gen…☆37Updated 7 years ago
- Collaboration for reinventing software in human terms☆174Updated 7 years ago
- A Reasoning System for a First-Order Logic of Limited Belief, written in C++☆234Updated 5 years ago
- A live programming environment that lets you see the inner workings of programs☆81Updated 4 years ago
- What is hip? Tell me, tell me (if you think you know)☆111Updated 7 years ago
- An overview of linear algebra fundamentals which focuses on providing an intuitive / geometric review of some of the main concepts.☆162Updated 6 years ago
- GUI for those who don't do GUI☆122Updated 5 years ago
- Repo to track the evolution of notation in arts and sciences☆149Updated 3 years ago
- Audible NP-Complete Problem☆22Updated 6 years ago
- generator for complex configurations☆99Updated 8 years ago
- An experimental, tablet-based tool for developing your ideas☆193Updated 7 years ago
- a minimal vector programming language☆181Updated 5 years ago
- A static web application to explore and animate a TLA+ state graph.☆198Updated 2 years ago
- Generate guitar tablatures using a constraint solver☆141Updated 5 years ago
- 🌱 Grow delightful software☆275Updated 6 years ago
- Ternary computer emulator☆244Updated 3 years ago
- A fully-featured lisp/scheme shell written in Racket.☆122Updated 4 years ago
- An alternative to Urbit☆93Updated 8 years ago