loda-lang / loda-cppLinks
Runtime and miner for the LODA language written in C++
☆27Updated 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☆37Updated last week
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 4 years ago
- Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…☆47Updated 4 months ago
- GitHub copy of the NTS/TeX source code from 2001☆31Updated 4 years ago
- ☆18Updated last year
- Various implementation of byte matrix multiplication☆26Updated 7 months ago
- A collection of lambda calculus interpreters and development tools☆16Updated 2 years ago
- implementation of OEIS sequences☆11Updated 8 years ago
- Exploring the space of all possible programs☆27Updated 11 years ago
- Terminal CLI to Mathics3☆59Updated last week
- Code to download, process, and analyse the Online Encyclopedia of Integer Sequences☆47Updated 6 months ago
- Convergence verification of the Collatz problem☆67Updated last week
- Viznut's C-only GPT-2 implementation☆52Updated 2 years ago
- Programming language for ternary computing☆30Updated 4 years ago
- Carpet fractal genetic algorithm☆12Updated 7 years ago
- ISBL - Information Systems Base Language☆20Updated 10 years ago
- Docker setup for to tie together a number of mathics libraries, and components: Mathics3, mathicsscript, Mathics-Django, etc. This is use…☆30Updated 2 weeks ago
- A transistor-level logic simulator inspired by the Intel 4004 and Zachtronic's KOHCTPYKTOP, build with Rust + WASM☆33Updated 5 months ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 9 months ago
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- Binary Lambda Calculus Virtual Machine☆55Updated last year
- Cayley Dickson algebra implementation in python☆12Updated 6 years ago
- CECS 342 Lab 4: Logic Languages with SWI-Prolog☆13Updated 3 years ago
- (Original: code.google.com/p/pylinda) A Linda implementation in Python.☆12Updated 3 years ago
- Simulator of cellular automata on hyperbolic (Lobachevsky) plane, in browser.☆38Updated 7 years ago
- Original Joy☆10Updated 8 months ago
- A low-level virtual machine for mobile code☆12Updated 7 years ago
- JX is a C++ application framework and widget library (SDK) for use with the X Window System.☆30Updated 2 months ago
- Visualiser for basic geometric primitives and fractals in arbitrary-dimensional spaces☆43Updated 8 years ago
- Experiments with applying Fourier transofrms to various plane-filling curves and patterns☆66Updated 2 years ago