Skip to content
@prismlab

Prism Lab @ IIT Madras

Programming Languages for Rigorous Systems at IIT Madras
README.md

Prism at IIT Madras 🌈⃤

Prism lab at IIT Madras aims to build robust systems with programming language technology. We develop programming language abstractions and tools that empower developers to build secure, scalable and reliable software systems. The group is headed by KC Sivaramakrishnan. The publications page gives an idea of what the group has been working on in the recent past.

If you are interested in joining the group, see this post.

Popular repositories Loading

  1. iitm_ocaml_reading_group iitm_ocaml_reading_group Public

    OCaml reading group at IIT Madras

    Jupyter Notebook 23 1

  2. verified_ocaml_gc verified_ocaml_gc Public

    For Jar artifacts

    OCaml 15

  3. irmin-scylla irmin-scylla Public

    implementation of irmin-scylla

    OCaml 10 1

  4. peepul peepul Public

    Certified implmentations of mergeable replicated data types

    F* 9 2

  5. aicte-compilers-lecture-2021 aicte-compilers-lecture-2021 Public

    Lecture materials for the invited talk at AICTE Compilers Short term course (Jan 2021)

    F* 4

  6. ocaml-gc-hacking ocaml-gc-hacking Public

    OCaml 4 1

Repositories

Showing 10 of 14 repositories
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…