The Open Problems Project
☆41Jun 19, 2025Updated 8 months ago
Alternatives and similar repositories for topp
Users that are interested in topp are comparing it to the libraries listed below
Sorting:
- Prove formulas of Presburger Arithmetic☆11Oct 5, 2024Updated last year
- Maintained fork of Peter Miller's UCSD P-System tools - Operating System☆13Nov 2, 2025Updated 4 months ago
- The codebase that computed the Ninth Dedekind Number☆14Jan 18, 2026Updated last month
- JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…☆13Updated this week
- A quick tour to *Data types à la carte* for reading group presentation.☆16Feb 7, 2023Updated 3 years ago
- Open source library to handle integers of any size in C☆14Apr 11, 2023Updated 2 years ago
- Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)☆21Sep 29, 2025Updated 5 months ago
- A notional machine for the SMoL languages☆21Sep 12, 2023Updated 2 years ago
- A formal consistency proof of Quine's set theory New Foundations☆79Feb 25, 2026Updated last week
- A set of tools that make working with the Scala ecosystem even better.☆12Updated this week
- Plan✕ is a platform for creating and publishing digital planning services☆17Updated this week
- Structured BVA☆42Apr 26, 2024Updated last year
- An ergonomic, mobile-first, Prolog playground!☆31Sep 13, 2022Updated 3 years ago
- Implementations of the Are-we-fast-yet benchmark suite in Oberon, C++, C, Pascal, Micron and Luon☆68Feb 20, 2026Updated 2 weeks ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Feb 2, 2026Updated last month
- My personal site.☆10Feb 23, 2026Updated last week
- R package for the United Nations World Population Prospects 2024☆18Jun 24, 2025Updated 8 months ago
- This repository contains the Parasol processor, which enables next-generation privacy preserving applications. Users can run arbitrary co…☆11Feb 25, 2026Updated last week
- bayesPop R package☆11Feb 23, 2026Updated last week
- Actively maintained fork of Peter Miller's UCSD P-System tools - Virtual machine☆36Nov 2, 2025Updated 4 months ago
- Finds a Perfect Scramble on a 3x3 Rubik's Cube☆46Mar 3, 2024Updated 2 years ago
- A simple LZ77-based compression with fast decompression on 68K and other legacy hardware☆39May 9, 2016Updated 9 years ago
- It is just my own wiki website. Nothing personal there, so it's public.☆38Jan 19, 2025Updated last year
- Setoid type theory implementation☆40Aug 24, 2023Updated 2 years ago
- A probabilistic approximate DNF counter☆39Nov 30, 2025Updated 3 months ago
- Perl (XS) module implementing prime number utilities, including sieves☆50Updated this week
- A small Perl module to eliminate boilerplate overhead when using the Zabbix API☆11Jan 31, 2025Updated last year
- Lightweight cryptography☆14Nov 7, 2022Updated 3 years ago
- Swift library for Buffers, Arrays, Bits and Bytes.☆13Jul 23, 2022Updated 3 years ago
- Sources of the EuroProofNet web site.☆13Updated this week
- Additional media and software for use with PERQemu☆11Jul 8, 2025Updated 7 months ago
- Python platform for parallel Surrogate-Based Optimization☆12Nov 27, 2024Updated last year
- Pong game written in the boot sector☆38Jan 26, 2026Updated last month
- EmotionCircuits-LLM: A complete, reproducible framework for discovering and controlling emotion circuits in large language models.☆25Oct 20, 2025Updated 4 months ago
- CMake dependency tracking library☆13Feb 22, 2026Updated last week
- Library for reading the Macintosh File System☆11May 7, 2016Updated 9 years ago
- Symbian Utilities☆11Nov 7, 2016Updated 9 years ago
- A C++ template library for polynomials algebra over discrete integral domains☆11May 9, 2025Updated 9 months ago
- Direct transcription of an optimal control problem and resolution☆12Feb 27, 2026Updated last week