ckrause / lodaLinks
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
Sorting:
- A low-level virtual machine for mobile code☆12Updated 7 years ago
- An automated approach to the Collatz conjecture☆13Updated last year
- Lower Size Bounds for Sorting Networks☆45Updated 4 years ago
- An interpreter for concatenative combinators (i.e. Combinators as a functional language)☆10Updated 3 years ago
- A simple Brainfuck JIT written as a learning exercise.☆16Updated 5 years ago
- Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.☆18Updated last year
- Proof assistant for opetope and opetopic set derivation systems☆15Updated 5 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…☆30Updated 8 years ago
- A code-golf language written in Mathematica☆20Updated 5 years ago
- A simple and educational compiler for the SASL programming language☆23Updated 7 years ago
- MIRROR of https://codeberg.org/catseye/Tamsin : Somewhere between a meta-language, a programming language, and a rubbish lister☆16Updated last year
- Runtime and miner for the LODA language written in C++☆25Updated this week
- setlX is an interpreter for the high level programming-language SetlX (set language extended).☆27Updated 3 years ago
- A concise programming language that is fun to use☆16Updated 9 years ago
- Java implementations of sequences in the OEIS☆63Updated this week
- the Meta-II VM in C☆19Updated 9 years ago
- lang Thue + Regex☆14Updated 3 years ago
- ☆14Updated 4 years ago
- Manfred von Thun's Programming Language Joy☆16Updated 5 months ago
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆64Updated last year
- Javascript implementation of Fractran☆14Updated 7 years ago
- Restructor Prototype☆21Updated 8 years ago
- Futspace is a voxel based graphics engine implemented in Futhark☆9Updated 4 years ago
- A superset of brainfuck with dynamic memory management.☆28Updated 4 years ago
- Metamath verifier in Python☆39Updated 2 weeks ago
- metamath proof enumerators and other things☆94Updated 11 months ago
- An experimental language with compile time bounds checking☆15Updated 5 years ago
- a 666-byte, public domain SKI combinator calculus evaluator in C, minsky machines and other stuff☆11Updated 4 years ago
- A Small Combinator-Reduction System☆15Updated 4 years ago
- [alpha!] [dormant!] An advanced cellular-automaton-specification language that transpiles to Golly's.☆17Updated 8 months ago