Skip to content
@fplaunchpad

FP Launchpad @ IIT Madras

FP Launchpad at IIT Madras
README.md

Popular repositories Loading

  1. cs6868_s26 cs6868_s26 Public

    CS6868: Concurrent Programming

    OCaml 94 14

  2. cs3100_m20 cs3100_m20 Public

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

    Jupyter Notebook 66 13

  3. iitm_ocaml_reading_group iitm_ocaml_reading_group Public

    OCaml reading group at IIT Madras

    Jupyter Notebook 26 1

  4. cs6225_s25_iitm cs6225_s25_iitm Public

    Programs and Proofs -- Spring 2025 -- IITM

    Rocq Prover 22 7

  5. verified_ocaml_gc verified_ocaml_gc Public

    For Jar artifacts

    OCaml 20

  6. cs3100_f19 cs3100_f19 Public

    CS3100: Paradigms of Programming at CSE IITM (Fall 2019)

    Jupyter Notebook 18 6

Repositories

Showing 10 of 54 repositories
  • core-stack-backend Public Forked from core-stack-org/core-stack-backend

    CoRE Stack Backend written in Django which computes layers, CRUD operations, build resources and demands.

    fplaunchpad/core-stack-backend's past year of commit activity
    Python 0 AGPL-3.0 26 0 0 Updated Oct 22, 2026
  • pulse-verified-gc Public Forked from FStarLang/pulse-verified-gc

    Verified garbage collectors in Pulse

    fplaunchpad/pulse-verified-gc's past year of commit activity
    F* 0 1 0 0 Updated Oct 21, 2026
  • cs3300_m26 Public

    CS3300: Compiler Design, IIT Madras, Monsoon 2026

    fplaunchpad/cs3300_m26's past year of commit activity
    Java 1 MIT 2 0 1 Updated Oct 17, 2026
  • sal Public

    Multimodal verification of Replicated Data Types in Lean

    fplaunchpad/sal's past year of commit activity
    Lean 11 MIT 1 0 0 Updated Oct 17, 2026
  • oxcaml-crypto-study Public

    Performance engineering of cryptographic primitives in OxCaml

    fplaunchpad/oxcaml-crypto-study's past year of commit activity
    OCaml 0 0 0 0 Updated Oct 15, 2026
  • fplaunchpad.github.io Public
    fplaunchpad/fplaunchpad.github.io's past year of commit activity
    HTML 0 2 0 0 Updated Oct 15, 2026
  • ocaml_nptel Public

    "Functional Programming in OCaml" course materials for NPTEL

    fplaunchpad/ocaml_nptel's past year of commit activity
    OCaml 15 10 12 7 Updated Oct 12, 2026
  • training Public

    Index of FP Launchpad's own courses, workshops, talks and learning materials

    fplaunchpad/training's past year of commit activity
    0 0 0 0 Updated Oct 8, 2026
  • explainable-cryptography Public

    Machine-checked explanations of cryptographic specifications, constructions, and protocol attacks in Lean.

    fplaunchpad/explainable-cryptography's past year of commit activity
    Lean 0 MIT 0 0 0 Updated Oct 8, 2026
  • sail-tara Public
    fplaunchpad/sail-tara's past year of commit activity
    Python 0 MIT 0 0 0 Updated Oct 7, 2026
View all repositories

People

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

Most used topics

Loading…