kayceesrk/cs6225_s20_iitm kayceesrk/cs6225_s20_iitm

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language Coq
  • License
    MIT License
  • Created about 5 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
kayceesrk/cs6225_s20_iitm
github

kayceesrk

Reviews

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

Repository Details

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

More Repositories

1

multiMLton

MLton for scalable multicore architectures
Standard ML
55
star
2

ezirmin

An easy interface on top of the Irmin library.
OCaml
45
star
3

cs3100_m20

CS3100: Paradigms of Programming at CSE IITM (Monsoon 2020)
Jupyter Notebook
34
star
4

ocaml-aeio

Asynchronous effect based IO
OCaml
33
star
5

Quelea

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

cs3100_f19

CS3100: Paradigms of Programming at CSE IITM (Fall 2019)
Jupyter Notebook
17
star
7

ocaml15-eff

Examples for Algebraic Effects talk at OCaml'15 Workshop
OCaml
16
star
8

ocaml-tutorial

OCaml tutorial conducted at Abstraction 2019 (https://abstraction-iitm.surge.sh)
Jupyter Notebook
15
star
9

riscv-ocaml-cross

RISC-V OCaml cross compiler
Dockerfile
14
star
10

irmin-datatypes

A collection of functional, mergeable datatypes for Irmin
OCaml
12
star
11

cs6225_s21_iitm

Course Website for CS6225: Programs and Proofs @ IIT Madras
Coq
12
star
12

cs3300_m22

CS3300 Compiler Design @ CSE IIT Madras
Java
11
star
13

delimcc_of_fxhandler

Delimcc primitives from OCaml 5 effect handlers
OCaml
8
star
14

mlton-zmq

Distributed MLton
Standard ML
7
star
15

reify_reflect_concurrency

(Monadic) reflections on concurrency
OCaml
6
star
16

TFP17-system-effects

TFP 2017 Paper Repo for "Concurrent System Programming with Effect Handlers"
TeX
5
star
17

async-io-handler

Asynchronous IO with effect handlers
OCaml
5
star
18

mergeable-vector

Mergeable vectors with operational transformation
OCaml
5
star
19

httpaf

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

slacklogger

Bot for logging Slack messages
OCaml
4
star
21

ocamlopt-afl

Fuzzing ocamlopt.opt
OCaml
4
star
22

kayceesrk.github.io

Personal website
HTML
4
star
23

wasmfx

OCaml
3
star
24

fraplib

Coq
3
star
25

ocaml_runtime_stats

OCaml
3
star
26

code-snippets

Experiements
OCaml
2
star
27

eff_delimcc_ocaml

Translations between Eff, Delimcc and Multicore OCaml
OCaml
2
star
28

Sting

An Optimizing Session Type Compiler for Java
Java
2
star
29

opam-cross-shakti

1
star
30

Z3_Haskell

Z3 Haskell bindings and extensions
Haskell
1
star
31

multicore-debug-macos

Shell
1
star
32

sml-effect-conc

Algebraic effect based concurrency library in SML
Standard ML
1
star
33

debug-ocaml-GHA-failure

Shell
1
star
34

opam-repo

Private OPAM repo for experiments
1
star