kayceesrk
CTO @tarides, @ocaml core developer, CS Professor with an interest in concurrency and correctness at all levels.
Tarides and IIT MadrasChennai, India
Pinned Repositories
cs3100_f19
CS3100: Paradigms of Programming at CSE IITM (Fall 2019)
cs3100_m20
CS3100: Paradigms of Programming at CSE IITM (Monsoon 2020)
ezirmin
An easy interface on top of the Irmin library.
multiMLton
MLton for scalable multicore architectures
ocaml-aeio
Asynchronous effect based IO
Quelea
A Haskell library for declarative programming over eventually consistent store (Cassandra).
domainslib
Parallel Programming over Domains
effects-examples
Examples to illustrate the use of algebraic effects in Multicore OCaml
ocaml-multicore
Multicore OCaml
ocaml5-tutorial
A hands-on tutorial on the new parallelism features in OCaml 5
kayceesrk's Repositories
kayceesrk/ezirmin
An easy interface on top of the Irmin library.
kayceesrk/cs3100_m20
CS3100: Paradigms of Programming at CSE IITM (Monsoon 2020)
kayceesrk/ocaml-aeio
Asynchronous effect based IO
kayceesrk/cs3100_f19
CS3100: Paradigms of Programming at CSE IITM (Fall 2019)
kayceesrk/cs3300_m22
CS3300 Compiler Design @ CSE IIT Madras
kayceesrk/cs6225_s21_iitm
Course Website for CS6225: Programs and Proofs @ IIT Madras
kayceesrk/delimcc_of_fxhandler
Delimcc primitives from OCaml 5 effect handlers
kayceesrk/mlton-zmq
Distributed MLton
kayceesrk/TFP17-system-effects
TFP 2017 Paper Repo for "Concurrent System Programming with Effect Handlers"
kayceesrk/kayceesrk.github.io
Personal website
kayceesrk/cs6225_s20_iitm
Course website for CS6225 Prorgams and Proofs @ IITM Spring 2020 edition
kayceesrk/fraplib
kayceesrk/ocaml_runtime_stats
kayceesrk/wasmfx
kayceesrk/code-snippets
Experiements
kayceesrk/debug-ocaml-GHA-failure
kayceesrk/experiment-with-ocaml-5
For playing around with OCaml 5.0
kayceesrk/libmprompt
Robust multi-prompt delimited control and effect handlers in C/C++
kayceesrk/materialize
The Streaming SQL Database powered by Timely Dataflow
kayceesrk/multicore-debug-macos
kayceesrk/ocaml
Read-only mirror of INRIA SVN
kayceesrk/ocaml-jst
OCaml plus Jane Street extensions
kayceesrk/ocaml-multicore
Multicore OCaml
kayceesrk/ocaml.org
The official OCaml website.
kayceesrk/ood
OCaml.org v3 data repository
kayceesrk/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
kayceesrk/probprog20
kayceesrk/runtime_events_tools
kayceesrk/tracy
C++ frame profiler
kayceesrk/code-of-conduct
Documents related to the Code of Conduct