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
- A namedtuple-style library for defining immutable sum types in Python.☆27Updated 4 years ago
- Python library to work with algebraic effects☆72Updated 4 years ago
- Python bindings for dhall, a functional configuration language☆47Updated 5 months ago
- How to implement trampolines for tail calls in Python☆32Updated 11 years ago
- A fragmentary bidirectional type system as a Python library☆52Updated 6 years 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
- Algebraic data types for Python (experimental, not actively maintained)☆173Updated 3 years ago
- Supercharge your Python with parts of Lisp and Haskell.☆95Updated 3 weeks ago
- Python backend for Idris (generates Python source, not bytecode).☆124Updated 7 years ago
- A parser for Python 2.x and 3.x written in Haskell☆158Updated 11 months ago
- Jupyter notebooks☆58Updated 5 months ago
- 301 moved permanently https://github.com/python-parsy/parsy☆42Updated 7 years ago
- Work in progress pure python dhall interpreter☆27Updated 6 years ago
- An implementation of Haskell's Prelude in Python using Coconut.☆21Updated 9 months ago
- A very minimal implementation of the core idea of Hypothesis☆136Updated 10 months ago
- Tagged union types and immutable records (product types) in Python☆11Updated 7 years ago
- Monadic do-notation in Python (requires pypy3)☆19Updated 7 years ago
- A script for running TLA+/TLC from the command line☆80Updated 4 years ago
- A Typed, Composable Database Query Language☆104Updated 4 years ago
- A build tool/package manager for C, configured with Dhall☆68Updated last year
- Haskell language tools for Python☆160Updated 5 years ago
- Haskell JSON library☆27Updated 6 months ago
- Algebraic data types for python☆22Updated 8 years ago
- custom type systems for python in prolog: http://alehander42.me/prolog_type_systems☆24Updated 8 years ago
- A streaming PostgreSQL logical replication client library for Haskell☆39Updated last year
- Express parametrable, composable and portable data pipelines☆89Updated 3 years ago
- Literal support for Pyrsistent data structures in Python☆129Updated 4 years ago
- A module for handling continuations in Python☆32Updated 8 years ago
- Stream editing with Haskell Megaparsec parsers☆79Updated 11 months ago