lubieowoce / sumtypeLinks
A namedtuple-style library for defining immutable sum types in Python.
☆27Updated 4 years ago
Alternatives and similar repositories for sumtype
Users that are interested in sumtype are comparing it to the libraries listed below
Sorting:
- Algebraic data types for Python (experimental, not actively maintained)☆173Updated 4 years ago
- Sum Types, aka Tagged Unions, for Python☆44Updated 3 years ago
- Python library to work with algebraic effects☆78Updated 4 years ago
- A very minimal implementation of the core idea of Hypothesis☆137Updated last year
- Python bindings for dhall, a functional configuration language☆48Updated 7 months ago
- Functional, composable, asynchronous, type-safe Python.☆151Updated last year
- Supercharge your Python with parts of Lisp and Haskell.☆95Updated 2 months ago
- Tagged union types and immutable records (product types) in Python☆11Updated 8 years ago
- A Typed, Composable Database Query Language☆104Updated 4 years ago
- Python backend for Idris (generates Python source, not bytecode).☆124Updated 7 years ago
- A python lens library for manipulating deeply nested immutable structures☆323Updated last year
- The easiest way to parse text in Python☆106Updated 2 months ago
- A parser for Python 2.x and 3.x written in Haskell☆159Updated last month
- functional data structures and utilities for python☆36Updated 6 years ago
- An implementation of Haskell's Prelude in Python using Coconut.☆21Updated 11 months ago
- Types for Python☆87Updated 6 years ago
- Monadic do-notation in Python (requires pypy3)☆19Updated 7 years ago
- hyphen - access Haskell modules from Python☆101Updated last year
- Idris, make back end, in 15 minutes, reusable, concise: https://bitbucket.org/thautwarm/ppl2020-idris-codegen-backend/src/master☆24Updated 5 years ago
- Haskell language tools for Python☆160Updated 5 years ago
- A toy Python interpreter with monad comprehensions☆54Updated last year
- Straightforward unification in Python that's extensible via generic functions.☆49Updated 10 months ago
- Jupyter notebooks☆58Updated 7 months ago
- A purely functional programming language with first class types☆60Updated 3 months ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 5 years ago
- Haskell bindings for Python☆102Updated 4 years ago
- A Python backend for PureScript.☆122Updated 3 years ago
- Missing features of fp in Python -- active fork of kachayev/fn.py☆153Updated 2 years ago
- Type-safe data versioning.☆98Updated last year
- ☆69Updated 2 years ago