Pinned Loading

1. Examples to illustrate the use of algebraic effects in Multicore OCaml

   OCaml 452 36

2. Parallel Programming over Domains

   OCaml 185 32

3. A hands-on tutorial on the new parallelism features in OCaml 5

   OCaml 213 11

5. Course Website for CS6225: Programs and Proofs @ IIT Madras

   Coq 13 2

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

   Jupyter Notebook 58 11