Newcomer friendly project implementing a few oeis.org sequences.
☆27Nov 7, 2025Updated 11 months ago
Alternatives and similar repositories for oeis
Users that are interested in oeis are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Code to download, process, and analyse the Online Encyclopedia of Integer Sequences☆51Feb 2, 2025Updated last year
- Converts cargo check (and clippy) JSON output to the GitHub Action error format☆15Jun 17, 2024Updated 2 years ago
- Convert pixel art to cross-stitch patterns☆11May 3, 2019Updated 7 years ago
- A platform for formalizing OEIS sequences in Lean 4☆21Jun 10, 2026Updated 4 months ago
- A simple Python scraper and the resulting CSV file, which contains RGB hex color codes for each of the DMC embroidery floss colors.☆13Dec 13, 2017Updated 8 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Convert an RGB colour to it closest matching DMC thread for embroidery and cross-stitching☆16Jun 9, 2021Updated 5 years ago
- A consumer + rpc interface for asynchronous task execution☆17Updated this week
- SPBench: A Framework for Benchmarking Stream Processing Applications☆11Dec 16, 2025Updated 9 months ago
- p4 controller in Rust☆12Feb 22, 2021Updated 5 years ago
- ☆14Apr 5, 2023Updated 3 years ago
- Implementation of the Delta Language☆14Mar 18, 2024Updated 2 years ago
- $ pip install pyropes | This is an implementation of Rope/Chord data structure.☆14Sep 26, 2020Updated 6 years ago
- Statically-linked Go wrappers for FFTW 3☆11Nov 25, 2018Updated 7 years ago
- ☆14Jun 11, 2020Updated 6 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.
- Example project to demonstrate my practise on linux system library in Rust containing☆17Jun 3, 2023Updated 3 years ago
- PyDFix is a tool that helps detect and fix dependency errors that cause the unreproducibility of Python builds. PyDFix takes as input the…☆13Feb 7, 2023Updated 3 years ago
- Staged programming for Rust. Write type-safe proc macros and high-level APIs that generate efficient code.☆19Updated this week
- A parallel programming model for online applications with complex synchronization requirements.☆16Jun 8, 2022Updated 4 years ago
- Neighborhood beautification: Graph layout through message passing☆27Feb 23, 2026Updated 7 months ago
- Human-like theorem prover, inspired by robotone and developed in the Coq ecosystem.☆17May 6, 2022Updated 4 years ago
- Partition refinement☆16Oct 4, 2026Updated last week
- easy setup cross-platform chroots☆12Jan 31, 2013Updated 13 years ago
- Datasets used in the paper "Reward hacking behavior can generalize across tasks"☆16Aug 17, 2025Updated last year
- 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.
- Ready-made remote resource structures.☆14Mar 31, 2023Updated 3 years ago
- Repository for keeping track of changes to the main meta-package for OBS☆13Sep 16, 2026Updated 3 weeks ago
- A GUI designed to help cross-stitcher, by reducing/replacing the colours in a picture and displaying DMC equivalent (works best with pixe…☆20Nov 22, 2022Updated 3 years ago
- ☆11Mar 12, 2017Updated 9 years ago
- Proposal to add branch hinting functionality to WebAssembly☆18Jul 7, 2025Updated last year
- 🌀 A simple Go package for (un-)marshalling null-able JSON types☆21Jul 24, 2026Updated 2 months ago
- Python Braid Generator Package☆10Jul 23, 2021Updated 5 years ago
- A structured framework for defining, verifying and certifying AI systems.☆21Mar 11, 2025Updated last year
- Ocaml Linear Engine for JavaScript Regexes, implementing the algorithms described in Linear Matching of JavaScript Regular Expressions at…☆26Oct 1, 2026Updated last week
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- View file metadata information☆16Dec 1, 2021Updated 4 years ago
- An Alfred Wrapper for the TOD Rust App for quickly adding tasks to your Todoist Inbox using Todoist NLP☆16Sep 21, 2024Updated 2 years ago
- Yet another Rust MIR analysis tool☆16Sep 29, 2026Updated last week
- Manage isolated development environments☆22Jul 20, 2025Updated last year
- Fabric port of Mystical Agriculture☆10May 17, 2024Updated 2 years ago
- A caching framework for microservice applications☆24Apr 22, 2024Updated 2 years ago
- This PHP library implements a simple Hash Map with file-based storage. It uses a hashing function to calculate an offset, which determine…☆19Aug 8, 2026Updated 2 months ago