kayceesrk
Follow
-
cs6225_s25_iitm Public
Programs and Proofs -- Spring 2025 -- IITM
-
-
karamel Public
Forked from FStarLang/karamelKaRaMeL is a tool for extracting low-level F* programs to readable C code
-
cs3100_m20 Public
CS3100: Paradigms of Programming at CSE IITM (Monsoon 2020)
-
splean Public
Forked from verse-lab/spleanSeparation Logic Proofs in Lean
Lean UpdatedDec 12, 2024 -
binary-distribution Public
Forked from ocaml-dune/binary-distributionA web page for dune binary distribution
HTML ISC License UpdatedOct 17, 2024 -
ocaml Public
Forked from ocaml/ocamlRead-only mirror of INRIA SVN
-
-
ocaml.org Public
Forked from ocaml/ocaml.orgThe official OCaml website.
-
runtime_events_tools Public
Forked from tarides/runtime_events_tools -
cs6225_s20_iitm Public
Course website for CS6225 Prorgams and Proofs @ IITM Spring 2020 edition
-
quick-shell Public
Forked from jameelkaisar/quick-shellSpawn a shell by creating a tunnel to the container running GitHub Actions workflow
UpdatedJul 4, 2024 -
-
frap Public
Forked from achlipala/frapFormal Reasoning About Programs
Coq Other UpdatedJun 6, 2024 -
-
-
delimcc_of_fxhandler Public
Delimcc primitives from OCaml 5 effect handlers
-
opam-repository Public
Forked from ocaml/opam-repositoryMain public package repository for OPAM, the source package manager of OCaml.
-
code-of-conduct Public
Forked from ocaml/code-of-conductDocuments related to the Code of Conduct
UpdatedJun 6, 2023 -
ocaml-jst Public
Forked from ocaml-flambda/ocaml-jstOCaml plus Jane Street extensions
-
frap-spring23 Public
Forked from mit-frap/spring23Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023
Coq UpdatedMay 10, 2023 -
-
cs3100_f19 Public
CS3100: Paradigms of Programming at CSE IITM (Fall 2019)
-
experiment-with-ocaml-5 Public
Forked from yminsky/experiment-with-ocaml-5For playing around with OCaml 5.0
-
cs3300_m22 Public
CS3300 Compiler Design @ CSE IIT Madras
-
-
-
-
-