Some programming problems I have solved for fun and practice
☆33Aug 4, 2026Updated 2 months 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:
- Compile time fixed point scalars and n-dimensional arrays for C++17.☆12Feb 18, 2018Updated 8 years ago
- Command-Line SQLite3 Wrapper for text manipulation with SQL☆16Feb 9, 2017Updated 9 years ago
- Tcl interface to the Apache Kafka distributed messaging system☆12Sep 30, 2026Updated 2 weeks ago
- ☆13Jun 13, 2014Updated 12 years ago
- Experimental package that eventually became PyMC3 (https://github.com/pymc-devs/pymc3)☆15Jan 22, 2017Updated 9 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.
- 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.☆14Sep 21, 2026Updated 3 weeks ago
- Anonymous extensible records and variant types☆26Sep 1, 2021Updated 5 years ago
- Static code analysis using graph-theoretic techniques☆27May 29, 2022Updated 4 years ago
- Serialization component for the Asphalt framework☆11Updated this week
- Lock-free message passing over shared memory for a single producer and consumer☆11Nov 18, 2010Updated 15 years ago
- A Dependently Typed Esolang☆10Aug 4, 2017Updated 9 years ago
- Collection of notes for talks☆13Jan 6, 2024Updated 2 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.
- First-order automated theorem prover based on the tableau method☆19Jul 8, 2026Updated 3 months ago
- A self-hosting subset of git functionality in 500 lines☆13Aug 27, 2018Updated 8 years ago
- ☆12May 22, 2016Updated 10 years ago
- Explaining category theory by example☆10Jun 30, 2017Updated 9 years ago
- A web page with resources for teaching with formal methods and tools.☆14Apr 8, 2023Updated 3 years ago
- Centralized test reporting and monitoring service☆16Dec 27, 2022Updated 3 years ago
- A splaytree ADT written in C with a BSD license☆18Jun 18, 2020Updated 6 years ago
- ☆14Apr 17, 2016Updated 10 years ago
- LZB: LZ77 data compression and other utilities in pure Bash language☆16Oct 20, 2019Updated 6 years 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.
- Type safe SQL query combinator in haskell☆10Jun 20, 2020Updated 6 years ago
- Greenlet-based pseudo-synchronous coroutines for tornado☆16Mar 7, 2018Updated 8 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 5 years ago
- LuaJIT General Purpose Routines☆15Feb 11, 2021Updated 5 years ago
- playground for creating new statement and constructs in python using import hooks☆15Apr 1, 2024Updated 2 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
- egraphs-good website☆17Mar 10, 2026Updated 7 months ago
- Tool to monitor how busy an area is using Wi-Fi. Originally intended for Dropbox's Tuck Shop.☆18Aug 21, 2015Updated 11 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Simple spill-to-disk dictionary☆19May 24, 2016Updated 10 years ago
- Lthread C++11 binding☆12Nov 8, 2014Updated 11 years ago
- Numerical snippets & tests☆12Jan 5, 2026Updated 9 months ago
- Yet another EC2 instance metadata mocking service.☆17Feb 25, 2018Updated 8 years ago
- describe: A Descriptive Statistics Utility☆36Jan 17, 2014Updated 12 years ago
- Untyped Concatenative Calculus☆19Dec 25, 2021Updated 4 years ago
- Alternative UI for Open API (fka Swagger) specs☆17Nov 1, 2019Updated 6 years ago