jspahrsummers / adt
Algebraic data types for Python (experimental, not actively maintained)
☆172Updated 3 years ago
Alternatives and similar repositories for adt:
Users that are interested in adt are comparing it to the libraries listed below
- A universal Python parser combinator library inspired by Parsec library of Haskell.☆218Updated 9 months ago
- Functional, composable, asynchronous, type-safe Python.☆152Updated last year
- Python library to work with algebraic effects☆72Updated 4 years ago
- Haskell language tools for Python☆158Updated 4 years ago
- hyphen - access Haskell modules from Python☆96Updated 8 months ago
- Missing features of fp in Python -- active fork of kachayev/fn.py☆151Updated last year
- A Python backend for PureScript.☆122Updated 3 years ago
- A python lens library for manipulating deeply nested immutable structures☆320Updated last year
- The easiest way to parse text in Python☆102Updated 3 months ago
- Extensible methods for Python a la Haskell's typeclasses.☆59Updated last year
- Python backend for Idris (generates Python source, not bytecode).☆124Updated 7 years ago
- A namedtuple-style library for defining immutable sum types in Python.☆27Updated 3 years ago
- Sum Types, aka Tagged Unions, for Python☆43Updated 3 years ago
- A parser for Python 2.x and 3.x written in Haskell☆158Updated 9 months ago
- A modern, extensible and well-documented prettyprinter.☆299Updated 4 months ago
- Phantom types for Python.☆210Updated 2 weeks ago
- Supercharge your Python with parts of Lisp and Haskell.☆93Updated 5 months ago
- A very minimal implementation of the core idea of Hypothesis☆135Updated 8 months ago
- Release with confidence, state-of-the-art property testing for Haskell.☆682Updated 2 months ago
- Write short and fully-typed lambdas where you need them.☆276Updated last year
- Python bindings for dhall, a functional configuration language☆47Updated 3 months ago
- A package manager for Idris☆188Updated 4 years ago
- 🕵️ Haskell STatic ANalyser☆578Updated 2 months ago
- A programming language for the CPython VM.☆576Updated 4 years ago
- Easy and elegant parser combinators for Python. With awesome docs.☆384Updated last month
- Python type hints are Turing complete.☆33Updated 2 years ago
- Smart, pythonic, ad-hoc, typed polymorphism for Python☆698Updated 3 months ago
- PyMonad implements data structures typically available in pure functional or functional first programming languages like Haskell and F#. …☆204Updated 10 months ago
- Statically typed, purely functional effects for Python.☆74Updated 9 months ago
- A fast, flexible, fused effect system for Haskell☆653Updated 2 months ago