Some programming problems I have solved for fun and practice
☆33Aug 4, 2026Updated 2 weeks ago
Alternatives and similar repositories for practice
Users that are interested in practice are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Formalization of Opetopes and Opetopic Sets in Agda☆18Dec 15, 2016Updated 9 years ago
- Compile time fixed point scalars and n-dimensional arrays for C++17.☆12Feb 18, 2018Updated 8 years ago
- Haskell bindings for Bitcoin RPC☆19Apr 7, 2015Updated 11 years ago
- CodeQL and Binary Ninja scripts to accompany the blog post☆11Feb 3, 2023Updated 3 years ago
- Forward messages to collaborators in East-oriented style.☆14Updated this week
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Serialization component for the Asphalt framework☆11Updated this week
- Library for simulating time progression in Python☆16Aug 16, 2025Updated last year
- ☆33Mar 19, 2015Updated 11 years ago
- An experimental test runner for LookML models.☆11Sep 17, 2021Updated 4 years ago
- Code and data necessary to reproduce heatmaps relating HN Submission time to submission score.☆13Jul 10, 2015Updated 11 years ago
- Collection of notes for talks☆13Jan 6, 2024Updated 2 years ago
- Expo project template for ReScript☆12Oct 5, 2020Updated 5 years ago
- A splaytree ADT written in C with a BSD license☆18Jun 18, 2020Updated 6 years ago
- LuaJIT General Purpose Routines☆15Feb 11, 2021Updated 5 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Explaining category theory by example☆10Jun 30, 2017Updated 9 years ago
- SML implementation of System T from PFPL.☆11Jun 28, 2017Updated 9 years ago
- Yet another haskell term rewriting library☆18Aug 27, 2025Updated 11 months ago
- Google Summer of Code projects☆14Nov 1, 2020Updated 5 years ago
- Gradescope Autograder Starter Template with C++ Tooling☆12Jan 20, 2020Updated 6 years ago
- Centralized test reporting and monitoring service☆16Dec 27, 2022Updated 3 years ago
- Spacemacs Layer for LiquidHaskell☆13Jun 10, 2017Updated 9 years ago
- The character sheets we've always wished for☆12Jan 27, 2023Updated 3 years ago
- LZB: LZ77 data compression and other utilities in pure Bash language☆16Oct 20, 2019Updated 6 years ago
- 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.
- Arena allocator for Python objects.☆13Apr 25, 2020Updated 6 years ago
- Sorted sets implementation in pure python☆10Dec 4, 2015Updated 10 years ago
- python client library☆10Feb 15, 2017Updated 9 years ago
- setlX is an interpreter for the high level programming-language SetlX (set language extended).☆30Sep 20, 2021Updated 4 years ago
- Slack bot in Elm running on AWS Lambda☆11Oct 28, 2015Updated 10 years ago
- TinyTimber is a C implementation of the concurrent reactive objects of Timber. For more information about the full Timber language, see:☆15Mar 6, 2012Updated 14 years ago
- playground for creating new statement and constructs in python using import hooks☆15Apr 1, 2024Updated 2 years ago
- Python "metamodules"☆14Aug 28, 2017Updated 8 years ago
- egraphs-good website☆18Mar 10, 2026Updated 5 months ago
- 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.
- Lua bindings for Google Performance Tools CPU Profiler☆16Nov 8, 2021Updated 4 years ago
- Tool to monitor how busy an area is using Wi-Fi. Originally intended for Dropbox's Tuck Shop.☆18Aug 21, 2015Updated 10 years ago
- Lthread C++11 binding☆12Nov 8, 2014Updated 11 years ago
- Higher-order FRP compiler☆17Oct 20, 2021Updated 4 years ago
- Last-seen sketch implementation in Go☆16Dec 15, 2020Updated 5 years ago
- Interactive, web-based visual math assistant☆14Apr 2, 2026Updated 4 months ago
- Numerical snippets & tests☆12Jan 5, 2026Updated 7 months ago