radix / sumtypes
Sum Types, aka Tagged Unions, for Python
☆43Updated 3 years ago
Alternatives and similar repositories for sumtypes:
Users that are interested in sumtypes are comparing it to the libraries listed below
- functional data structures and utilities for python☆36Updated 6 years ago
- Python library to work with algebraic effects☆70Updated 4 years ago
- A fragmentary bidirectional type system as a Python library☆52Updated 6 years ago
- Up-to-date and maintained python bindings for dhall, a functional configuration language☆46Updated 2 months ago
- Python backend for Idris (generates Python source, not bytecode).☆124Updated 7 years ago
- Monadic do-notation in Python (requires pypy3)☆19Updated 7 years ago
- Supercharge your Python with parts of Lisp and Haskell.☆93Updated 4 months ago
- Types for Python☆87Updated 6 years ago
- A parser for Python 2.x and 3.x written in Haskell☆158Updated 8 months ago
- Haskell bindings for Python☆102Updated 3 years ago
- Jupyter notebooks☆58Updated 2 months ago
- An implementation of Haskell's Prelude in Python using Coconut.☆21Updated 6 months ago
- A namedtuple-style library for defining immutable sum types in Python.☆27Updated 3 years ago
- A script for running TLA+/TLC from the command line☆81Updated 3 years ago
- Algebraic data types for Python (experimental, not actively maintained)☆171Updated 3 years ago
- Type-safe data versioning.☆98Updated last year
- Haskell language tools for Python☆158Updated 4 years ago
- hyphen - access Haskell modules from Python☆96Updated 7 months ago
- A language for describing Python programs with concise higher-order annotations like "(a -> a) -> [a] -> [a]" but don't you dare call the…☆59Updated 11 years ago
- 301 moved permanently https://github.com/python-parsy/parsy☆42Updated 7 years ago
- Probabilistic computation in Idris☆34Updated 5 years ago
- A Typed, Composable Database Query Language☆104Updated 3 years ago
- A build tool/package manager for C, configured with Dhall☆68Updated last year
- Macros in Python: quasiquotes, case classes, LINQ and more!☆29Updated 4 years ago
- Tagged union types and immutable records (product types) in Python☆11Updated 7 years ago
- ☆41Updated 7 years ago
- The easiest way to parse text in Python☆102Updated 2 months ago
- Functional, composable, asynchronous, type-safe Python.☆151Updated last year
- Haskell JSON library☆27Updated 3 months ago
- Notes on space leaks☆100Updated 4 years ago