jspahrsummers / adt
Algebraic data types for Python (experimental, not actively maintained)
☆171Updated 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.☆216Updated 7 months ago
- Functional, composable, asynchronous, type-safe Python.☆150Updated last year
- Haskell language tools for Python☆157Updated 4 years ago
- Sum Types, aka Tagged Unions, for Python☆43Updated 3 years ago
- Extensible methods for Python a la Haskell's typeclasses.☆59Updated 11 months ago
- Python library to work with algebraic effects☆70Updated 4 years ago
- Supercharge your Python with parts of Lisp and Haskell.☆92Updated 4 months ago
- Missing features of fp in Python -- active fork of kachayev/fn.py☆151Updated last year
- Python pattern matching like functional languages.☆161Updated 3 years ago
- The easiest way to parse text in Python☆102Updated 2 months ago
- hyphen - access Haskell modules from Python☆95Updated 7 months ago
- A very minimal implementation of the core idea of Hypothesis☆133Updated 6 months ago
- A parser for Python 2.x and 3.x written in Haskell☆158Updated 7 months ago
- A namedtuple-style library for defining immutable sum types in Python.☆27Updated 3 years ago
- Easy and elegant parser combinators for Python. With awesome docs.☆380Updated last week
- PyMonad implements data structures typically available in pure functional or functional first programming languages like Haskell and F#. …☆201Updated 8 months ago
- A modern, extensible and well-documented prettyprinter.☆297Updated 2 months ago
- A Python backend for PureScript.☆122Updated 3 years ago
- A python lens library for manipulating deeply nested immutable structures☆319Updated last year
- Python backend for Idris (generates Python source, not bytecode).☆124Updated 7 years ago
- Python type hints are Turing complete.☆32Updated 2 years ago
- A programming language for the CPython VM.☆575Updated 4 years ago
- Types for Python☆86Updated 6 years ago
- Floskell is a flexible Haskell source code pretty printer.☆181Updated 6 months ago
- Up-to-date and maintained python bindings for dhall, a functional configuration language☆46Updated 2 months ago
- Phantom types for Python.☆207Updated this week
- functional data structures and utilities for python☆36Updated 5 years ago
- Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.☆239Updated last week
- A Haskell library for line input in command-line programs.☆227Updated this week
- Language Server for Idris2☆169Updated last month