lubieowoce / sumtype

Related projects: ⓘ

• radix / sumtypes
  Sum Types, aka Tagged Unions, for Python
  ☆42Updated 2 years ago
• orsinium-labs / eff
  Python library to work with algebraic effects
  ☆66Updated 3 years ago
• jspahrsummers / adt
  Algebraic data types for Python (experimental, not actively maintained)
  ☆172Updated 3 years ago
• tek / amino
  functional data structures and utilities for python
  ☆35Updated 5 years ago
• s-zeng / dhall-python
  Up-to-date and maintained python bindings for dhall, a functional configuration language
  ☆44Updated 11 months ago
• Technologicat / unpythonic
  Supercharge your Python with parts of Lisp and Haskell.
  ☆88Updated last year
• suned / pfun
  Functional, composable, asynchronous, type-safe Python.
  ☆149Updated 10 months ago
• tbarnetlamb / hyphen
  hyphen - access Haskell modules from Python
  ☆86Updated 2 months ago
• cyrus- / typy
  A fragmentary bidirectional type system as a Python library
  ☆53Updated 5 years ago
• dpiponi / Monad-Python
  A toy Python interpreter with monad comprehensions
  ☆54Updated 3 months ago
• DRMacIver / minithesis
  A very minimal implementation of the core idea of Hypothesis
  ☆123Updated 2 months ago
• JadenGeller / Guac
  Monadic do-notation in Python (requires pypy3)
  ☆19Updated 6 years ago
• ericgj / adt.py
  Tagged union types and immutable records (product types) in Python
  ☆11Updated 7 years ago
• tobgu / pyrthon
  Literal support for Pyrsistent data structures in Python
  ☆127Updated 3 years ago
• drhagen / parsita
  The easiest way to parse text in Python
  ☆98Updated 4 months ago
• qfpl / hpython
  Haskell language tools for Python
  ☆157Updated 4 years ago
• thejohnfreeman / python-typeclasses
  Extensible methods for Python a la Haskell's typeclasses.
  ☆58Updated 7 months ago
• sixty-north / python-transducers
  ☆55Updated 7 years ago
• SupraSummus / dhall-python
  Work in progress pure python dhall interpreter
  ☆26Updated 5 years ago
• ziman / idris-py
  Python backend for Idris (generates Python source, not bytecode).
  ☆124Updated 6 years ago
• mvitousek / reticulated
  Types for Python
  ☆85Updated 5 years ago
• correl / typesafe-monads
  ☆23Updated 3 years ago
• vaibhavsagar / notebooks
  Jupyter notebooks
  ☆57Updated 2 weeks ago
• evhub / coconut-prelude
  An implementation of Haskell's Prelude in Python using Coconut.
  ☆21Updated last month
• lortabac / versioning
  Type-safe data versioning.
  ☆98Updated last year
• azazel75 / macropy
  Macros in Python: quasiquotes, case classes, LINQ and more!
  ☆30Updated 4 years ago
• bjpop / language-python
  A parser for Python 2.x and 3.x written in Haskell
  ☆157Updated 3 months ago
• chrilves / raffiot.py
  Robust And Fast Functional IO Toolkit
  ☆15Updated 2 years ago
• OriRoth / python-typing-machines
  Python type hints are Turing complete.
  ☆29Updated last year
• e-wrks / edh
  Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++
  ☆28Updated 3 months ago