admk / patmat
Functional-style recursive pattern matching in Python. Crazy stuff.
☆29Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for patmat
- Pattern matching for python☆216Updated 10 years ago
- Literal support for Pyrsistent data structures in Python☆127Updated 3 years ago
- 301 moved permanently https://github.com/python-parsy/parsy☆42Updated 7 years ago
- Immutable Data Structures for Python☆75Updated 9 years ago
- an attempt to implement miniKanren and microKanren in Python☆53Updated 10 years ago
- A fragmentary bidirectional type system as a Python library☆52Updated 6 years ago
- 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
- Pointfree style support for Python☆40Updated 11 years ago
- ☆55Updated 7 years ago
- Pure python functional programming☆28Updated 14 years ago
- Minimalist dependency injection library for Python that embraces type annotations syntax☆54Updated 6 years ago
- Hy Monad Notation - a monad library for Hy☆54Updated 10 months ago
- Union types and some other functional-y stuff for Hy☆50Updated 8 years ago
- A simple IPython kernel for Hy☆46Updated 2 years ago
- Simple asyncio-based actors.☆38Updated 4 months ago
- Static optimizer specializing functions with guards for Python 3.6☆76Updated 5 years ago
- EPIC CUCUMBERS!☆30Updated 7 years ago
- A library for tracking program state☆15Updated 8 years ago
- Algebraic data types for python☆22Updated 7 years ago
- Osh (Object SHell) is a command-line and API toolkit combining cluster access, database access, and data slicing and dicing. Sort of like…☆56Updated 4 years ago
- Loghyc - a miniKanren implementation in Hy☆89Updated 4 years ago
- Function annotations for Hylang!☆11Updated 9 years ago
- Lazy evaluation graph library. See the branch https://github.com/akaihola/lusmu/tree/fix-terminology for a version matching the PyCon Fin…☆52Updated last month
- Toy interpreters for learning about the RPython Translation Toolchain☆15Updated 9 years ago
- Playing with recursion, trampolines etc.☆23Updated 10 years ago
- ☆201Updated last year
- Python pattern matching like functional languages.☆162Updated 3 years ago
- A Python library for defining struct-like classes☆24Updated 8 years ago
- Zipper data structure for python. Described by Huet, ported from clojure.☆23Updated 11 months ago