loda-lang / loda-cppLinks
Runtime and miner for the LODA language written in C++
☆28Updated 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 3 years ago
- Carpet fractal genetic algorithm☆13Updated 8 years ago
- A C implementation of the Tsetlin Machine☆16Updated this week
- Terminal CLI to Mathics3☆60Updated last week
- Convergence verification of the Collatz problem☆74Updated this week
- Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…☆49Updated this week
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated last year
- fast combinations calculation in jax☆39Updated last year
- Javascript implementation of Fractran☆15Updated 8 years ago
- A low-level virtual machine for mobile code☆12Updated 8 years ago
- a simple x86/arm jit framework for c☆37Updated 3 months ago
- ☆18Updated last year
- Implementations of the Are-we-fast-yet benchmark suite in Oberon, C++, C, Pascal, Micron and Luon☆67Updated last week
- A transistor-level logic simulator inspired by the Intel 4004 and Zachtronic's KOHCTPYKTOP, build with Rust + WASM☆36Updated last month
- Inverse Laplace transform based on concentrated matrix-exponential functions☆41Updated last year
- Tokenizer, and operator and character tables, and conversion routines for the Wolfram Language.☆23Updated last week
- Viznut's C-only GPT-2 implementation☆54Updated 3 years ago
- Explorations in area of programming languages: concepts, typing, formal verification☆18Updated 4 years ago
- GitHub copy of the NTS/TeX source code from 2001☆32Updated 4 years ago
- implementation of OEIS sequences☆11Updated 9 years ago
- Code to download, process, and analyse the Online Encyclopedia of Integer Sequences☆50Updated last year
- Dogma: A modernized metalanguage with better expressiveness and binary grammar support☆65Updated 2 years ago
- JX is a C++ application framework and widget library (SDK) for use with the X Window System.☆32Updated 2 months ago
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆49Updated 2 weeks ago
- 🦠 AD in less than 20 lines☆54Updated 4 years ago
- A collection of awesome and self-documented m4 macros for GNU Autotools☆17Updated 10 months ago
- A web app that lets you play musical scales according to math equations☆70Updated 4 years ago
- Visualiser for basic geometric primitives and fractals in arbitrary-dimensional spaces☆43Updated 8 years ago