The Open Problems Project
☆41Jun 19, 2025Updated 11 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:
- Automated Theorem Prover inspired by Aletheia. Claude Code for mathematicians.☆75Apr 20, 2026Updated last month
- Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)☆21Sep 29, 2025Updated 8 months ago
- LLMs in Futhark☆13Sep 1, 2025Updated 8 months ago
- Maintained fork of Peter Miller's UCSD P-System tools - Operating System☆13Nov 2, 2025Updated 6 months ago
- Utility class for working with multiple screens in Cocoa☆19Sep 5, 2011Updated 14 years ago
- 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.
- ☆13Oct 17, 2019Updated 6 years ago
- Old implementation of the MaxTract system for re-engineering mathematical PDF documents.☆13Jan 25, 2016Updated 10 years ago
- Swift library for Buffers, Arrays, Bits and Bytes.☆13Jul 23, 2022Updated 3 years ago
- Fork of Plan 9 meant for education. https://principia-softwarica.org/☆108Updated this week
- Prove formulas of Presburger Arithmetic☆12Oct 5, 2024Updated last year
- Simple TextEditor using TextKit 2. With all the basic features including Custom Lists, Indents, Undo Management etc☆11Jan 3, 2026Updated 4 months ago
- Repository for (for now) filing bug reports about PLAI.☆15Jul 5, 2025Updated 10 months ago
- Library for reading the Macintosh File System☆11May 7, 2016Updated 10 years ago
- Garbage collection for Rust inspired by CPython's gcmodule☆21May 30, 2025Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Clockwork: A Modular Arithmetic library for C++☆12May 1, 2026Updated 3 weeks 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
- Mirror of ftp://ftp.cs.uni-sb.de/formulae - "A Functional Description of TeX's Formula Layout"☆13Oct 15, 2015Updated 10 years ago
- ☆11Mar 28, 2022Updated 4 years ago
- Setting the font for CJK or Latin text separately.☆29Feb 22, 2016Updated 10 years ago
- Stronger types for a few Typed Racket operators☆11Jan 25, 2024Updated 2 years 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
- 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.
- OxCaml Parallelism☆42May 18, 2026Updated last week
- Git Mirror, and modern build of John R Chang and Chris Miner's memory app☆30Jul 18, 2025Updated 10 months ago
- Prime number in Swift☆15Mar 4, 2016Updated 10 years ago
- LIL: higher-order datastructures meet CLOS -- Paper published at ILC'2012☆22Oct 14, 2023Updated 2 years ago
- JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…☆16May 24, 2026Updated last week
- Simple implementation of ST LC type checker in Haskell☆13Apr 18, 2022Updated 4 years ago
- Mechanized baselines for various type system features☆18Apr 14, 2026Updated last month
- Mechanized proofs and example programs for the paper Type Inference Logics, published at OOPSLA24.☆11Apr 3, 2026Updated last month
- Home, sweet home☆31May 19, 2026Updated last week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Interpreter for a simple language☆12Apr 8, 2015Updated 11 years ago
- Emacs minor mode for drawing multi-character tokens as Unicode glyphs (lambda -> λ). A configurable replacement for pretty-mode and the l…☆42Sep 30, 2014Updated 11 years ago
- ☆17Apr 4, 2024Updated 2 years ago
- A list of known filetypes for the Apple II computer☆10Aug 2, 2020Updated 5 years ago
- A simple LZ77-based compression with fast decompression on 68K and other legacy hardware☆39May 9, 2016Updated 10 years ago
- YAFU's sieve of Eratosthenes in library form with standalone executable☆14Jun 3, 2024Updated last year
- A quick tour to *Data types à la carte* for reading group presentation.☆16Feb 7, 2023Updated 3 years ago