devinmcgloin / theory
Interesting Papers and Ideas
☆84Updated 8 years ago
Alternatives and similar repositories for theory
Users that are interested in theory are comparing it to the libraries listed below
Sorting:
- The Math of Card Shufflig☆38Updated 2 years ago
- Variaous articles☆80Updated 2 years ago
- Creative Coding Environment☆126Updated 2 weeks ago
- Athena Regional Stability Simulation☆85Updated 9 years ago
- An open source reimplementation of Benny Brodda's BETA in Python☆63Updated 5 years ago
- Some vrscript samples by John Carmack☆74Updated 5 years ago
- Block-style programming environment for multi agent system, based on MIT Scratch.☆126Updated 3 months ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 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…☆38Updated 6 years ago
- Casual experiments with cellular automata☆78Updated 6 years ago
- Generate guitar tablatures using a constraint solver☆138Updated 5 years ago
- A programming language based on a 2D Hilbert curve grid☆88Updated 2 years ago
- An ancient programming language adapted to a JavaScript-dominated world☆28Updated 11 years ago
- A lisp-looking language with interpreter and compiler to JS☆28Updated 5 years ago
- I got mad flow.☆85Updated 7 years ago
- Explore Forum Structured Data (on HackerNews) Visually☆42Updated 2 years ago
- An encoding of the UK's self-isolation rules in Prolog☆34Updated 4 years ago
- Book lucid interpreter written in python☆24Updated 5 years ago
- Getting inspiration from Sutherland's 1961 Sketchpad and Overveld's retake on its relaxation technique 30 year after, we are working on a…☆90Updated last year
- Demo of a WAM Prolog implementation in Python☆77Updated 2 years ago
- A wiki and web-services based development environment for Awelon project☆92Updated 6 years ago
- A Reasoning System for a First-Order Logic of Limited Belief, written in C++☆237Updated 4 years ago
- Research prototype of a REPL/debugger☆30Updated 6 years ago
- Ranked Programming Extension for Racket☆54Updated 4 years ago
- An alternative to Urbit☆94Updated 7 years ago
- Direct Manipulation of Turtle Graphics☆37Updated 3 years ago
- 🌱 Grow delightful software☆257Updated 6 years ago
- Schrödinger's Tcl☆30Updated 10 years ago
- things that don't deserve their own repo☆64Updated last month
- GUI for those who don't do GUI☆121Updated 5 years ago