loda-lang / loda-cpp
Runtime and miner for the LODA language written in C++
☆24Updated last month
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
- Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.☆18Updated last year
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 3 years ago
- Carpet fractal genetic algorithm☆12Updated 7 years ago
- A collection of lambda calculus interpreters and development tools☆14Updated 2 years ago
- Binary Lambda Calculus Virtual Machine☆52Updated last year
- Programming language for ternary computing☆30Updated 4 years ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 4 months ago
- 🐺 Husky is a lazy functional language similar to Haskell, but with a more conventional syntax☆14Updated 4 years ago
- implementation of OEIS sequences☆11Updated 8 years ago
- A C implementation of the Tsetlin Machine☆15Updated 6 years ago
- Java implementations of sequences in the OEIS☆61Updated this week
- A low-level virtual machine for mobile code☆12Updated 7 years ago
- Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…☆48Updated last month
- Binary rational numbers in Coq [maintainer=@herbelin]☆14Updated last year
- Quipu Programming Language☆19Updated 12 years ago
- Content of Online Encyclopedia of Integer Sequences (OEIS)☆76Updated this week
- 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
- Lower Size Bounds for Sorting Networks☆44Updated 4 years ago
- ☆18Updated 8 months ago
- An introduction to the basic ideas of commutative algebra☆17Updated 5 years ago
- A collection of awesome and self-documented m4 macros for GNU Autotools☆17Updated this week
- Various implementation of byte matrix multiplication☆25Updated 2 months ago
- A rethinking of the C time library☆10Updated last month
- Restructor Prototype☆21Updated 7 years ago
- Metamath verifier in Python☆38Updated 11 months ago
- Simulator of cellular automata on hyperbolic (Lobachevsky) plane, in browser.☆38Updated 7 years ago
- GUI for gdb, rr, perf, and more☆27Updated 6 months ago
- Library for creation of SAT instances.☆19Updated 2 years ago
- ISBL - Information Systems Base Language☆19Updated 10 years ago