Simple, elegant, Pythonic functional programming.
- python
- functional
- language
- functional-programming
Repository Index
47,133 repositories indexed
1–8 of 8 · Most stars
Vigil, the eternal morally vigilant programming language
Dataflow compiler for QNN inference on FPGAs
Easy and elegant parser combinators for Python. With awesome docs.
Interactive Coq Proofs in Vim
Phantom types for Python.
- phantom-types
- static-analysis
- mypy
- python
The repository host gives no description.
Jupyter kernel for Coq