devinmcgloin / theory
Interesting Papers and Ideas
☆83Updated 8 years ago
Alternatives and similar repositories for theory:
Users that are interested in theory are comparing it to the libraries listed below
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- Variaous articles☆80Updated 2 years ago
- What is hip? Tell me, tell me (if you think you know)☆110Updated 6 years ago
- List of future of programming projects☆359Updated 9 months ago
- The Math of Card Shufflig☆38Updated 2 years ago
- Block-style programming environment for multi agent system, based on MIT Scratch.☆126Updated 2 months ago
- Creative Coding Environment☆126Updated 6 months ago
- An open source reimplementation of Benny Brodda's BETA in Python☆63Updated 5 years ago
- Casual experiments with cellular automata☆77Updated 6 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
- Repo to track the evolution of notation in arts and sciences☆138Updated 2 years ago
- Explore Forum Structured Data (on HackerNews) Visually☆42Updated 2 years ago
- Some vrscript samples by John Carmack☆74Updated 5 years ago
- I got mad flow.☆85Updated 7 years ago
- Alan Borning's graphical constraint solver from the late 70s, running on our Smalltalk-78 JavaScript VM.☆104Updated 2 months ago
- generator for complex configurations☆99Updated 7 years ago
- A way for academics and research students to stay on top of research publications (using machine learning)☆54Updated 6 years ago
- Generate guitar tablatures using a constraint solver☆138Updated 5 years ago
- GUI for those who don't do GUI☆121Updated 5 years ago
- 🌱 Grow delightful software☆255Updated 6 years ago
- A programming language based on a 2D Hilbert curve grid☆89Updated 2 years ago
- A toolkit for experimenting with new kinds of programming interfaces.☆196Updated 8 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
- A live programming environment that lets you see the inner workings of programs☆79Updated 3 years ago
- ☆142Updated last week
- Athena Regional Stability Simulation☆85Updated 9 years ago
- A terse Prolog course☆42Updated 6 years ago
- An overview of linear algebra fundamentals which focuses on providing an intuitive / geometric review of some of the main concepts.☆99Updated 6 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…☆129Updated 4 months ago
- APL Compiler targeting a typed array intermediate language☆211Updated 7 months ago