dhil/ocaml-multicont dhil/ocaml-multicont

  • Stars
    star
    35
  • Rank 750,836 (Top 15 %)
  • Language
    OCaml
  • License
    MIT License
  • Created almost 3 years ago
  • Updated about 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
dhil/ocaml-multicont
github

dhil

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

multi-shot continuations in OCaml

More Repositories

1

inf-thesis-latex-cls

A LaTeX Class for Informatics theses at The University of Edinburgh
TeX
24
star
2

phd-dissertation

A summary of my activities during the past four years
TeX
24
star
3

pthandlers

an encoding of affine effect handlers using pthreads
C
13
star
4

gocaml

a moral encoding of the control flow primitives of Go in OCaml using effect handlers
OCaml
8
star
5

h

an experimental basic imperative procedural language with effect handlers
Rust
6
star
6

hx

an effect handler-oriented programming language
OCaml
6
star
7

best-aalborg-songbook

BEST Aalborg Songbook
Makefile
4
star
8

t20

Triple 20: A domain specific language for kernel-to-kernel transformations.
Dart
4
star
9

generic-count

implementing generic count using undelimited continuations, delimited continuations, and effect handlers
OCaml
4
star
10

programming

Haskell
3
star
11

ocaml-libctrl

a playground library for various control abstractions coded on top of effect handlers
OCaml
3
star
12

msc-dissertation

MSc Dissertation repository
Makefile
2
star
13

links-ocaml-handlers-compiler-abstract

Extended abstract about the Links with effect handlers compiler
TeX
2
star
14

hat

Small concatenate (cat) clone written in Haskell.
Haskell
1
star
15

hank

a research programming language based on handlers
OCaml
1
star
16

llama-compiler

An example of interfacing with the backend of the OCaml compiler
OCaml
1
star
17

mandrilapp

HTML
1
star
18

aoc2023

an attempt to solve Advent of Code 2023 using the Links programming language
1
star
19

asus-zenfan

ASUS Zenbook fan driver for Linux
C
1
star
20

mandriljulekalender

Mandriljulekalender
JavaScript
1
star
21

lambda-eff-row

An interactive implementation of the lambda-eff-row calculus
OCaml
1
star