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
- Javascript implementation of Fractran☆14Updated 8 years ago
- Original Joy☆10Updated 11 months ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆177Updated 2 weeks ago
- A revival of the TREE-META compiler-compiler.☆15Updated 7 years ago
- A low-level virtual machine for mobile code☆12Updated 8 years ago
- Restructor Prototype☆21Updated 8 years ago
- lang Thue + Regex☆15Updated 3 years ago
- Exploring the space of all possible programs☆27Updated 11 years ago
- A simple Brainfuck JIT written as a learning exercise.☆16Updated 6 years ago
- metamath proof enumerators and other things☆92Updated 3 weeks ago
- An interpreter for concatenative combinators (i.e. Combinators as a functional language)☆10Updated 4 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
- Programming language for ternary computing☆31Updated 4 years ago
- Here we give programs that check if Turing machines halt or not.☆14Updated 3 months ago
- the Meta-II VM in C☆20Updated 10 years ago
- Automatically exported from code.google.com/p/ghilbert☆47Updated 8 years ago
- Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…☆48Updated 3 weeks ago
- Cellular automata search program☆26Updated 3 years ago
- Manfred von Thun's Programming Language Joy☆16Updated 10 months ago
- A Forth implementation for the R216K8B Powder Toy computer.☆27Updated last year
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆16Updated 7 years ago
- A set of files that can be used to create a working version of an early version of the CLU programming language☆36Updated 3 years ago
- Simple Neural Network Examples in 8 lines APL☆32Updated 2 years ago
- CSOM - C implementation of the Simple Object Machine Smalltalk☆10Updated 4 years ago
- A small λ-calculus interpreter in C☆57Updated 11 years ago
- An experimental language with compile time bounds checking☆14Updated 6 years ago
- Runtime and miner for the LODA language written in C++☆28Updated this week
- UTF8 APL interpreter☆25Updated 8 years ago
- A programming language somewhat resembling cellular processes.☆34Updated 3 years ago