Alternatives and similar repositories for patmat:

Users that are interested in patmat are comparing it to the libraries listed below

• Suor / patterns
  Pattern matching for python
  ☆218Updated 10 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
• zhemao / funktown
  Immutable Data Structures for Python
  ☆75Updated 9 years ago
• tobgu / pyrthon
  Literal support for Pyrsistent data structures in Python
  ☆129Updated 4 years ago
• cyrus- / typy
  A fragmentary bidirectional type system as a Python library
  ☆52Updated 6 years ago
• Foxboron / Hype
  Function annotations for Hylang!
  ☆11Updated 10 years ago
• llllllllll / adt
  Algebraic data types for python
  ☆22Updated 8 years ago
• h2non / siringa
  Minimalist dependency injection library for Python that embraces type annotations syntax
  ☆54Updated 7 years ago
• pyx / hymn
  Hy Monad Notation - a monad library for Hy
  ☆55Updated last year
• trivio / zipper
  Zipper data structure for python. Described by Huet, ported from clojure.
  ☆23Updated last year
• brandonwillard / loghyc
  Loghyc - a miniKanren implementation in Hy
  ☆88Updated 5 years ago
• sixty-north / python-transducers
  ☆56Updated 7 years ago
• dbravender / pfpp
  Pure python functional programming
  ☆28Updated 15 years ago
• robbielynch / ierlang
  An Erlang language kernel for IPython.
  ☆140Updated 6 years ago
• refi64 / hyskell
  Union types and some other functional-y stuff for Hy
  ☆51Updated 9 years ago
• baruchel / continuation
  A module for handling continuations in Python
  ☆32Updated 8 years ago
• mshroyer / pointfree
  Pointfree style support for Python
  ☆41Updated 12 years ago
• jneen / parsy
  301 moved permanently https://github.com/python-parsy/parsy
  ☆42Updated 7 years ago
• Suor / whatever
  Easy anonymous functions by partial application of operators
  ☆102Updated last year
• jtauber / pykanren
  an attempt to implement miniKanren and microKanren in Python
  ☆52Updated 10 years ago
• williame / obiwan
  a function parameter type checker; a json validator
  ☆81Updated 9 years ago
• dmlockhart / rpython-experiments
  Toy interpreters for learning about the RPython Translation Toolchain
  ☆15Updated 10 years ago
• lfex / py
  Distributed Python for the Erlang Ecosystem
  ☆221Updated 9 years ago
• hylang / hydiomatic
  The Hy Transformer
  ☆83Updated 6 years ago
• DRMacIver / glassbox
  A library for tracking program state
  ☆15Updated 8 years ago
• mudphone / Hywaii
  Hy on μKanren
  ☆19Updated 9 years ago
• biesnecker / cleveland
  Simple asyncio-based actors.
  ☆38Updated 10 months ago
• JadenGeller / Guac
  Monadic do-notation in Python (requires pypy3)
  ☆19Updated 7 years ago
• geophile / osh
  Osh (Object SHell) is a command-line and API toolkit combining cluster access, database access, and data slicing and dicing. Sort of like…
  ☆56Updated 5 years ago
• alehander92 / hatlog
  custom type systems for python in prolog: http://alehander42.me/prolog_type_systems
  ☆24Updated 8 years ago