pkrumins / busy-beaverLinks
Implementation of a Turing Machine that runs the Busy Beaver programs.
☆20Updated 15 years ago
Alternatives and similar repositories for busy-beaver
Users that are interested in busy-beaver are comparing it to the libraries listed below
Sorting:
- All code examples from "The Little Prover" book☆23Updated 9 years ago
- Yet Another Scheme Interpreter using flex and bison☆50Updated 2 years ago
- Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.☆126Updated 12 years ago
- ☆50Updated 12 years ago
- Cellular automata search program☆26Updated 2 years ago
- an attempt to implement miniKanren and microKanren in Python☆52Updated 10 years ago
- All the ML code examples from the book "The Little MLer"☆87Updated 15 years ago
- Propositional calculus in Haskell☆11Updated 8 years ago
- Codes from (Codeforces, ICPC Live Archive, Project Euler, SPOJ BR, Topcoder, UVa ) problems.☆17Updated 5 years ago
- All the logic programming code examples from the book "The Reasoned Schemer"☆52Updated 15 years ago
- A simple APL neural network.☆12Updated 9 years ago
- An implementation of scheme that can call python modules☆21Updated 11 years ago
- Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin☆57Updated 16 years ago
- ☆70Updated 2 weeks ago
- World's dumbest fuzzer☆52Updated last year
- Different Implementations of Norvig's spellchecker☆38Updated 10 years ago
- ☆42Updated 9 years ago
- Assembly Programming Learning Platform☆27Updated 12 years ago
- My master's thesis, on the algebra of topological quantum computing☆20Updated 11 years ago
- R7RS compliant Scheme implementation in JavaScript (Work in Progress)☆18Updated 9 years ago
- git svn clone --stdlayoout https://lush.svn.sourceforge.net/svnroot/lush + suggestions + debianisation☆21Updated 12 years ago
- Julia Implementation of Unums☆42Updated 8 years ago
- Legacy: Planetary System is a math-enabled Web 3.0 information portal.☆79Updated 8 years ago
- stream processing library for formal power series and generating functions☆10Updated 4 years ago
- A toy Lisp interpreter and simple eval function☆146Updated 2 years ago
- Chess utilities for Common Lisp☆53Updated 2 years ago
- Exploration of the inner workings of Racket☆19Updated 8 years ago
- This repo keeps track of my codes, answers and thinkings when exploring books.☆31Updated last year
- A Lexical Analyzer Generator☆62Updated 5 months ago
- Learn Common Lisp in one month intervals (current period is November 27 - December 27 2018)☆32Updated 6 years ago