A small C++17 library inspired by Category Theory.
☆16Jan 4, 2023Updated 3 years ago
Alternatives and similar repositories for kitten
Users that are interested in kitten are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- std extensions library☆13Jul 23, 2017Updated 8 years ago
- A multi-level dataflow tracer for capturing I/O calls from workflows.☆21Apr 2, 2026Updated last week
- C++ library for writing short anonymous functions☆11Jul 31, 2017Updated 8 years ago
- ☆12Jan 4, 2023Updated 3 years ago
- Modern c ++17 library containing multicast delegate and event classes.☆14Sep 24, 2021Updated 4 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.
- Header-only pure C++11 library providing policy based caching functionality☆10Jan 12, 2019Updated 7 years ago
- Asynchronous I/O for HDF5☆24Feb 10, 2026Updated 2 months ago
- A task orient thread pool library for C++14 with cancellation and allocator support☆17Apr 26, 2024Updated last year
- ☆16Dec 22, 2019Updated 6 years ago
- Regular expression tools for .NET developers☆12Mar 28, 2026Updated 2 weeks ago
- ☆17Jan 3, 2025Updated last year
- Like std::duration_cast, but without the undefined behaviour☆17Apr 21, 2025Updated 11 months ago
- Dockerfile to build a Compiler Explorer Docker image☆16May 6, 2018Updated 7 years ago
- ☆10Nov 26, 2014Updated 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.
- Hierarchical statemachine library☆17Jan 7, 2026Updated 3 months ago
- lua api tutorial by SNH48-久寿川 from 像素软件☆12Sep 15, 2024Updated last year
- Visual Studio RC Text Bounds Checker☆12Feb 15, 2016Updated 10 years ago
- Ergonomic C++ Iterator interface for STL containers☆39Jan 4, 2023Updated 3 years ago
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
- ☆24Updated this week
- Library for proving propositions quantified over finite sets☆14Sep 21, 2022Updated 3 years ago
- Calculate allowed interactions in QED☆10Nov 2, 2022Updated 3 years ago
- git mirror of cvs.delorie.com:/cvs/djgpp☆13Nov 16, 2025Updated 4 months ago
- 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.
- "Kix": Expands upon the functionality of the existing Qt C++ Library☆20Feb 24, 2026Updated last month
- A generic Either type implementation for Rust☆14Jan 4, 2023Updated 3 years ago
- another c#-like property accessor for C++11 and above.☆16Nov 9, 2024Updated last year
- C++ concurrent programming library☆28Jun 19, 2024Updated last year
- LLM plugin to generate plugins for LLM☆13Dec 30, 2024Updated last year
- Images in terminals☆10May 27, 2022Updated 3 years ago
- UCI Datasets for Haskell☆11Mar 17, 2017Updated 9 years ago
- Struct-of-Arrays generator for C++ projects.☆60Aug 3, 2024Updated last year
- Higher Algebra with Opetopic Types☆16Mar 30, 2023Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Experiments with "reflexpr"☆11May 18, 2017Updated 8 years ago
- Ranges that didn't make C++20☆95Dec 9, 2024Updated last year
- Linear Types, Symmetric Monoidal Categories, and Tensors☆13Oct 14, 2025Updated 6 months ago
- Multi-Paradigm Programming with Modern C++, published by Packt☆25Jan 30, 2023Updated 3 years ago
- Header only associative linear container.☆43Sep 20, 2024Updated last year
- A constant-memory approximation of set membership☆25Jan 25, 2025Updated last year
- Formalization of category theory in Agda☆17Feb 20, 2023Updated 3 years ago