lubieowoce / sumtype
A namedtuple-style library for defining immutable sum types in Python.
☆27Updated 3 years ago
Alternatives and similar repositories for sumtype:
Users that are interested in sumtype are comparing it to the libraries listed below
- Sum Types, aka Tagged Unions, for Python☆43Updated 3 years ago
- Python library to work with algebraic effects☆72Updated 4 years ago
- Python bindings for dhall, a functional configuration language☆47Updated 3 months ago
- Algebraic data types for Python (experimental, not actively maintained)☆172Updated 3 years ago
- Functional, composable, asynchronous, type-safe Python.☆152Updated last year
- Supercharge your Python with parts of Lisp and Haskell.☆93Updated 5 months ago
- functional data structures and utilities for python☆36Updated 6 years ago
- Type-safe data versioning.☆98Updated last year
- A very minimal implementation of the core idea of Hypothesis☆135Updated 8 months ago
- An implementation of Haskell's Prelude in Python using Coconut.☆21Updated 7 months ago
- Work in progress pure python dhall interpreter☆27Updated 6 years ago
- Web front UI for interactive Haskell projects☆33Updated 4 years ago
- A fragmentary bidirectional type system as a Python library☆52Updated 6 years ago
- Idris, make back end, in 15 minutes, reusable, concise: https://bitbucket.org/thautwarm/ppl2020-idris-codegen-backend/src/master☆24Updated 4 years ago
- A Typed, Composable Database Query Language☆104Updated 4 years ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 4 years ago
- Haskell language tools for Python☆158Updated 4 years ago
- hyphen - access Haskell modules from Python☆96Updated 8 months ago
- The easiest way to parse text in Python☆102Updated 3 months ago
- Python backend for Idris (generates Python source, not bytecode).☆124Updated 7 years ago
- A monorepo template, using Nix, direnv and Bazel☆36Updated 4 years ago
- Fast and simple JSON encoding toolkit☆82Updated last year
- A magic typeclass that just does it☆124Updated 2 years ago
- Data centralization tool☆35Updated 4 years ago
- Example uses of linear types☆43Updated 4 years ago
- A Python backend for PureScript.☆122Updated 3 years ago
- Documentation for Concur☆65Updated 9 months ago
- This repository has moved to https://github.com/dhall-lang/dhall-haskell/tree/master/dhall-nix☆88Updated 5 years ago
- A build tool/package manager for C, configured with Dhall☆68Updated last year
- Tagged union types and immutable records (product types) in Python☆11Updated 7 years ago