loda-lang / loda-cppLinks
Runtime and miner for the LODA language written in C++
☆25Updated last week
Alternatives and similar repositories for loda-cpp
Users that are interested in loda-cpp are comparing it to the libraries listed below
Sorting:
- LODA Programs for Integer Sequences☆35Updated last week
- 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 7 months ago
- Convergence verification of the Collatz problem☆66Updated 2 months ago
- A collection of lambda calculus interpreters and development tools☆15Updated 2 years ago
- Carpet fractal genetic algorithm☆12Updated 7 years ago
- A low-level virtual machine for mobile code☆12Updated 7 years ago
- Binary Lambda Calculus Virtual Machine☆55Updated last year
- DNA origami design tool☆37Updated last year
- A rethinking of the C time library☆11Updated 5 months ago
- Terminal CLI to Mathics3☆59Updated 5 months ago
- implementation of OEIS sequences☆11Updated 8 years ago
- Programming language for ternary computing☆30Updated 4 years ago
- Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…☆47Updated 3 months ago
- GitHub copy of the NTS/TeX source code from 2001☆30Updated 3 years ago
- A superset of brainfuck with dynamic memory management.☆29Updated 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
- 🐺 Husky is a lazy functional language similar to Haskell, but with a more conventional syntax☆15Updated 4 years ago
- ☆18Updated last year
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆70Updated 4 months ago
- A C implementation of the Tsetlin Machine☆15Updated 6 years ago
- Simulator of cellular automata on hyperbolic (Lobachevsky) plane, in browser.☆38Updated 7 years ago
- Docker setup for to tie together a number of mathics libraries, and components: Mathics3, mathicsscript, Mathics-Django, etc. This is use…☆30Updated 5 months 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 4 years ago
- ISBL - Information Systems Base Language☆19Updated 10 years ago
- Autoregressive transformers in APL☆101Updated 2 months ago
- A simple Brainfuck JIT written as a learning exercise.☆16Updated 5 years ago
- A minimal RISC-V RV32I disassembler☆56Updated 4 years ago
- Quipu Programming Language☆20Updated 12 years ago
- Lower Size Bounds for Sorting Networks☆46Updated 4 years ago