jspahrsummers / adt

Related projects: ⓘ

• sighingnow / parsec.py
  A universal Python parser combinator library inspired by Parsec library of Haskell.
  ☆214Updated 3 months ago
• drhagen / parsita
  The easiest way to parse text in Python
  ☆98Updated 4 months ago
• suned / pfun
  Functional, composable, asynchronous, type-safe Python.
  ☆149Updated 9 months ago
• ingolemo / python-lenses
  A python lens library for manipulating deeply nested immutable structures
  ☆308Updated 10 months ago
• lubieowoce / sumtype
  A namedtuple-style library for defining immutable sum types in Python.
  ☆27Updated 3 years ago
• tbarnetlamb / hyphen
  hyphen - access Haskell modules from Python
  ☆86Updated 2 months ago
• fnpy / fn.py
  Missing features of fp in Python -- active fork of kachayev/fn.py
  ☆150Updated last year
• qfpl / hpython
  Haskell language tools for Python
  ☆157Updated 4 years ago
• orsinium-labs / eff
  Python library to work with algebraic effects
  ☆66Updated 3 years ago
• bjpop / language-python
  A parser for Python 2.x and 3.x written in Haskell
  ☆157Updated 3 months ago
• radix / sumtypes
  Sum Types, aka Tagged Unions, for Python
  ☆42Updated 2 years ago
• thejohnfreeman / python-typeclasses
  Extensible methods for Python a la Haskell's typeclasses.
  ☆58Updated 7 months ago
• antonagestam / phantom-types
  Phantom types for Python.
  ☆194Updated this week
• grantjenks / python-pattern-matching
  Python pattern matching like functional languages.
  ☆162Updated 3 years ago
• pyos / dg
  A programming language for the CPython VM.
  ☆577Updated 4 years ago
• ziman / idris-py
  Python backend for Idris (generates Python source, not bytecode).
  ☆124Updated 6 years ago
• OriRoth / python-typing-machines
  Python type hints are Turing complete.
  ☆29Updated last year
• ddfisher / HaPy
  Haskell bindings for Python
  ☆99Updated 3 years ago
• jasondelaat / pymonad
  PyMonad implements data structures typically available in pure functional or functional first programming languages like Haskell and F#. …
  ☆193Updated 4 months ago
• Technologicat / unpythonic
  Supercharge your Python with parts of Lisp and Haskell.
  ☆88Updated last year
• python-parsy / parsy
  Easy and elegant parser combinators for Python. With awesome docs.
  ☆360Updated 4 months ago
• s-zeng / dhall-python
  Up-to-date and maintained python bindings for dhall, a functional configuration language
  ☆44Updated 11 months ago
• purescript-python / purescript-python
  A Python backend for PureScript.
  ☆119Updated 2 years ago
• dry-python / lambdas
  Write short and fully-typed lambdas where you need them.
  ☆263Updated 9 months ago
• tobgu / pyrthon
  Literal support for Pyrsistent data structures in Python
  ☆127Updated 3 years ago
• keithasaurus / koda
  Type-safe functional tools for Python.
  ☆98Updated last month
• quchen / prettyprinter
  A modern, extensible and well-documented prettyprinter.
  ☆293Updated 4 months ago
• DRMacIver / minithesis
  A very minimal implementation of the core idea of Hypothesis
  ☆123Updated 2 months ago
• dbrattli / Expression
  Pragmatic functional programming for Python inspired by F#
  ☆467Updated this week
• correl / typesafe-monads
  ☆23Updated 3 years ago