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/Quelea
A Haskell library for declarative programming over eventually consistent store (Cassandra).
kayceesrk/irmin-datatypes
A collection of functional, mergeable datatypes for Irmin
kayceesrk/mergeable-vector
Mergeable vectors with operational transformation
kayceesrk/async-io-handler
Asynchronous IO with effect handlers
kayceesrk/reify_reflect_concurrency
(Monadic) reflections on concurrency
kayceesrk/httpaf
A high performance, memory efficient, and scalable web server written in OCaml
kayceesrk/slacklogger
Bot for logging Slack messages
kayceesrk/eff_delimcc_ocaml
Translations between Eff, Delimcc and Multicore OCaml
kayceesrk/ocamlrun-wasm
OCamlrun WebAssembly - OCaml Bytecode Interpreter in WASM
kayceesrk/Z3_Haskell
Z3 Haskell bindings and extensions
kayceesrk/2048-tutorial
kayceesrk/eff
A functional programming language based on algebraic effect handlers
kayceesrk/effects-bibliography
A collaborative bibliography of work related to the theory and practice of computational effects
kayceesrk/empty_rope
Empty rope
kayceesrk/fedora-riscv-stage4
Used to build Fedora/RISC-V stage4 disk images
kayceesrk/flambda-task-force
kayceesrk/Frama-C-snapshot
Release snapshots of the Frama-C platform for source code analysis
kayceesrk/irmin
Irmin is a distributed database that follows the same design principles as Git
kayceesrk/jbuilder
A composable build system for OCaml
kayceesrk/Lambda
Lambda calculus interpreter in OCaml
kayceesrk/lt1
kayceesrk/lwt
Cooperative threading for OCaml.
kayceesrk/merge-ropes
Mergeable ropes
kayceesrk/ocaml-ci-scripts
Skeletons for CI scripts
kayceesrk/ocaml-cohttp
Very lightweight HTTP server using Lwt or Async
kayceesrk/ocaml-macaroons
A minimal reimplementation of libmacaroons in OCaml
kayceesrk/ocaml-websocket
Websocket library for Lwt
kayceesrk/ocaml-z3
kayceesrk/ppx_stage
Staged metaprogramming in stock OCaml
kayceesrk/variable-access-benchmark
Benchmarking various means of accessing global variables