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
- Variaous articles☆80Updated last year
- Creative Coding Environment☆126Updated 4 months ago
- An open source reimplementation of Benny Brodda's BETA in Python☆63Updated 5 years ago
- Block-style programming environment for multi agent system, based on MIT Scratch.☆126Updated 2 weeks ago
- Athena Regional Stability Simulation☆85Updated 8 years ago
- Some vrscript samples by John Carmack☆74Updated 5 years ago
- A proof-of-concept SWI-Prolog implementation of Web Prolog☆188Updated 4 years ago
- List of future of programming projects☆356Updated 7 months ago
- A programming language based on a 2D Hilbert curve grid☆89Updated 2 years ago
- What is hip? Tell me, tell me (if you think you know)☆110Updated 6 years ago
- Interpreter for a simple Lisp. Written in Prolog.☆145Updated last year
- I got mad flow.☆85Updated 7 years ago
- A Small Lisp in Forth☆156Updated 3 years ago
- Ranked Programming Extension for Racket☆54Updated 4 years ago
- ☆99Updated 3 years ago
- A wiki and web-services based development environment for Awelon project☆91Updated 5 years ago
- Natural Language Datalog☆129Updated 7 years ago
- A Prototype Debugging Tool for MIT Scheme☆32Updated 5 years ago
- Generate guitar tablatures using a constraint solver☆139Updated 4 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…☆89Updated last year
- Repo to track the evolution of notation in arts and sciences☆138Updated 2 years ago
- A Datalog-style database that enables programmers to represent facts using natural language☆51Updated 2 years ago
- 🌱 Grow delightful software☆255Updated 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 11 months ago
- Application of formal systems to model biological systems☆471Updated last year
- A collection of the thoughts of people like Doug Engelbart, Bret Victor, Ted Nelson, Alan Kay and other programming luminaries of our gen…☆39Updated 6 years ago
- A terse Prolog course☆41Updated 6 years ago
- Demo of a WAM Prolog implementation in Python☆74Updated last year
- [Mirror] A close reading of the μKanren paper.☆42Updated 2 years ago
- The Om programming language.☆172Updated 4 months ago