call-by-push-value

There are 3 repositories under call-by-push-value topic.

gatlin/precursor-ts
A call-by-push-value language and interpreter you can embed in typescript / js apps.
Language:TypeScript5 3 240
Champitoad/cbpv
A study of a simplified Call-By-Push-Value lambda-calculus in Coq.
Language:Coq1 3 00
gatlin/precursor-site
source for the website for my precursor project
Language:JavaScript3 0