kayceesrk/TFP17-system-effects kayceesrk/TFP17-system-effects

  • Stars
    star
    5
  • Rank 2,861,937 (Top 57 %)
  • Language
    TeX
  • Created over 4 years ago
  • Updated about 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
kayceesrk/TFP17-system-effects
github

kayceesrk

Reviews

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

Repository Details

TFP 2017 Paper Repo for "Concurrent System Programming with Effect Handlers"

More Repositories

1

multiMLton

MLton for scalable multicore architectures
Standard ML
55
star
2

ezirmin

An easy interface on top of the Irmin library.
OCaml
45
star
3

cs3100_m20

CS3100: Paradigms of Programming at CSE IITM (Monsoon 2020)
Jupyter Notebook
34
star
4

ocaml-aeio

Asynchronous effect based IO
OCaml
33
star
5

Quelea

A Haskell library for declarative programming over eventually consistent store (Cassandra).
Haskell
18
star
6

cs3100_f19

CS3100: Paradigms of Programming at CSE IITM (Fall 2019)
Jupyter Notebook
17
star
7

ocaml15-eff

Examples for Algebraic Effects talk at OCaml'15 Workshop
OCaml
16
star
8

ocaml-tutorial

OCaml tutorial conducted at Abstraction 2019 (https://abstraction-iitm.surge.sh)
Jupyter Notebook
15
star
9

riscv-ocaml-cross

RISC-V OCaml cross compiler
Dockerfile
14
star
10

irmin-datatypes

A collection of functional, mergeable datatypes for Irmin
OCaml
12
star
11

cs6225_s21_iitm

Course Website for CS6225: Programs and Proofs @ IIT Madras
Coq
12
star
12

cs3300_m22

CS3300 Compiler Design @ CSE IIT Madras
Java
11
star
13

delimcc_of_fxhandler

Delimcc primitives from OCaml 5 effect handlers
OCaml
8
star
14

mlton-zmq

Distributed MLton
Standard ML
7
star
15

reify_reflect_concurrency

(Monadic) reflections on concurrency
OCaml
6
star
16

async-io-handler

Asynchronous IO with effect handlers
OCaml
5
star
17

mergeable-vector

Mergeable vectors with operational transformation
OCaml
5
star
18

httpaf

A high performance, memory efficient, and scalable web server written in OCaml
OCaml
5
star
19

slacklogger

Bot for logging Slack messages
OCaml
4
star
20

ocamlopt-afl

Fuzzing ocamlopt.opt
OCaml
4
star
21

kayceesrk.github.io

Personal website
HTML
4
star
22

wasmfx

OCaml
3
star
23

fraplib

Coq
3
star
24

ocaml_runtime_stats

OCaml
3
star
25

cs6225_s20_iitm

Course website for CS6225 Prorgams and Proofs @ IITM Spring 2020 edition
Coq
3
star
26

code-snippets

Experiements
OCaml
2
star
27

eff_delimcc_ocaml

Translations between Eff, Delimcc and Multicore OCaml
OCaml
2
star
28

Sting

An Optimizing Session Type Compiler for Java
Java
2
star
29

opam-cross-shakti

1
star
30

Z3_Haskell

Z3 Haskell bindings and extensions
Haskell
1
star
31

multicore-debug-macos

Shell
1
star
32

sml-effect-conc

Algebraic effect based concurrency library in SML
Standard ML
1
star
33

debug-ocaml-GHA-failure

Shell
1
star
34

opam-repo

Private OPAM repo for experiments
1
star