KC Sivaramakrishnan

icon indicating a website link https://kcsrk.info icon indicating an email [email protected]

icon company IIT Madras and Tarides icon location Chennai, India icon location CS Prof, CTO @tarides, @ocaml core developer

Results 10 repositories owned by KC Sivaramakrishnan

cs3100_f19

19
Stars
6
Forks
Watchers

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

verified publisher icon kayceesrk

cs3100_m20

49
Stars
9
Forks
Watchers

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

verified publisher icon kayceesrk

ezirmin

45
Stars
5
Forks
Watchers

An easy interface on top of the Irmin library.

verified publisher icon kayceesrk

multiMLton

57
Stars
4
Forks
Watchers

MLton for scalable multicore architectures

verified publisher icon kayceesrk

ocaml-aeio

32
Stars
7
Forks
Watchers

Asynchronous effect based IO

verified publisher icon kayceesrk

ocaml-tutorial

15
Stars
2
Forks
Watchers

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

verified publisher icon kayceesrk

ocaml15-eff

15
Stars
1
Forks
Watchers

Examples for Algebraic Effects talk at OCaml'15 Workshop

verified publisher icon kayceesrk

Quelea

18
Stars
6
Forks
Watchers

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

verified publisher icon kayceesrk

river

20
Stars
3
Forks
Watchers

A planet (feed aggregator) for OCaml.

verified publisher icon kayceesrk

cs6225_s25_iitm

16
Stars
3
Forks
Watchers

Programs and Proofs -- Spring 2025 -- IITM

verified publisher icon kayceesrk