kayceesrk/ezirmin

This repository has been archived on 16/Jul/2020
Stars
45
Rank 624,037 (Top 13 %)
Language
OCaml
License
ISC License
Created over 8 years ago
Updated over 4 years ago

kayceesrk/ezirmin

kayceesrk

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

An easy interface on top of the Irmin library.

multiMLton

MLton for scalable multicore architectures

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

code-snippets

eff_delimcc_ocaml

Translations between Eff, Delimcc and Multicore OCaml

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