loda-lang / loda-cppLinks
Runtime and miner for the LODA language written in C++
☆27Updated this 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☆36Updated this week
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 4 years ago
- A transistor-level logic simulator inspired by the Intel 4004 and Zachtronic's KOHCTPYKTOP, build with Rust + WASM☆33Updated 7 months ago
- Convergence verification of the Collatz problem☆70Updated this week
- Dogma: A modernized metalanguage with better expressiveness and binary grammar support☆65Updated 2 years ago
- Terminal CLI to Mathics3☆60Updated 2 months ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 11 months ago
- Carpet fractal genetic algorithm☆12Updated 8 years ago
- ☆18Updated last year
- A collection of lambda calculus interpreters and development tools☆16Updated 3 years ago
- implementation of OEIS sequences☆11Updated 8 years ago
- Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…☆48Updated last month
- fast combinations calculation in jax☆38Updated last year
- Various implementation of byte matrix multiplication☆26Updated 9 months ago
- Visualiser for basic geometric primitives and fractals in arbitrary-dimensional spaces☆43Updated 8 years ago
- Hutter Prize Submission 2021a: STARLIT + cmix☆101Updated 2 years ago
- A Tensor Language☆55Updated 4 years ago
- Implementations of the Are-we-fast-yet benchmark suite in Oberon, C++, C, Pascal, Micron and Luon☆40Updated this week
- Experiments with applying Fourier transofrms to various plane-filling curves and patterns☆66Updated 2 years ago
- A low-level virtual machine for mobile code☆12Updated 8 years ago
- Exploring the space of all possible programs☆27Updated 11 years ago
- Docker setup for to tie together a number of mathics libraries, and components: Mathics3, mathicsscript, Mathics-Django, etc. This is use…☆31Updated 3 weeks ago
- GitHub copy of the NTS/TeX source code from 2001☆31Updated 4 years ago
- Programming language for ternary computing☆31Updated 4 years ago
- 🦠 AD in less than 20 lines☆54Updated 4 years ago
- A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety☆16Updated 9 years ago
- CECS 342 Lab 4: Logic Languages with SWI-Prolog☆13Updated 3 years ago
- Autoregressive transformers in APL☆106Updated last month
- A web app that lets you play musical scales according to math equations☆70Updated 3 years ago
- yorick interpreted language☆82Updated 6 months ago