loda-lang / loda-cpp
Runtime and miner for the LODA language written in C++
☆24Updated 3 weeks ago
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
- 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
- An automated approach to the Collatz conjecture☆13Updated last year
- A low-level virtual machine for mobile code☆12Updated 7 years ago
- ☆18Updated 8 months ago
- Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…☆47Updated last week
- Binary Lambda Calculus Virtual Machine☆52Updated last year
- A collection of lambda calculus interpreters and development tools☆14Updated 2 years ago
- Quipu Programming Language☆19Updated 12 years ago
- Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.☆18Updated last year
- Docker setup for to tie together a number of mathics libraries, and components: Mathics3, mathicsscript, Mathics-Django, etc. This is use…☆30Updated last month
- implementation of OEIS sequences☆11Updated 8 years ago
- Terminal CLI to Mathics3☆59Updated last month
- GitHub copy of the NTS/TeX source code from 2001☆30Updated 3 years ago
- An effort to transcribe Ken Iverson's "A Programming Language" book to LaTeX.☆18Updated 2 years ago
- visualizer to see which parts of an lzma compressed file took the most number of bytes☆31Updated 3 years ago
- Exercism exercises in GNU APL.☆14Updated 2 years ago
- Web editor for the LODA language. Also includes my experiments with Abstraction and Reasoning Corpus ARC.☆25Updated last month
- GUI for gdb, rr, perf, and more☆26Updated 6 months ago
- Tools for wisp: the Whitespace-to-Lisp preprocessor☆12Updated 4 months ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 3 months ago
- The A+ programming language from Morgan Stanley☆17Updated 10 years ago
- A C implementation of the Tsetlin Machine☆15Updated 6 years ago
- KLIC: Portable implementation of KL1. Forked from "https://www.ueda.info.waseda.ac.jp/software-j.html"☆14Updated last year
- ISBL - Information Systems Base Language☆19Updated 10 years ago
- A fork of Instagram's experimental performance oriented greenfield implementation of Python. It features small objects; a moving GC; hidd…☆40Updated last year
- Binary Lambda Calculus evaluation engine written in Malbolge.☆17Updated 2 years ago