KC Sivaramakrishnan (kayceesrk)

kayceesrk

Geek Repo

Company:Tarides and IIT Madras

Location:Chennai, India

Home Page:https://kcsrk.info

Twitter:@kc_srk

Github PK Tool:Github PK Tool


Organizations
ocamllabs

KC Sivaramakrishnan's repositories

ezirmin

An easy interface on top of the Irmin library.

Language:OCamlLicense:ISCStargazers:45Issues:12Issues:5

cs3100_m20

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

Language:Jupyter NotebookLicense:MITStargazers:42Issues:4Issues:0

ocaml-aeio

Asynchronous effect based IO

Language:OCamlLicense:ISCStargazers:33Issues:5Issues:0

cs3100_f19

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

Language:Jupyter NotebookLicense:MITStargazers:18Issues:2Issues:1

cs3300_m22

CS3300 Compiler Design @ CSE IIT Madras

Language:JavaLicense:MITStargazers:12Issues:2Issues:0

cs6225_s21_iitm

Course Website for CS6225: Programs and Proofs @ IIT Madras

Language:CoqLicense:MITStargazers:12Issues:4Issues:0

delimcc_of_fxhandler

Delimcc primitives from OCaml 5 effect handlers

Language:OCamlLicense:ISCStargazers:8Issues:2Issues:1

mlton-zmq

Distributed MLton

Language:Standard MLLicense:MITStargazers:7Issues:3Issues:9

TFP17-system-effects

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

Language:TeXStargazers:5Issues:3Issues:0

kayceesrk.github.io

Personal website

Language:HTMLLicense:NOASSERTIONStargazers:4Issues:4Issues:4

code-snippets

Experiements

Language:OCamlLicense:ISCStargazers:3Issues:3Issues:0

cs6225_s20_iitm

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

Language:CoqLicense:MITStargazers:3Issues:6Issues:0
Language:CoqLicense:NOASSERTIONStargazers:3Issues:3Issues:0
Language:OCamlStargazers:3Issues:4Issues:0
Language:ShellLicense:MITStargazers:1Issues:2Issues:0

experiment-with-ocaml-5

For playing around with OCaml 5.0

Language:OCamlLicense:MITStargazers:1Issues:1Issues:0

libmprompt

Robust multi-prompt delimited control and effect handlers in C/C++

Language:CLicense:MITStargazers:1Issues:2Issues:0

materialize

The Streaming SQL Database powered by Timely Dataflow

Language:RustLicense:NOASSERTIONStargazers:1Issues:2Issues:0
Language:ShellLicense:MITStargazers:1Issues:3Issues:0

ocaml

Read-only mirror of INRIA SVN

Language:OCamlLicense:NOASSERTIONStargazers:1Issues:3Issues:0

ocaml-jst

OCaml plus Jane Street extensions

Language:OCamlLicense:NOASSERTIONStargazers:1Issues:1Issues:0

ocaml-multicore

Multicore OCaml

Language:OCamlLicense:NOASSERTIONStargazers:1Issues:3Issues:0

ocaml.org

The official OCaml website.

Language:HTMLLicense:NOASSERTIONStargazers:1Issues:1Issues:0

ood

OCaml.org v3 data repository

Language:OCamlLicense:NOASSERTIONStargazers:1Issues:1Issues:0

opam-repository

Main public package repository for OPAM, the source package manager of OCaml.

Language:DiffLicense:CC0-1.0Stargazers:1Issues:3Issues:0
Language:ClojureStargazers:1Issues:2Issues:0
Language:OCamlLicense:ISCStargazers:1Issues:1Issues:0

code-of-conduct

Documents related to the Code of Conduct

Stargazers:0Issues:1Issues:0

quick-shell

Spawn a shell by creating a tunnel to the container running GitHub Actions workflow

Stargazers:0Issues:0Issues:0