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☆37Updated this week
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 4 years ago
- A collection of lambda calculus interpreters and development tools☆16Updated 2 years ago
- ☆18Updated last year
- A low-level virtual machine for mobile code☆12Updated 7 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…☆47Updated this week
- Terminal CLI to Mathics3☆60Updated 2 weeks ago
- A basic implementation of the Small Primes Number-Theoretic Transform (NTT) multiplication algorithm.☆24Updated 7 years ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 9 months ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated 2 years ago
- 🦠 AD in less than 20 lines☆54Updated 4 years ago
- Superoptimizer using the z3 SMT solver☆17Updated 4 years ago
- (Original: code.google.com/p/pylinda) A Linda implementation in Python.☆12Updated 3 years ago
- Binary Lambda Calculus Virtual Machine☆55Updated last year
- Exploring the space of all possible programs☆27Updated 11 years ago
- GitHub copy of the NTS/TeX source code from 2001☆31Updated 4 years ago
- Cayley Dickson algebra implementation in python☆12Updated 6 years ago
- Carpet fractal genetic algorithm☆12Updated 7 years ago
- ☆30Updated 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 last week
- Debugger in the Trepan family for x-python☆17Updated this week
- Code to download, process, and analyse the Online Encyclopedia of Integer Sequences☆47Updated 7 months ago
- Lower Size Bounds for Sorting Networks☆46Updated 4 years ago
- Viznut's C-only GPT-2 implementation☆52Updated 3 years ago
- A C implementation of the Tsetlin Machine☆15Updated this week
- Fixed-point scalar and matrix multiplication library for SectorLISP☆14Updated 3 years ago
- Metamath verifier in Python☆40Updated 3 months ago
- ISBL - Information Systems Base Language☆20Updated 10 years ago
- ☆19Updated 8 years ago