LODA Programs for Integer Sequences
☆38Feb 27, 2026Updated 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++☆28Feb 19, 2026Updated last week
- ☆25Jan 27, 2026Updated last month
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Aug 23, 2021Updated 4 years ago
- implementation of OEIS sequences☆11Nov 30, 2016Updated 9 years ago
- Quantum information library for Maxima☆13May 10, 2018Updated 7 years ago
- Tools for finding and analyzing Busy Beaver programs for Turing machines☆14Updated this week
- The 99 programming language☆14Sep 16, 2012Updated 13 years ago
- On-Line Encyclopedia of Integer Sequences gem☆17Feb 22, 2013Updated 13 years ago
- OEIS爬虫☆14Dec 17, 2018Updated 7 years ago
- An implementation of BBP through Bellard's formula to calculate the nth digit of Pi.☆13Jun 11, 2013Updated 12 years ago
- A programming language☆14Jan 24, 2015Updated 11 years ago
- Java implementations of sequences in the OEIS☆70Updated this week
- Geometric Algebra using wxMaxima (GAwxM)☆13Oct 14, 2025Updated 4 months ago
- I have made the world's fastest CPU and GPU codes for experimentally testing the Collatz conjecture!☆18May 21, 2024Updated last year
- Old DOS 3D modelling program written in Pascal & Assembler☆21Jun 16, 2021Updated 4 years ago
- Book lucid interpreter written in python☆24Jul 8, 2019Updated 6 years ago
- ☆22Jan 19, 2023Updated 3 years ago
- Code to download, process, and analyse the Online Encyclopedia of Integer Sequences☆50Feb 2, 2025Updated last year
- Zomes are polar zonohedron domes, made from rhombi.☆32Oct 14, 2021Updated 4 years ago
- A super simple web interface to perform blind tests on LLM outputs.☆29Mar 9, 2024Updated last year
- Content of Online Encyclopedia of Integer Sequences (OEIS)☆118Updated this week
- Newcomer friendly project implementing a few oeis.org sequences.☆27Nov 7, 2025Updated 3 months ago
- A visual programming language, evaluated as a cellular automaton☆64Feb 3, 2026Updated last month
- Python term rewriting☆30Feb 14, 2013Updated 13 years ago
- El repositorio de Mis cursos☆18Updated this week
- A desktop application that allows you to record audio from specific applications on Linux. Built with Deno, Svelte, and WebView.☆17Updated this week
- Specification of the Cedille Core language☆36Jul 21, 2020Updated 5 years ago
- Search comments and highlights annotations in PDF documents.☆12May 4, 2023Updated 2 years ago
- DefCon 26 Badge Hacking☆38Aug 16, 2018Updated 7 years ago
- Grammatical parsers - combinator library for parsing general context-free grammars☆45Jan 23, 2026Updated last month
- A blueprint for next-gen AI. Project Infinity uses a token-efficient, Codified Agent Protocol to create specialized, secure, and imaginat…☆25Oct 2, 2025Updated 5 months ago
- Programs in Cognitive Choice Modeling Book☆11Sep 5, 2021Updated 4 years ago
- JSXGraph-based dynamic and interactive images in Moodle STACK questions without even touching JavaScript☆11Feb 20, 2026Updated last week
- Cuda Miner for BeamHash (Equihash 150,5)☆13Jan 16, 2019Updated 7 years ago
- Metamath verifier in Python☆42Jun 7, 2025Updated 8 months ago
- BLISS-M compiler☆42Sep 15, 2024Updated last year
- C-- compiler upstream☆43Sep 22, 2020Updated 5 years ago
- 🎮 Real-time game subtitle translator with AI-powered OCR. Context-aware translation for 20+ languages. Free offline models + dirt cheap …☆32Feb 20, 2026Updated last week
- Latex template for VNU-UET Student thesis in Vietnamese.☆13Mar 18, 2023Updated 2 years ago