devinmcgloin / theory
Interesting Papers and Ideas
☆83Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for theory
- Variaous articles☆80Updated last year
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 5 years ago
- Casual experiments with cellular automata☆76Updated 5 years ago
- A programming language based on a 2D Hilbert curve grid☆88Updated 2 years ago
- Creative Coding Environment☆126Updated 3 weeks ago
- An open source reimplementation of Benny Brodda's BETA in Python☆63Updated 5 years ago
- What is hip? Tell me, tell me (if you think you know)☆110Updated 6 years ago
- A way for academics and research students to stay on top of research publications (using machine learning)☆54Updated 6 years ago
- Haskell re-implementation of STOKE, the stochastic superoptimizer☆63Updated 5 years ago
- GUI for those who don't do GUI☆121Updated 4 years ago
- I got mad flow.☆85Updated 6 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 last year
- Block-style programming environment for multi agent system, based on MIT Scratch.☆124Updated last year
- arthur whitney's b interpreter translated into a more traditional flavor of C☆95Updated 6 years ago
- Generate guitar tablatures using a constraint solver☆139Updated 4 years ago
- Thoughts on adjoint, norm and such.☆165Updated last year
- Random fractal or the secret behind my tree☆93Updated 4 years ago
- 🌱 Grow delightful software☆249Updated 5 years ago
- List of future of programming projects☆355Updated 4 months ago
- A wiki and web-services based development environment for Awelon project☆91Updated 5 years ago
- a minimal vector programming language☆180Updated 4 years ago
- A static web application to explore and animate a TLA+ state graph.☆196Updated last year
- Direct Manipulation of Turtle Graphics☆37Updated 2 years ago
- Ranked Programming Extension for Racket☆54Updated 4 years ago
- A lisp-looking language with interpreter and compiler to JS☆28Updated 5 years ago
- Application of formal systems to model biological systems☆468Updated last year
- 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 11 months ago
- A Prototype Debugging Tool for MIT Scheme☆31Updated 5 years ago
- Randomly generated visual with randomly generated formula☆43Updated 5 years ago