GitHub topics: delimited-continuations
arrow-kt/arrow
Λrrow - The perfect companion for your Kotlin journey - Inspired by functional, data-oriented and concurrent programming
Language: Kotlin - Size: 55 MB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 6,304 - Forks: 453
valkyrie-language/valkyrie-document
A language about virtual kontinuation
Language: Mathematica - Size: 473 KB - Last synced at: 16 days ago - Pushed at: 4 months ago - Stars: 26 - Forks: 0
dhil/pthandlers
an encoding of affine effect handlers using pthreads
Language: C - Size: 95.7 KB - Last synced at: 13 days ago - Pushed at: over 2 years ago - Stars: 14 - Forks: 1
thefrontside/continuation
Delimited Continuations for JavaScript
Language: TypeScript - Size: 68.4 KB - Last synced at: 6 days ago - Pushed at: about 1 year ago - Stars: 31 - Forks: 3
thalesmg/campinas
Experimental delimited continuations library for Elixir using shift / reset
Language: Elixir - Size: 21.5 KB - Last synced at: 28 days ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0
tonyg/racket-effects
Delimited-continuation-based effects for Racket
Language: Racket - Size: 16.6 KB - Last synced at: 27 days ago - Pushed at: almost 6 years ago - Stars: 7 - Forks: 1
b-studios/idris-effekt
Delimited control effects in Idris
Language: Idris - Size: 6.84 KB - Last synced at: about 2 months ago - Pushed at: over 4 years ago - Stars: 3 - Forks: 0
willghatch/racket-chido-parse
Parsing With Delimited Continuations package for Racket
Language: Racket - Size: 578 KB - Last synced at: about 2 months ago - Pushed at: about 2 years ago - Stars: 11 - Forks: 1
hu-dwim/hu.dwim.delico
delimited continuations for Common Lisp
Language: Common Lisp - Size: 1.53 MB - Last synced at: about 1 year ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0
wongsingfo/shift-pl
Typed Delimited Continuation
Language: OCaml - Size: 254 KB - Last synced at: over 1 year ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0
Kamirus/fine-grained-shift0-dollar
Coq Formalisation of "A Fine-Grained Evaluation Strategy for Delimited-Control Operators shift0/dollar"
Language: Coq - Size: 532 KB - Last synced at: 7 days ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
Matheritasiv/control
Several control structures implemented by `call/cc` in scheme language
Language: Scheme - Size: 21.5 KB - Last synced at: about 1 year ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0
