loda-lang / loda-cpp
Runtime and miner for the LODA language written in C++
☆24Updated this week
Alternatives and similar repositories for loda-cpp:
Users that are interested in loda-cpp are comparing it to the libraries listed below
- LODA Programs for Integer Sequences☆33Updated this week
- A collection of lambda calculus interpreters and development tools☆14Updated 2 years ago
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 3 years ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 3 months ago
- A revival of the TREE-META compiler-compiler.☆14Updated 6 years ago
- A C implementation of the Tsetlin Machine☆15Updated 6 years ago
- implementation of OEIS sequences☆11Updated 8 years ago
- Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.☆17Updated last year
- Various implementation of byte matrix multiplication☆25Updated last month
- GitHub copy of the NTS/TeX source code from 2001☆30Updated 3 years ago
- ☆21Updated 7 years ago
- Exploring the space of all possible programs☆27Updated 11 years ago
- Binary Lambda Calculus Virtual Machine☆49Updated last year
- Carpet fractal genetic algorithm☆12Updated 7 years ago
- Code to download, process, and analyse the Online Encyclopedia of Integer Sequences☆46Updated 2 weeks ago
- ☆18Updated 7 months ago
- A fungeoid language where bends in the chain determine the instructions☆12Updated 3 years ago
- Quipu Programming Language☆19Updated 12 years ago
- ☆16Updated 6 months ago
- A new city of code on a cosmopolitan foundation.☆20Updated 3 years ago
- A superset of brainfuck with dynamic memory management.☆27Updated 4 years ago
- C++ template library for floating point operations☆21Updated this week
- visualizer to see which parts of an lzma compressed file took the most number of bytes☆31Updated 3 years ago
- An automated approach to the Collatz conjecture☆13Updated last year
- unicode security guidelines for identifiers☆25Updated 2 months ago
- A simple Brainfuck JIT written as a learning exercise.☆15Updated 5 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
- Code examples for ForwardCom☆18Updated 6 months ago
- Tools for wisp: the Whitespace-to-Lisp preprocessor☆12Updated 4 months ago