KC Sivaramakrishnan's repositories
cs3100_m20
CS3100: Paradigms of Programming at CSE IITM (Monsoon 2020)
ocaml-aeio
Asynchronous effect based IO
cs3100_f19
CS3100: Paradigms of Programming at CSE IITM (Fall 2019)
cs3300_m22
CS3300 Compiler Design @ CSE IIT Madras
cs6225_s21_iitm
Course Website for CS6225: Programs and Proofs @ IIT Madras
delimcc_of_fxhandler
Delimcc primitives from OCaml 5 effect handlers
TFP17-system-effects
TFP 2017 Paper Repo for "Concurrent System Programming with Effect Handlers"
kayceesrk.github.io
Personal website
code-snippets
Experiements
cs6225_s20_iitm
Course website for CS6225 Prorgams and Proofs @ IITM Spring 2020 edition
experiment-with-ocaml-5
For playing around with OCaml 5.0
libmprompt
Robust multi-prompt delimited control and effect handlers in C/C++
materialize
The Streaming SQL Database powered by Timely Dataflow
ocaml-multicore
Multicore OCaml
opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
code-of-conduct
Documents related to the Code of Conduct
quick-shell
Spawn a shell by creating a tunnel to the container running GitHub Actions workflow