The Open Problems Project
☆41Jun 19, 2025Updated 9 months ago
Alternatives and similar repositories for topp
Users that are interested in topp are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Perl script for replacing dollars in LaTeX documents by their LaTeX versions.☆13Aug 24, 2021Updated 4 years ago
- The codebase that computed the Ninth Dedekind Number☆14Jan 18, 2026Updated 2 months ago
- ☆10Oct 15, 2021Updated 4 years ago
- Old implementation of the MaxTract system for re-engineering mathematical PDF documents.☆12Jan 25, 2016Updated 10 years ago
- Swift library for Buffers, Arrays, Bits and Bytes.☆13Jul 23, 2022Updated 3 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- Prove formulas of Presburger Arithmetic☆11Oct 5, 2024Updated last year
- Library for reading the Macintosh File System☆11May 7, 2016Updated 9 years ago
- Garbage collection for Rust inspired by CPython's gcmodule☆21May 30, 2025Updated 10 months ago
- 🍔 Chen’s Private Cuisine Menu☆10Jan 4, 2026Updated 2 months ago
- Clockwork: A Modular Arithmetic library for C++☆12Nov 18, 2025Updated 4 months ago
- Play code with online playgrounds☆13Mar 22, 2020Updated 6 years ago
- A PLT Redex implementation of Featherweight Java☆17Oct 8, 2012Updated 13 years ago
- ☆14Dec 29, 2022Updated 3 years ago
- Stronger types for a few Typed Racket operators☆11Jan 25, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- OxCaml Parallelism☆39Jan 15, 2026Updated 2 months ago
- Experimental Build System for Swift☆17Dec 28, 2024Updated last year
- A native Apple I (M6502) emulator for Mac OS X and iOS☆18Mar 24, 2014Updated 12 years ago
- a custom language construction kit☆12Aug 21, 2021Updated 4 years ago
- ☆22Feb 20, 2021Updated 5 years ago
- LIL: higher-order datastructures meet CLOS -- Paper published at ILC'2012☆22Oct 14, 2023Updated 2 years ago
- Simple implementation of ST LC type checker in Haskell☆13Apr 18, 2022Updated 3 years ago
- Mechanized baselines for various type system features☆18Mar 23, 2026Updated last week
- ☆44Nov 25, 2016Updated 9 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Mechanized proofs and example programs for the paper Type Inference Logics, published at OOPSLA24.☆11Aug 28, 2024Updated last year
- ☆15Jun 26, 2019Updated 6 years ago
- Home, sweet home☆31Mar 11, 2026Updated 2 weeks ago
- Interpreter for a simple language☆12Apr 8, 2015Updated 10 years ago
- JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…☆14Mar 23, 2026Updated last week
- A list of known filetypes for the Apple II computer☆10Aug 2, 2020Updated 5 years ago
- interactive λ-calculus for learning☆37Jun 1, 2019Updated 6 years ago
- YAFU's sieve of Eratosthenes in library form with standalone executable☆14Jun 3, 2024Updated last year
- ☆12Dec 31, 2022Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A quick tour to *Data types à la carte* for reading group presentation.☆16Feb 7, 2023Updated 3 years ago
- Projects to get started with Clash☆32Jan 14, 2026Updated 2 months ago
- Meta-programming utilities for Agda.☆20Aug 5, 2025Updated 7 months ago
- A simple LZ77-based compression with fast decompression on 68K and other legacy hardware☆39May 9, 2016Updated 9 years ago
- A formalization of System Fω in Agda☆20Dec 23, 2025Updated 3 months ago
- A very little language☆16Jul 1, 2023Updated 2 years ago
- A project that shows how the simple task of computing a Mandelbrot set can be split up across multiple threads☆14Apr 7, 2015Updated 10 years ago