A namedtuple-style library for defining immutable sum types in Python.
☆27Apr 20, 2021Updated 4 years ago
Alternatives and similar repositories for sumtype
Users that are interested in sumtype are comparing it to the libraries listed below
Sorting:
- Type-level lenses using singletons because why not☆15Dec 19, 2018Updated 7 years ago
- A command-line utility for pulling code blocks out of markdown files.☆15Sep 19, 2021Updated 4 years ago
- Deep-embedded combinators for strategic rewriting.☆15Nov 24, 2021Updated 4 years ago
- Tagged union types and immutable records (product types) in Python☆11Jun 5, 2017Updated 8 years ago
- experimental computational medium and supporting tools☆23Feb 25, 2026Updated last week
- Debugger in the Trepan family for x-python☆17Oct 14, 2025Updated 4 months ago
- WebAssembly in Python.☆18Apr 16, 2025Updated 10 months ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆26Jan 10, 2014Updated 12 years ago
- Implementation of Lightweight Modular Staging (LMS) in Python☆48Apr 2, 2019Updated 6 years ago
- Algebraic data types for Python (experimental, not actively maintained)☆171May 25, 2021Updated 4 years ago
- One-pass Code Generation in V8 (Archive)☆20Aug 26, 2022Updated 3 years ago
- A ridiculous Python interpreter written—from scratch—in Rust.☆25Updated this week
- Replacing Python's type system.☆18Jul 7, 2025Updated 7 months ago
- ☆24Feb 26, 2023Updated 3 years ago
- ☆25Apr 13, 2022Updated 3 years ago
- A PEP to add a `@sealed` typing decorator to Python☆28Mar 23, 2024Updated last year
- Retrospective of Python compilation efforts☆66Apr 15, 2022Updated 3 years ago
- Python type hints are Turing complete.☆33Nov 24, 2022Updated 3 years ago
- sketches for egg: a flexible, high-performance e-graph library☆30Sep 25, 2025Updated 5 months ago
- Successor project: https://github.com/thautwarm/Quick-Backend☆24Apr 26, 2019Updated 6 years ago
- A from-scratch neural network and transformers library, with speeds rivaling PyTorch☆10Mar 16, 2025Updated 11 months ago
- Efficient, polymorphic Map Algebra in Haskell.☆38Feb 17, 2020Updated 6 years ago
- The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github…☆33Jul 20, 2021Updated 4 years ago
- Extends Pathlib to archives, images, remote filesystems, etc☆34Nov 23, 2021Updated 4 years ago
- A python script to walk the directory tree of a C/C++ project of embedded system to generate CMakeLists.txt files for building the execut…☆10May 6, 2022Updated 3 years ago
- Documents and other resources specifically related to my role as a Bluegiga FAE☆14Jun 11, 2013Updated 12 years ago
- Types for Python☆87Oct 10, 2018Updated 7 years ago
- Parse and validate forms in JSON format☆38Feb 2, 2026Updated last month
- Tools for rapid prototyping of DSL compilers☆90Jan 10, 2026Updated last month
- ☆10Jul 30, 2020Updated 5 years ago
- Vocal Prism — Privacy-first, local AI audio transcription for macOS (Whisper → CoreML, Apple Silicon‑optimized).☆27Jan 15, 2026Updated last month
- WorldPalette is a Maya plugin based on the 2015 SIGGRAPH paper, WorldBrush: Interactive Example-based Synthesis of Procedural Virtual Wor…☆11May 10, 2021Updated 4 years ago
- ☆15Feb 6, 2026Updated last month
- MVP for updated PEP 543 proposal☆14Feb 13, 2026Updated 3 weeks ago
- Live-code music in Haskell!☆34Dec 5, 2023Updated 2 years ago
- Runtime type information for JavaScript and TypeScript programs☆10Jun 16, 2024Updated last year
- Maven plugin that talks to docker-compose command-line interface☆13Feb 5, 2023Updated 3 years ago
- Text & sentiment analysis of WhatsApp chat data.☆10Feb 3, 2020Updated 6 years ago
- Use JSON Schema for type checking in Python☆41Mar 13, 2024Updated last year