The Open Problems Project
☆45Jun 19, 2025Updated last year
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:
- A collaborative community database for the open problems on the erdosproblems.com site as well as some MathOverflow problems☆13Oct 26, 2026Updated last week
- Better LaTeX that compiles to LaTeX☆29Oct 10, 2026Updated 3 weeks ago
- simple tool for making practice diffs in osu!☆16Dec 25, 2023Updated 2 years ago
- Examples of divide-and-conquer recursion in Coq, based on our POPL 2023 paper "A Type-Based Approach to Divide-and-Conquer Recursion in C…☆10Dec 16, 2024Updated last year
- Sans is a library which supports ios/android/windows/macos/linux using webviewjs and Apple's WKWebView api.☆17Aug 3, 2026Updated 3 months 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.
- A test suite for strong beta-reduction of the pure, untyped lambda calculus with ~1200 handwritten tests☆16Jun 8, 2026Updated 4 months ago
- Lecture notes for the "Randomised and Advanced algorithms" class developed for the University of Sydney.☆23Jan 24, 2026Updated 9 months ago
- Garbage collection for Rust inspired by CPython's gcmodule☆22May 30, 2025Updated last year
- Hypergraph tools☆12Jul 3, 2026Updated 4 months ago
- Play code with online playgrounds☆13Mar 22, 2020Updated 6 years ago
- 🍔 Chen’s Private Cuisine Menu☆10Jan 4, 2026Updated 10 months ago
- Library for reading the Macintosh File System☆11May 7, 2016Updated 10 years ago
- DeckCrypt 🃏 - Encoding data in the order of decks of playing cards☆12Jul 21, 2025Updated last year
- A utility for stroking paths in font glyphs (UFO .glif) written in Rust.☆29Oct 2, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Official Freerouting Client Library for Python☆14Oct 5, 2026Updated 3 weeks ago
- ☆13Mar 3, 2022Updated 4 years ago
- Exploring techniques for code refactoring with formal verification☆11Oct 27, 2024Updated 2 years ago
- A Redex tutorial with a focus on how to do work in Redex☆11Oct 21, 2024Updated 2 years ago
- Code from CS152 lectures☆14Apr 13, 2026Updated 6 months ago
- Experimental Build System for Swift☆17Dec 28, 2024Updated last year
- a custom language construction kit☆12Aug 21, 2021Updated 5 years ago
- Proof-of-concept, mostly safe multimethods in Racket☆12Sep 9, 2020Updated 6 years ago
- ☆17Feb 7, 2026Updated 8 months 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.
- ☆17Apr 4, 2024Updated 2 years ago
- A Coq plugin to disable positivity check, guard check and termination check☆16Nov 2, 2019Updated 7 years ago
- MCP Server for AI agents to interact with our Lean infrastructure☆37Sep 16, 2026Updated last month
- ☆13Dec 29, 2022Updated 3 years ago
- A very little language☆16Jul 1, 2023Updated 3 years ago
- Benchmark of common hash functions☆10Sep 15, 2019Updated 7 years ago
- Simple implementation of ST LC type checker in Haskell☆13Apr 18, 2022Updated 4 years ago
- Repository for (for now) filing bug reports about PLAI.☆17Jul 5, 2025Updated last year
- Clockwork: A Modular Arithmetic library for C++☆13May 1, 2026Updated 6 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Tensorflow 2.0 implementation of BSP-NET.☆11Dec 2, 2020Updated 5 years ago
- A version of Snake in Swift that prints to the console and tries to avoid mutable variables☆13Jan 25, 2019Updated 7 years ago
- A quick tour to *Data types à la carte* for reading group presentation.☆16Feb 7, 2023Updated 3 years ago
- Theorem Proving in Emacs☆12Aug 18, 2025Updated last year
- ☆11Mar 28, 2022Updated 4 years ago
- A list of known filetypes for the Apple II computer☆10Aug 2, 2020Updated 6 years ago
- "A system of logical instructions that an automaton can carry out and which causes the automaton to perform some organized task is called…☆15Jul 29, 2019Updated 7 years ago