loda-lang / loda-programsLinks
LODA Programs for Integer Sequences
☆33Updated 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++☆24Updated last week
- Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.☆18Updated last year
- A solver for halting problem of Brainfuck programs☆17Updated 5 years ago
- 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
- Metamath verifier in Python☆39Updated 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
- Rigorous computation of the endomorphism ring of a Jacobian☆11Updated 2 months ago
- 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
- ☆19Updated 2 years ago
- knot theory and computational algebra software☆37Updated 10 years ago
- Source of metamath book☆48Updated last year
- Javascript implementation of Fractran☆14Updated 7 years ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆33Updated 3 weeks ago
- GitHub copy of the NTS/TeX source code from 2001☆30Updated 3 years ago
- ☆30Updated this week
- Java implementations of sequences in the OEIS☆63Updated this week
- Tag-based webview of LaTeX documents☆29Updated 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…☆21Updated this week
- mmj2 GUI Proof Assistant for the Metamath project☆75Updated 8 months ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 6 months ago
- metamath proof enumerators and other things☆93Updated 10 months ago
- Huzita-Hatori axioms for origami, implemented using 2D projective geometric algebra.☆12Updated 4 years ago
- A place to put our 2018 Xena project UROP thoughts and programs.☆25Updated 5 years ago
- Alexander Grothendieck's 1972 talk at CERN, on scientific research☆58Updated 7 months ago
- JavaScript MOOC simulations for the edX class Quantum Mechanics for Everyone provided by Georgetown University☆17Updated 7 years ago
- Fungrim: the Mathematical Functions Grimoire☆122Updated 3 years ago
- Visual environment for manipulation the lambda calculus expressions☆25Updated last year
- A Tensor Language☆55Updated 4 years ago
- Tokenizer, and operator and character tables, and conversion routines for the Wolfram Language.☆21Updated this week