dbravender / pfppLinks
Pure python functional programming
☆28Updated 15 years ago
Alternatives and similar repositories for pfpp
Users that are interested in pfpp are comparing it to the libraries listed below
Sorting:
- 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 12 years ago
- A Python 3 compiler that anyone can understand.☆67Updated 11 years ago
- Functional-style recursive pattern matching in Python. Crazy stuff.☆29Updated 9 years ago
- an attempt to implement miniKanren and microKanren in Python☆53Updated 11 years ago
- 301 moved permanently https://github.com/python-parsy/parsy☆42Updated 8 years ago
- Immutable Data Structures for Python☆76Updated 9 years ago
- A bytecode compiler for Python 3☆157Updated 5 years ago
- Algebraic data types for python☆22Updated 8 years ago
- Zipper data structure for python. Described by Huet, ported from clojure.☆24Updated last year
- Pattern matching for python☆218Updated 11 years ago
- A better python lambda syntax (`a = (x) > x`) based on runtime source rewriting☆46Updated 8 years ago
- A parser for Python 2.x and 3.x written in Haskell☆159Updated 3 months ago
- pattern matching for python☆25Updated 16 years ago
- A series of progressively more complex programming languages☆36Updated 11 years ago
- a python-like language with hindley-milner-like type system, which is compiled to c☆246Updated 4 years ago
- Property-based testing library for Python☆18Updated 2 years ago
- Types for Python☆87Updated 6 years ago
- A simple template engine inspired by jinja2☆23Updated 10 years ago
- Literal support for Pyrsistent data structures in Python☆130Updated 4 years ago
- Python backend for Idris (generates Python source, not bytecode).☆124Updated 7 years ago
- Python pattern matching like functional languages.☆160Updated 4 years ago
- A lazy specializing virtual machine for purely functional languages☆101Updated 7 years ago
- Sum Types, aka Tagged Unions, for Python☆44Updated 3 years ago
- a function parameter type checker; a json validator☆81Updated 10 years ago
- APL compiler written in Standard ML☆34Updated 4 years ago
- Python polymorphic functions done right☆18Updated 6 years ago
- A small and compact Python 3 library to enable syntactic macros at importing time☆22Updated 9 years ago
- Instantly search your Python error messages on the web.☆77Updated 6 years ago
- Scripting with Least Privilege☆110Updated 8 years ago