devinmcgloin / theoryLinks
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:
- Variaous articles☆80Updated 2 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- An open source reimplementation of Benny Brodda's BETA in Python☆63Updated 5 years ago
- Casual experiments with cellular automata☆78Updated 6 years ago
- Creative Coding Environment☆126Updated 2 weeks ago
- Block-style programming environment for multi agent system, based on MIT Scratch.☆126Updated 4 months ago
- A programming language based on a 2D Hilbert curve grid☆88Updated 2 years ago
- Some vrscript samples by John Carmack☆74Updated 6 years ago
- The Math of Card Shufflig☆38Updated 3 years ago
- An ancient programming language adapted to a JavaScript-dominated world☆28Updated 11 years ago
- Generate guitar tablatures using a constraint solver☆138Updated 5 years ago
- Repo to track the evolution of notation in arts and sciences☆144Updated 2 years ago
- What is hip? Tell me, tell me (if you think you know)☆110Updated 6 years ago
- Explore Forum Structured Data (on HackerNews) Visually☆42Updated 2 years ago
- I got mad flow.☆85Updated 7 years ago
- Athena Regional Stability Simulation☆85Updated 9 years ago
- Rendering bitmaps using nodes. Inspired by Blender's Nodes.☆62Updated 5 years ago
- Randomly generated visual with randomly generated formula☆43Updated 5 years ago
- A wiki and web-services based development environment for Awelon project☆92Updated 6 years ago
- ☆45Updated 2 years ago
- a minimal vector programming language☆181Updated 4 years ago
- Simple Rust implementation of Conway's Game of Life☆66Updated 2 years ago
- GUI for those who don't do GUI☆121Updated 5 years ago
- Rewrite of Arthur Whitney's one-page J interpreter in Rust☆61Updated 5 years ago
- Dead simple games made with word vectors.☆96Updated 5 years ago
- generator for complex configurations☆99Updated 7 years ago
- Scrubbing calculator.☆188Updated 7 years ago
- fangle creates interactive pages from plain text☆222Updated 11 years ago
- Haskell re-implementation of STOKE, the stochastic superoptimizer☆63Updated 5 years ago
- The Sentient Programming Language.☆82Updated 5 years ago