Pampy: The Pattern Matching for Python you always dreamed of.
- python
- python3
- pattern-matching
- functional
Repository Index
70,234 visible repositories in the index
1–4 of 4 · Most stars
Formal verification for AI: a Lean 4 + Dafny proof checker that catches fake AI proofs (reward hacking), and verified recursive self-improvement (RSI) for coding agents. AI for math, physics and software engineering.
- proof-assistant
- lean4
- ai-agents
- ai-for-math
A Python module for decorators, wrappers and monkey patching.
First-class patterns for Clojure. Made with love, functions, and just the right amount of syntax.
- clojure
- pattern-matching
- functional-programming