LODA Programs for Integer Sequences
☆41Sep 17, 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Runtime and miner for the LODA language written in C++☆28Sep 10, 2026Updated last week
- Quantum information library for Maxima☆13May 10, 2018Updated 8 years ago
- ☆16May 22, 2026Updated 4 months ago
- British Square Engine (Analysis and Perfect AI Player)☆17Nov 4, 2020Updated 5 years ago
- ☆13May 21, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- OEIS爬虫☆15Dec 17, 2018Updated 7 years ago
- Collection of interpreters for esoteric programming languages☆14Jul 10, 2021Updated 5 years ago
- EQGRP: Replicating DarkPulsar, an DLL capable of hooking Security Package Method Tables on the Heap!☆15Oct 11, 2020Updated 5 years ago
- Standalone utility to encrypt files with ice encryption, that doesn't depend on Steam.☆10Aug 28, 2013Updated 13 years ago
- Tools for finding and analyzing Busy Beaver programs for Turing machines☆14Updated this week
- I have made the world's fastest CPU and GPU codes for experimentally testing the Collatz conjecture!☆20Jul 27, 2026Updated last month
- Randomly assign targets and guidelines for the Hitman "World of Assassination" trilogy of video games.☆10Aug 29, 2026Updated 3 weeks ago
- Assemble multiple Regular Expressions into a single RE☆15Aug 9, 2026Updated last month
- An easy-to-use, quick and "to the point" cheat sheet of the important definitions and theorems found within differential geometry, for us…☆11Jun 23, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- JavaScript library for converting LaTeX math into Maxima code☆16Jan 4, 2023Updated 3 years ago
- A programming language☆14Jan 24, 2015Updated 11 years ago
- Lots of tiny programs which are examples of things☆16Updated this week
- Generate taylored code for Differential Dynamic Programming (DDP) aka Iterative Linear Quadratic Gaussian (iLQG) solvers for finite time …☆15Mar 27, 2018Updated 8 years ago
- Major mode for Maxima☆21Jun 11, 2023Updated 3 years ago
- ☆21Sep 16, 2026Updated last week
- Perl class for direct graph data structures and algorithms☆23Mar 27, 2025Updated last year
- An Extremely Fast Compression Algorithm.☆17Sep 2, 2021Updated 5 years ago
- Programming in the C language course materials☆16May 12, 2026Updated 4 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- This Question type plugin for ILIAS is a port of STACK, originally created by Chris Sangwin. It provides the most advanced Learning Tool …☆17Sep 15, 2026Updated last week
- Examples, References.☆23Aug 31, 2026Updated 3 weeks ago
- 🔧 🎨 HelMA - Haskellish Esoteric Little Minimal Automaton for Esoteric Languages implemented in Haskell☆16Updated this week
- Book lucid interpreter written in python☆25Jul 8, 2019Updated 7 years ago
- Using very few experiments to efficiently learn an approximate model of an n-qubit quantum process.☆17Apr 15, 2023Updated 3 years ago
- ☆22Jan 19, 2023Updated 3 years ago
- An intensely interactive, graphical theorem prover based on natural deduction☆29Aug 1, 2014Updated 12 years ago
- ☆22Mar 22, 2024Updated 2 years ago
- A faster implementation of in-place, stable, worst-case O(n log n) sorting based on Andrey Astrelin's Grailsort☆17Dec 28, 2021Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Companion repo to store codes, assignments for B.Sc. (Hons) Computer Science Course (2019-2022) by University of Delhi☆19Jan 7, 2024Updated 2 years ago
- A Lean 4 formalization of Pólya enumeration theorem.☆21Jun 6, 2025Updated last year
- A generic 2D cellular automaton simulator☆25Mar 15, 2021Updated 5 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 8 years ago
- Metamath verifier in Python☆42Jun 7, 2025Updated last year
- Sample implementations of various numerical methods approached in the Curicular Unit "Métodos Numéricos" @MIEIC, FEUP☆10Sep 24, 2018Updated 7 years ago
- zsort is a collection of portable sorting algorithms in Common Lisp.☆29Apr 23, 2012Updated 14 years ago