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 95 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 56 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 27 0 0 Updated Nov 6, 2026
  • Llama-port Public
    fplaunchpad/Llama-port's past year of commit activity
    Python 0 0 0 0 Updated Nov 5, 2026
  • ocaml-fides Public Forked from ocaml/ocaml

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

    fplaunchpad/ocaml-fides's past year of commit activity
    OCaml 0 1,783 0 0 Updated Nov 5, 2026
  • public_docs Public

    PLT/FP/O(x)Caml tutorials

    fplaunchpad/public_docs's past year of commit activity
    0 0 0 0 Updated Nov 5, 2026
  • fplaunchpad.github.io Public
    fplaunchpad/fplaunchpad.github.io's past year of commit activity
    HTML 0 2 0 0 Updated Nov 5, 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 Nov 3, 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 29, 2026
  • oxcaml-fork-crypto-study Public Forked from oxcaml/oxcaml

    OCaml - Oxidized!

    fplaunchpad/oxcaml-fork-crypto-study's past year of commit activity
    OCaml 0 200 0 0 Updated Oct 27, 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 27, 2026
  • pulse-verified-gc Public archive 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 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.

Top languages

Loading…

Most used topics

Loading…