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☆79Updated 2 years ago
- An open source reimplementation of Benny Brodda's BETA in Python☆63Updated 6 years ago
- Block-style programming environment for multi agent system, based on MIT Scratch.☆128Updated 10 months ago
- A programming language based on a 2D Hilbert curve grid☆88Updated 3 years ago
- Creative Coding Environment☆126Updated 3 weeks ago
- What is hip? Tell me, tell me (if you think you know)☆111Updated 7 years ago
- Casual experiments with cellular automata☆78Updated 6 years ago
- A way for academics and research students to stay on top of research publications (using machine learning)☆54Updated 7 years ago
- I got mad flow.☆85Updated 7 years ago
- A book to support the INFO 200 Intellectual Foundations of Information course.☆141Updated last year
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆139Updated 6 years ago
- Some vrscript samples by John Carmack☆74Updated 6 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
- Ranked Programming Extension for Racket☆54Updated 5 years ago
- A Reasoning System for a First-Order Logic of Limited Belief, written in C++☆234Updated 4 years ago
- Repo to track the evolution of notation in arts and sciences☆148Updated 2 years ago
- Explore Forum Structured Data (on HackerNews) Visually☆43Updated 2 years ago
- An ancient programming language adapted to a JavaScript-dominated world☆28Updated 11 years ago
- a minimal vector programming language☆181Updated 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…☆93Updated last year
- An IDE for the Ohm language (JavaScript edition)☆101Updated last year
- Athena Regional Stability Simulation☆85Updated 9 years ago
- List of future of programming projects☆370Updated last year
- Generate guitar tablatures using a constraint solver☆140Updated 5 years ago
- A live programming environment that lets you see the inner workings of programs☆81Updated 3 years ago
- An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'☆90Updated 5 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 3 months ago
- Collaboration for reinventing software in human terms☆174Updated 7 years ago
- Random fractal or the secret behind my tree☆94Updated 5 years ago
- This is a new take on an old language: APL. The goal is to pare APL down to its elegant essence. This version of APL is oriented towar…☆88Updated 2 years ago