ckrause / loda
LODA is an assembly language, a computational model and a tool for mining integer sequence programs.
☆21Updated 3 years ago
Alternatives and similar repositories for loda:
Users that are interested in loda are comparing it to the libraries listed below
- A revival of the TREE-META compiler-compiler.☆15Updated 6 years ago
- LODA Programs for Integer Sequences☆34Updated this week
- A low-level virtual machine for mobile code☆12Updated 7 years ago
- Pure relational SKI combinator calculus interpreter.☆11Updated 7 years ago
- An interpreter for concatenative combinators (i.e. Combinators as a functional language)☆10Updated 3 years ago
- Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.☆18Updated last year
- A simple Brainfuck JIT written as a learning exercise.☆16Updated 5 years ago
- SECD microprocessor reimplementation in VHDL☆35Updated 5 years ago
- For exploring http://www.ioccc.org/2012/tromp/hint.html☆32Updated 7 years ago
- MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail☆13Updated last year
- A bare-metal Forth for i386 machines.☆13Updated 5 years ago
- An implementation of Colin James' "Compiling Lambda Calculus"☆16Updated 2 years ago
- Automatically exported from code.google.com/p/ghilbert☆48Updated 7 years ago
- Compiler that has been integrated into Okami now☆24Updated 2 years ago
- An automated approach to the Collatz conjecture☆13Updated last year
- Manfred von Thun's Programming Language Joy☆16Updated 3 months ago
- Carpet fractal genetic algorithm☆12Updated 7 years ago
- An automated theorem prover that uses Büchi automata.☆41Updated 3 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
- Metamath verifier in Python☆38Updated last year
- Intuitionistic Programming Language☆11Updated 11 years ago
- metamath proof enumerators and other things☆93Updated 9 months ago
- ☆19Updated 2 years ago
- Runtime and miner for the LODA language written in C++☆24Updated this week
- Continued fraction library☆30Updated 4 years ago
- We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…☆32Updated 3 years ago
- A simple and educational compiler for the SASL programming language☆23Updated 7 years ago
- A Small Combinator-Reduction System☆15Updated 4 years ago
- a 666-byte, public domain SKI combinator calculus evaluator in C, minsky machines and other stuff☆11Updated 4 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 2 years ago