loda-lang / loda-programsLinks
LODA Programs for Integer Sequences
☆35Updated this week
Alternatives and similar repositories for loda-programs
Users that are interested in loda-programs are comparing it to the libraries listed below
Sorting:
- Runtime and miner for the LODA language written in C++☆25Updated last week
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 3 years ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆33Updated 2 months ago
- Quipu Programming Language☆20Updated 12 years ago
- Binary rational numbers in Coq [maintainer=@herbelin]☆14Updated last year
- We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…☆32Updated 4 years ago
- Java implementations of sequences in the OEIS☆63Updated this week
- A superset of brainfuck with dynamic memory management.☆29Updated 4 years ago
- ☆19Updated 2 years ago
- Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.☆18Updated 2 years ago
- Metamath verifier in Python☆40Updated last month
- mmj2 GUI Proof Assistant for the Metamath project☆75Updated 10 months ago
- A simple Brainfuck JIT written as a learning exercise.☆16Updated 5 years ago
- Javascript implementation of Fractran☆14Updated 7 years ago
- Various Futhark benchmark programs☆42Updated last month
- Rigorous computation of the endomorphism ring of a Jacobian☆11Updated 3 weeks ago
- Source of metamath book☆48Updated last year
- 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
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 7 months ago
- metamath proof enumerators and other things☆94Updated 11 months ago
- A solver for halting problem of Brainfuck programs☆17Updated 5 years ago
- Content of Online Encyclopedia of Integer Sequences (OEIS)☆86Updated this week
- Busy Beaver deciders backed by Coq proof☆53Updated 4 months ago
- Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…☆47Updated 3 months ago
- A place to put our 2018 Xena project UROP thoughts and programs.☆25Updated 5 years ago
- A fungeoid language where bends in the chain determine the instructions☆12Updated 3 years ago
- Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).☆22Updated 2 years ago
- Sources of Java version of SURFER (which uses JavaFX 1.3.1)☆33Updated 7 years ago
- Visualiser for basic geometric primitives and fractals in arbitrary-dimensional spaces☆42Updated 8 years ago
- knot theory and computational algebra software☆37Updated 11 years ago