Skip to content
@prismlab

Prism Lab @ IIT Madras

Programming Languages for Rigorous Systems at IIT Madras

Popular repositories Loading

  1. irmin-scylla irmin-scylla Public

    implementation of irmin-scylla

    OCaml 11 1

  2. peepul peepul Public

    Certified implmentations of mergeable replicated data types

    F* 7 2

  3. 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

  4. docs docs Public

    Repo to host general wikis!

    3 2

  5. ocaml-gc-hacking ocaml-gc-hacking Public

    OCaml 3 1

  6. retro-concurrency retro-concurrency Public

    Retrofitting Concurrency onto OCaml (OCaml effect handlers paper)

    Jupyter Notebook 2

Repositories

Showing 10 of 10 repositories
  • ocaml-gc-hacking Public
    prismlab/ocaml-gc-hacking’s past year of commit activity
    OCaml 3 1 3 0 Updated Feb 27, 2024
  • peepul Public

    Certified implmentations of mergeable replicated data types

    prismlab/peepul’s past year of commit activity
    F* 7 MIT 2 1 0 Updated Oct 13, 2022
  • retro-concurrency-bench Public

    Microbenchmarks from the PLDI21 paper "Retrofitting Effect Handlers onto OCaml"

    prismlab/retro-concurrency-bench’s past year of commit activity
    OCaml 0 MIT 1 0 0 Updated May 10, 2022
  • retro-concurrency Public

    Retrofitting Concurrency onto OCaml (OCaml effect handlers paper)

    prismlab/retro-concurrency’s past year of commit activity
    Jupyter Notebook 2 0 0 0 Updated May 8, 2021
  • aicte-compilers-lecture-2021 Public

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

    prismlab/aicte-compilers-lecture-2021’s past year of commit activity
    F* 4 MIT 0 0 0 Updated Jan 22, 2021
  • irmin-scylla Public

    implementation of irmin-scylla

    prismlab/irmin-scylla’s past year of commit activity
    OCaml 11 1 0 0 Updated Oct 14, 2020
  • docs Public

    Repo to host general wikis!

    prismlab/docs’s past year of commit activity
    3 2 0 3 Updated Jul 12, 2020
  • ocaml Public Forked from ocaml/ocaml

    The core OCaml system: compilers, runtime system, base libraries

    prismlab/ocaml’s past year of commit activity
    OCaml 0 1,119 0 0 Updated Apr 27, 2020
  • sandmark Public Forked from ocaml-bench/sandmark

    Benchmarking the OCaml compiler and all its friends

    prismlab/sandmark’s past year of commit activity
    OCaml 0 40 0 0 Updated Mar 5, 2020
  • ipfs-dockerfiles Public
    prismlab/ipfs-dockerfiles’s past year of commit activity
    Dockerfile 1 0 0 0 Updated Oct 6, 2019

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…