loda-lang / loda-programsLinks
LODA Programs for Integer Sequences
☆36Updated 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++☆26Updated this week
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 3 years ago
- Quipu Programming Language☆20Updated 12 years ago
- ☆19Updated 2 years ago
- Java implementations of sequences in the OEIS☆64Updated this week
- Metamath verifier in Python☆40Updated last month
- Source of metamath book☆48Updated last year
- JavaScript MOOC simulations for the edX class Quantum Mechanics for Everyone provided by Georgetown University☆17Updated 7 years ago
- Rigorous computation of the endomorphism ring of a Jacobian☆11Updated this week
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆33Updated 2 months ago
- Terminal CLI to Mathics3☆59Updated 2 weeks ago
- Javascript implementation of Fractran☆14Updated 7 years ago
- Here we give programs that check if Turing machines halt or not.☆14Updated 4 months ago
- Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…☆47Updated 4 months ago
- mmj2 GUI Proof Assistant for the Metamath project☆75Updated 10 months ago
- Visualiser for basic geometric primitives and fractals in arbitrary-dimensional spaces☆42Updated 8 years ago
- P.D. Magnus' forallx logic textbook☆67Updated 4 months ago
- Various Futhark benchmark programs☆42Updated 2 months ago
- A superset of brainfuck with dynamic memory management.☆29Updated 4 years ago
- A place to put our 2018 Xena project UROP thoughts and programs.☆25Updated 5 years ago
- Busy Beaver deciders backed by Coq proof☆53Updated 5 months ago
- metamath proof enumerators and other things☆94Updated last year
- Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…☆22Updated this week
- ANNSER is A Neural Network Simulator for Education and Research.☆10Updated 8 years ago
- A code-golf language written in Mathematica☆20Updated 5 years ago
- Tim Button's open textbook on set theory☆39Updated last month
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated 2 years ago
- Metamath program - source code for the Metamath executable☆82Updated last week
- A toy Wolfram language interpreter.☆36Updated 9 months ago
- Intuitionistic Programming Language☆12Updated 11 years ago