kayceesrk / cs6225_s21_iitmLinks
Course Website for CS6225: Programs and Proofs @ IIT Madras
β12Updated 4 years ago
Alternatives and similar repositories for cs6225_s21_iitm
Users that are interested in cs6225_s21_iitm are comparing it to the libraries listed below
Sorting:
- π³ Generate a fresh bonsai in your terminalβ28Updated 3 years ago
- Multinomials for the Mathematical Components library.β15Updated this week
- Compiler Hacking Sessions Informationβ11Updated 2 years ago
- An OCaml library for creating pandoc filters.β32Updated 11 months ago
- Coq library for serialization to S-expressionsβ19Updated 2 years ago
- Formalising session types in Coqβ17Updated 6 years ago
- A PPX deriver that automates differential testing for OCaml modulesβ25Updated 9 months ago
- Essentials of Programming Languages, with OCaml implementations & Coq proofsβ32Updated 8 years ago
- For Jar artifactsβ15Updated 2 months ago
- Sokoban (in Coq) [maintainer=@erikmd]β23Updated 8 months ago
- multi-shot continuations in OCamlβ49Updated 7 months ago
- β14Updated 7 months ago
- Kleene algebra modulo theoriesβ27Updated 2 years ago
- Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]β14Updated last year
- String searching with errors, using the Wu-Manber algorithmβ23Updated 8 months ago
- A simple BDD library for OCamlβ13Updated 4 months ago
- An OCaml EDSL for describing and solving strategic gamesβ17Updated 2 years ago
- Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]β24Updated 10 months ago
- Experimental model checker for testing concurrent algorithmsβ39Updated 9 months ago
- A scheduler independent blocking mechanismβ19Updated last year
- macOS bindings to the FSEvents APIβ18Updated last month
- A Deductive Verification Tool for OCaml Programsβ75Updated last month
- β14Updated 2 years ago
- A simple parser combinator library for Ocamlβ30Updated 4 years ago
- Coq development accompanying the paper "Efficient Extensional Binary Tries"β21Updated last year
- Template project for program verification in Coq, showcasing reasoning on CompCert's Clight language using the Verified Software Toolchaiβ¦β32Updated last year
- Tools for record-and-replay debuggingβ43Updated 2 years ago
- Memthol is a visualizer for memory profiling data generated from OCaml programs.β28Updated 2 years ago
- A simple and portable floating-point interval arithmetic library in OCamlβ10Updated 3 years ago
- An OCurrent pipeline for testing submissions to opam-repositoryβ24Updated this week