A namedtuple-style library for defining immutable sum types in Python.
☆28Apr 20, 2021Updated 5 years ago
Alternatives and similar repositories for sumtype
Users that are interested in sumtype are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Algebraic data types for Python (experimental, not actively maintained)☆173May 25, 2021Updated 5 years ago
- One-pass Code Generation in V8 (Archive)☆20Aug 26, 2022Updated 4 years ago
- Type-level lenses using singletons because why not☆15Dec 19, 2018Updated 7 years ago
- Deep-embedded combinators for strategic rewriting.☆15Nov 24, 2021Updated 4 years ago
- Track your time with the Timeular cube and Hackaru☆10Sep 15, 2026Updated last month
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A Typst library for Tabler Icons, a set of over 5800 free MIT-licensed high-quality SVG icons.☆13Oct 6, 2026Updated 3 weeks ago
- Library to type check concourse configurations in dhall☆20Jul 8, 2021Updated 5 years ago
- Tagged union types and immutable records (product types) in Python☆11Jun 5, 2017Updated 9 years ago
- Implementation of Lightweight Modular Staging (LMS) in Python☆48Apr 2, 2019Updated 7 years ago
- Python type hints are Turing complete.☆33Nov 24, 2022Updated 3 years ago
- Additional promnesia Sources for my HPI modules☆13Jan 17, 2026Updated 9 months ago
- Small parsec-like parser combinators library with semi-automatic error recovery☆16Aug 16, 2024Updated 2 years ago
- Bazam.org is Shazam for books! Find any book by context, keyword, or id☆10Jan 28, 2021Updated 5 years ago
- A Shunting Yard implementation and Reverse Polish Notation calculator, written in Rust.☆15Mar 28, 2016Updated 10 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.
- 📈 All data from my life — location, health, work, play, and more — open sourced☆13Jul 5, 2022Updated 4 years ago
- ☆38Mar 30, 2020Updated 6 years ago
- A microKanren framework for implementing constraints.☆19Aug 13, 2026Updated 2 months ago
- a personal media (movies, tv episodes, video games, albums, listens) feed using HPI☆14Aug 5, 2026Updated 2 months ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆26Jan 10, 2014Updated 12 years ago
- Robust automated Node.js worker processes in the spirit of Erlang☆11Nov 28, 2019Updated 6 years ago
- Code supporting the RustLab 2023 Robotic Sumo Workshop☆10Nov 19, 2023Updated 2 years ago
- ☆16Dec 12, 2022Updated 3 years ago
- Diet tracker for the command line☆13Sep 20, 2026Updated last month
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- tiny experimental language for limited environments (> 64KB flash, 4KB ram)☆17Mar 8, 2023Updated 3 years ago
- Curated alternatives to Bitnami Helm charts with Artifact Hub stats, migration guides, and CI to validate additions.☆26Aug 21, 2025Updated last year
- A cargo subcommand to build documentation for development easier☆13Mar 16, 2020Updated 6 years ago
- A mod for Parkitect. Ride your favorite coasters and attractions with this cam!☆13Sep 8, 2017Updated 9 years ago
- Connecting vinyl records to the wider ecosystem through Generics☆12Feb 19, 2019Updated 7 years ago
- experimental computational medium and supporting tools☆24Oct 23, 2026Updated last week
- Access to pre-rendered General MIDI instrument soundfonts☆12Mar 18, 2026Updated 7 months ago
- ☆12Jul 8, 2021Updated 5 years ago
- Mock gRPC server to test your outgoing gRPC requests.☆18Feb 11, 2026Updated 8 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.
- GoTTY Docker image☆13Sep 30, 2016Updated 10 years ago
- A library for writing script filters for Alfred in Haskell☆10Jun 23, 2019Updated 7 years ago
- A tutorial for how to use Purescript's Foreign Generics library☆10Aug 8, 2018Updated 8 years ago
- Shorthand column notations for tables in Typst.☆19Jul 9, 2026Updated 3 months ago
- Awesome datalog libraries, tools and resources☆64Jan 3, 2020Updated 6 years ago
- Prolog Implementation in Python☆12Dec 28, 2017Updated 8 years ago
- Web Components Vector Icons 🚀🆕☆13Feb 24, 2018Updated 8 years ago