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

    Coq 22 6

  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 49 repositories
  • 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 Sep 15, 2026
  • Llama-port Public
    fplaunchpad/Llama-port's past year of commit activity
    Python 0 0 0 0 Updated Sep 15, 2026
  • fplaunchpad.github.io Public
    fplaunchpad/fplaunchpad.github.io's past year of commit activity
    HTML 0 2 0 0 Updated Sep 15, 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 1 Updated Sep 15, 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 Sep 14, 2026
  • sal Public

    Multimodal verification of Replicated Data Types in Lean

    fplaunchpad/sal's past year of commit activity
    Lean 10 MIT 1 0 0 Updated Sep 11, 2026
  • ocaml_nptel Public

    "Functional Programming in OCaml" course materials for NPTEL

    fplaunchpad/ocaml_nptel's past year of commit activity
    OCaml 13 9 12 7 Updated Sep 10, 2026
  • indiafoss-2026-ocaml-workshop Public

    IndiaFOSS 2026 workshop content

    fplaunchpad/indiafoss-2026-ocaml-workshop's past year of commit activity
    OCaml 0 1 0 0 Updated Sep 1, 2026
  • climate-central Public

    Main page for Climate related projects: Info and study material on Tessera, Corestack etc

    fplaunchpad/climate-central's past year of commit activity
    0 0 0 1 Updated Aug 27, 2026
  • OxCaml-Crypto Public archive

    Research-focused comparative study of cryptographic implementations in C and OCaml, analyzing performance, safety, and functional programming approaches.

    fplaunchpad/OxCaml-Crypto's past year of commit activity
    Assembly 0 0 0 0 Updated Aug 25, 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…