Discover @kayceesrk Open Source projects

KC Sivaramakrishnan (@kayceesrk)

kayceesrk

Stars
410
Global Rank 67,397 (Top 3 %)
Followers 375
Following 140
Registered almost 14 years ago
Most used languages

OCaml
45.5 %

Coq 9.1 %

Jupyter Notebook
9.1 %

Standard ML 9.1 %

Java
6.1 %

Shell
6.1 %

Haskell
6.1 %

Dockerfile
3.0 %

TeX
3.0 %

HTML
3.0 %
Location 🇮🇳 India
Country Total Rank 1,168
Country Ranking

Standard ML 1

Coq 2

OCaml
3

Haskell
21

Dockerfile
57

TeX
109

Jupyter Notebook
632

Shell
2,576

Java
3,062

HTML
8,567

multiMLton

MLton for scalable multicore architectures

ezirmin

An easy interface on top of the Irmin library.

cs3100_m20

CS3100: Paradigms of Programming at CSE IITM (Monsoon 2020)

Jupyter Notebook

ocaml-aeio

Asynchronous effect based IO

Quelea

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

cs3100_f19

CS3100: Paradigms of Programming at CSE IITM (Fall 2019)

Jupyter Notebook

ocaml15-eff

Examples for Algebraic Effects talk at OCaml'15 Workshop

ocaml-tutorial

OCaml tutorial conducted at Abstraction 2019 (https://abstraction-iitm.surge.sh)

Jupyter Notebook

riscv-ocaml-cross

RISC-V OCaml cross compiler

irmin-datatypes

A collection of functional, mergeable datatypes for Irmin

cs6225_s21_iitm

Course Website for CS6225: Programs and Proofs @ IIT Madras

cs3300_m22

CS3300 Compiler Design @ CSE IIT Madras

delimcc_of_fxhandler

Delimcc primitives from OCaml 5 effect handlers

mlton-zmq

Distributed MLton

reify_reflect_concurrency

(Monadic) reflections on concurrency

TFP17-system-effects

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

async-io-handler

Asynchronous IO with effect handlers

mergeable-vector

Mergeable vectors with operational transformation

httpaf

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

slacklogger

Bot for logging Slack messages

ocamlopt-afl

Fuzzing ocamlopt.opt

kayceesrk.github.io

Personal website

wasmfx

fraplib

ocaml_runtime_stats

cs6225_s20_iitm

Course website for CS6225 Prorgams and Proofs @ IITM Spring 2020 edition

eff_delimcc_ocaml

Translations between Eff, Delimcc and Multicore OCaml

code-snippets

Sting

An Optimizing Session Type Compiler for Java

opam-cross-shakti

Z3_Haskell

Z3 Haskell bindings and extensions

multicore-debug-macos

sml-effect-conc

Algebraic effect based concurrency library in SML

debug-ocaml-GHA-failure

opam-repo

Private OPAM repo for experiments