prismlab / iitm_ocaml_reading_groupLinks
OCaml reading group at IIT Madras
☆22Updated last week
Alternatives and similar repositories for iitm_ocaml_reading_group
Users that are interested in iitm_ocaml_reading_group are comparing it to the libraries listed below
Sorting:
- For Jar artifacts☆15Updated last month
- ☆37Updated 3 years ago
- CS3100: Paradigms of Programming at CSE IITM (Fall 2019)☆19Updated 2 years ago
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Updated last year
- A simple BDD library for OCaml☆13Updated 3 months ago
- Algebraic structures in OCaml.☆25Updated 5 months ago
- Essentials of Programming Languages, with OCaml implementations & Coq proofs☆32Updated 8 years ago
- IITM Paradigms of Programming -- Monsoon 2025☆17Updated this week
- A minimal example of a formally verified parser using ocamllex and Menhir's Coq backend.☆20Updated 10 years ago
- A parsing library that compiles grammars to combinators using elimination of left recursion☆22Updated last year
- Experimental model checker for testing concurrent algorithms☆39Updated 8 months ago
- A simple parser combinator library for Ocaml☆30Updated 4 years ago
- The LLVM tutorial using OCaml☆60Updated 5 years ago
- Foundations of Computer Science notebooks☆16Updated 10 months ago
- experiments on distributed unikernels☆16Updated 8 months ago
- Compiler Hacking Sessions Information☆11Updated 2 years ago
- A proof tree viewer that works with Coq through Proof General☆28Updated 4 years ago
- A corpus of automatically graded exercises to learn functional programming in OCaml.☆31Updated last year
- Coq library for serialization to S-expressions☆19Updated 2 years ago
- A simple and portable floating-point interval arithmetic library in OCaml☆10Updated 3 years ago
- An OCaml extension for RISC-V☆16Updated 4 years ago
- Compiler for Tiger language from "Modern Compiler Implementation in ML"☆16Updated last year
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated 7 months ago
- Course Website for CS6225: Programs and Proofs @ IIT Madras☆12Updated 4 years ago
- Companion Coq development for Xavier Leroy's 2021 lectures on program logics☆40Updated 4 years ago
- Tiny verified SAT-solver☆28Updated 3 years ago
- An implementation of "A Pretty Expressive Printer" in OCaml☆25Updated last year
- A scheduler independent blocking mechanism☆17Updated last year
- Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.☆31Updated 4 years ago
- OCaml hacking ideas, small and large.☆19Updated last year