GitHub topics: call-by-push-value
ionathanch/CBPV
Lean 4 mechanization of assorted CBPV metatheory.
Language: Lean - Size: 164 KB - Last synced at: about 9 hours ago - Pushed at: about 10 hours ago - Stars: 2 - Forks: 0
gatlin/precursor-ts
A call-by-push-value language and interpreter you can embed in typescript / js apps.
Language: TypeScript - Size: 410 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 4 - Forks: 0
gatlin/precursor-site
source for the website for my precursor project
Language: JavaScript - Size: 440 KB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0
Champitoad/cbpv
A study of a simplified Call-By-Push-Value lambda-calculus in Coq.
Language: Coq - Size: 479 KB - Last synced at: over 2 years ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0
