radix / sumtypes

Related projects ⓘ

Alternatives and complementary repositories for sumtypes

• tek / amino
  functional data structures and utilities for python
  ☆35Updated 5 years ago
• lubieowoce / sumtype
  A namedtuple-style library for defining immutable sum types in Python.
  ☆27Updated 3 years ago
• cyrus- / typy
  A fragmentary bidirectional type system as a Python library
  ☆52Updated 6 years ago
• ziman / idris-py
  Python backend for Idris (generates Python source, not bytecode).
  ☆124Updated 7 years ago
• Technologicat / unpythonic
  Supercharge your Python with parts of Lisp and Haskell.
  ☆91Updated last month
• sixty-north / python-transducers
  ☆55Updated 7 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
• bjpop / language-python
  A parser for Python 2.x and 3.x written in Haskell
  ☆157Updated 5 months ago
• s-zeng / dhall-python
  Up-to-date and maintained python bindings for dhall, a functional configuration language
  ☆44Updated last year
• mvitousek / reticulated
  Types for Python
  ☆86Updated 6 years ago
• vmchale / cpkg
  A build tool/package manager for C, configured with Dhall
  ☆68Updated last year
• 0x65 / trampoline
  How to implement trampolines for tail calls in Python
  ☆31Updated 10 years ago
• KMahoney / squee
  A Typed, Composable Database Query Language
  ☆104Updated 3 years ago
• evhub / coconut-prelude
  An implementation of Haskell's Prelude in Python using Coconut.
  ☆21Updated 3 months ago
• qfpl / hpython
  Haskell language tools for Python
  ☆157Updated 4 years ago
• vaibhavsagar / notebooks
  Jupyter notebooks
  ☆58Updated this week
• jneen / parsy
  301 moved permanently https://github.com/python-parsy/parsy
  ☆42Updated 7 years ago
• tfausak / blunt
  Convert between pointfree and pointful Haskell expressions.
  ☆49Updated 8 years ago
• fieldstrength / probability
  Probabilistic computation in Idris
  ☆34Updated 5 years ago
• schell / steeloverseer
  A file watcher and development tool.
  ☆128Updated 8 months ago
• baruchel / continuation
  A module for handling continuations in Python
  ☆33Updated 8 years ago
• ddfisher / HaPy
  Haskell bindings for Python
  ☆101Updated 3 years ago
• tobgu / pyrthon
  Literal support for Pyrsistent data structures in Python
  ☆127Updated 3 years ago
• bmsherman / blog
  ☆41Updated 10 years ago
• YPares / porcupine
  Express parametrable, composable and portable data pipelines
  ☆89Updated 2 years ago
• manicmaniac / coconut.vim
  Vim syntax highlight and indent definition for coconut.
  ☆17Updated 7 years ago
• agentultra / postgresql-replicant
  A streaming PostgreSQL logical replication client library for Haskell
  ☆38Updated last year
• liamoc / patches-vector
  A library for patches (diffs) on vectors: composable, mergeable and invertible
  ☆54Updated 6 years ago
• kennknowles / python-rightarrow
  A language for describing Python programs with concise higher-order annotations like "(a -> a) -> [a] -> [a]" but don't you dare call the…
  ☆59Updated 11 years ago