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 51 repositories
  • fplaunchpad.github.io Public
    fplaunchpad/fplaunchpad.github.io's past year of commit activity
    HTML 0 2 0 0 Updated Oct 2, 2026
  • v86 Public Forked from copy/v86

    x86 PC emulator and x86-to-wasm JIT, running in the browser

    fplaunchpad/v86's past year of commit activity
    JavaScript 0 BSD-2-Clause 2,020 0 3 Updated Oct 2, 2026
  • ocaml-mmtk Public

    OCaml 5.5 with MMTk GC

    fplaunchpad/ocaml-mmtk's past year of commit activity
    OCaml 2 2 9 0 Updated Oct 1, 2026
  • mmtk-core Public Forked from mmtk/mmtk-core

    Memory Management ToolKit

    fplaunchpad/mmtk-core's past year of commit activity
    Rust 0 Apache-2.0 87 0 0 Updated Oct 1, 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 1, 2026
  • ocaml_nptel Public

    "Functional Programming in OCaml" course materials for NPTEL

    fplaunchpad/ocaml_nptel's past year of commit activity
    OCaml 15 9 12 7 Updated Oct 1, 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 7 Updated Sep 30, 2026
  • Llama-port Public
    fplaunchpad/Llama-port's past year of commit activity
    Python 0 0 0 0 Updated Sep 30, 2026
  • indiafoss-2026-ocaml-workshop Public

    IndiaFOSS 2026 workshop content

    fplaunchpad/indiafoss-2026-ocaml-workshop's past year of commit activity
    OCaml 2 2 0 0 Updated Sep 25, 2026
  • oxcaml-talk Public Forked from recluse099/oxcaml-talk

    Live, runnable slide decks on OxCaml's mode system, kinds, unboxed types, and SIMD

    fplaunchpad/oxcaml-talk's past year of commit activity
    HTML 0 1 0 0 Updated Sep 22, 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…