ckrause / lodaLinks
LODA is an assembly language, a computational model and a tool for mining integer sequence programs.
☆21Updated 4 years ago
Alternatives and similar repositories for loda
Users that are interested in loda are comparing it to the libraries listed below
Sorting:
- LODA Programs for Integer Sequences☆37Updated this week
- Runtime and miner for the LODA language written in C++☆28Updated this week
- CSOM - C implementation of the Simple Object Machine Smalltalk☆10Updated 4 years ago
- A simple Brainfuck JIT written as a learning exercise.☆16Updated 6 years ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆16Updated 7 years ago
- the Meta-II VM in C☆21Updated 10 years ago
- Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…☆49Updated 2 weeks ago
- A revival of the TREE-META compiler-compiler.☆15Updated 7 years ago
- lang Thue + Regex☆15Updated 3 years ago
- Restructor Prototype☆21Updated 8 years ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆195Updated 3 weeks ago
- A revival of Terry Winograd's famous SHRDLU program, adapted to use on the web.☆38Updated 10 years ago
- an APL-style array calculator/interpreter in C based on the J-incunabulum, extended to allow propagating specifications a+2+a<3, more fun…☆29Updated 9 years ago
- A superset of brainfuck with dynamic memory management.☆30Updated 5 years ago
- interpreter devkit☆25Updated 6 years ago
- An interpreter for concatenative combinators (i.e. Combinators as a functional language)☆10Updated 4 years ago
- Binary Lambda Calculus evaluation engine written in Malbolge.☆17Updated 3 years ago
- An experimental language with compile time bounds checking☆14Updated 6 years ago
- Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.☆19Updated 2 years ago
- An arbitrary precision library written in C which supports fractional datum. Arbitraire is fully portable to all linux, mac and netbsd/fr…☆17Updated 2 years ago
- Collection of interpreters for esoteric programming languages☆15Updated 4 years ago
- For exploring http://www.ioccc.org/2012/tromp/hint.html☆35Updated 8 years ago
- Quipu Programming Language☆20Updated 13 years ago
- Automatically exported from code.google.com/p/ghilbert☆47Updated 8 years ago
- An encoding of the UK's self-isolation rules in Prolog☆34Updated 4 years ago
- A concise programming language that is fun to use☆16Updated 10 years ago
- Simple Neural Network Examples in 8 lines APL☆32Updated 2 years ago
- The Kent Retargetable occam Compiler☆46Updated 3 years ago
- A Small Combinator-Reduction System☆19Updated 5 years ago
- Tools for finding and analyzing Busy Beaver programs for Turing machines☆13Updated last week