Skip to content
@fplaunchpad

FP Launchpad @ IIT Madras

FP Launchpad at IIT Madras
README.md

FP Launchpad

The Functional Programming (FP) Launchpad at IIT Madras aims to build research and educational capacity for crafting efficient, reliable and trustworthy software with mathematical guardrails. The centre is headed by KC Sivaramakrishnan.

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 24 1

  2. verified_ocaml_gc verified_ocaml_gc Public

    For Jar artifacts

    OCaml 20

  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 17 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…