recursion schemes for cats; to iterate is human, to recurse, divine
- scala
- recursion-schemes
- functional-programming
Repository Index
86,076 visible repositories in the index
1–2 of 2 · Most stars
TScert: a sound core for TypeScript. An independent checker, whose soundness is proved in Lean, accepts a TypeScript function only with a proof.
- formal-verification
- lean4
- proof-carrying-code
- type-safety