Repositories list

• reagents_core

  Public
  TeX

  •00 forks•11 star•00 issues•00 pull requests•Updated Apr 16, 2026Apr 16, 2026

• dag_node_equivalence

  Public

  fplaunchpad/dag_node_equivalence’s past year of commit activity
  OCaml

  •00 forks•00 stars•00 issues•00 pull requests•Updated Apr 12, 2026Apr 12, 2026

• cs6868_s26

  Public

  fplaunchpad/cs6868_s26’s past year of commit activity
  CS6868: Concurrent Programming

  OCaml

  •

  MIT License

  •1010 forks•6969 stars•00 issues•00 pull requests•Updated Apr 9, 2026Apr 9, 2026

• fplaunchpad.github.io

  Public

  fplaunchpad/fplaunchpad.github.io’s past year of commit activity
  HTML

  •11 fork•00 stars•00 issues•00 pull requests•Updated Apr 9, 2026Apr 9, 2026

• retro-httpaf-bench

  Public

  fplaunchpad/retro-httpaf-bench’s past year of commit activity
  Benchmarking environment for http servers

  Jupyter Notebook

  •1212 forks•00 stars•00 issues•00 pull requests•Updated Apr 6, 2026Apr 6, 2026

• learn-ocaml-workshop-2026

  Public

  fplaunchpad/learn-ocaml-workshop-2026’s past year of commit activity
  OCaml

  •77 forks•11 star•00 issues•00 pull requests•Updated Mar 29, 2026Mar 29, 2026

• sal

  Public
  Implementation of Neem using Lean

  Lean

  •

  MIT License

  •11 fork•44 stars•00 issues•00 pull requests•Updated Mar 27, 2026Mar 27, 2026

• docs

  Public

  fplaunchpad/docs’s past year of commit activity
  Repo to host general wikis!

  33 forks•33 stars•00 issues•33 pull requests•Updated Mar 16, 2026Mar 16, 2026

• public_docs

  Public
  PLT/FP/O(x)Caml tutorials

  00 forks•00 stars•00 issues•00 pull requests•Updated Feb 26, 2026Feb 26, 2026

• .github

  Public
  00 forks•00 stars•00 issues•00 pull requests•Updated Jan 28, 2026Jan 28, 2026

• cs3100_m20

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

  Jupyter Notebook

  •

  MIT License

  •1111 forks•6262 stars•00 issues•00 pull requests•Updated Nov 26, 2025Nov 26, 2025

• cs3100_m25

  Public
  IITM Paradigms of Programming -- Monsoon 2025

  functional-programmingocamllambda-calculus+ 2

  functional-programmingocamllambda-calculusprologlogic-programming

  Jupyter Notebook

  •

  MIT License

  •66 forks•1818 stars•00 issues•00 pull requests•Updated Nov 17, 2025Nov 17, 2025

• verified_ocaml_gc

  Public
  For Jar artifacts

  OCaml

  •

  MIT License

  •00 forks•2020 stars•00 issues•00 pull requests•Updated Nov 8, 2025Nov 8, 2025

• iitm_ocaml_reading_group

  Public
  OCaml reading group at IIT Madras

  Jupyter Notebook

  •11 fork•2525 stars•00 issues•00 pull requests•Updated Sep 20, 2025Sep 20, 2025

• neem

  Public
  F*

  •

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated May 13, 2025May 13, 2025

• cs6225_s25_iitm

  Public
  Programs and Proofs -- Spring 2025 -- IITM

  Coq

  •

  MIT License

  •44 forks•2020 stars•00 issues•00 pull requests•Updated May 10, 2025May 10, 2025

• cs6225_s20_iitm

  Public
  Course website for CS6225 Prorgams and Proofs @ IITM Spring 2020 edition

  Coq

  •

  MIT License

  •44 forks•44 stars•00 issues•00 pull requests•Updated Jul 23, 2024Jul 23, 2024

• ocaml-gc-hacking

  Public
  OCaml

  •11 fork•44 stars•33 issues•00 pull requests•Updated Feb 27, 2024Feb 27, 2024

• cs3100_f19

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

  Jupyter Notebook

  •

  MIT License

  •66 forks•1919 stars•11 issue•33 pull requests•Updated Apr 11, 2023Apr 11, 2023

• cs3300_m22

  Public
  CS3300 Compiler Design @ CSE IIT Madras

  compilers-design

  compilers-design

  Java

  •

  MIT License

  •1414 forks•1212 stars•00 issues•00 pull requests•Updated Oct 28, 2022Oct 28, 2022

• peepul

  Public
  Certified implmentations of mergeable replicated data types

  F*

  •

  MIT License

  •22 forks•99 stars•11 issue•00 pull requests•Updated Oct 13, 2022Oct 13, 2022

• retro-concurrency-bench

  Public
  Microbenchmarks from the PLDI21 paper "Retrofitting Effect Handlers onto OCaml"

  OCaml

  •

  MIT License

  •11 fork•11 star•00 issues•00 pull requests•Updated May 10, 2022May 10, 2022

• retro-concurrency

  Public
  Retrofitting Concurrency onto OCaml (OCaml effect handlers paper)

  Jupyter Notebook

  •00 forks•22 stars•00 issues•00 pull requests•Updated May 8, 2021May 8, 2021

• cs6225_s21_iitm

  Public
  Course Website for CS6225: Programs and Proofs @ IIT Madras

  Coq

  •

  MIT License

  •22 forks•1313 stars•00 issues•00 pull requests•Updated Apr 28, 2021Apr 28, 2021

• aicte-compilers-lecture-2021

  Public
  Lecture materials for the invited talk at AICTE Compilers Short term course (Jan 2021)

  F*

  •

  MIT License

  •00 forks•44 stars•00 issues•00 pull requests•Updated Jan 22, 2021Jan 22, 2021

• irmin-scylla

  Public
  implementation of irmin-scylla

  OCaml

  •11 fork•1010 stars•00 issues•00 pull requests•Updated Oct 14, 2020Oct 14, 2020

• ocaml

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

  OCaml

  •

  Other

  •1.2k1.2k forks•00 stars•00 issues•00 pull requests•Updated Apr 27, 2020Apr 27, 2020

• sandmark

  Public
  Benchmarking the OCaml compiler and all its friends

  OCaml

  •3838 forks•00 stars•00 issues•00 pull requests•Updated Mar 5, 2020Mar 5, 2020

• ipfs-dockerfiles

  Public
  Dockerfile

  •00 forks•11 star•00 issues•00 pull requests•Updated Oct 6, 2019Oct 6, 2019