kayceesrk / cs3100_m25Links
IITM Paradigms of Programming -- Monsoon 2025
☆17Updated last week
Alternatives and similar repositories for cs3100_m25
Users that are interested in cs3100_m25 are comparing it to the libraries listed below
Sorting:
- ☆13Updated 3 years ago
- OCaml plus Jane Street extensions☆73Updated last year
- Learn Ocaml by reading code examples☆72Updated 2 years ago
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated 8 months ago
- Algebraic structures in OCaml.☆25Updated 6 months ago
- CS3100: Paradigms of Programming at CSE IITM (Monsoon 2020)☆56Updated 8 months ago
- OCaml code for Compiler Construction course at University of Cambridge☆43Updated 4 years ago
- OCaml reading group at IIT Madras☆22Updated 2 weeks ago
- ☆14Updated 2 years ago
- A safer FFI interface for OCaml☆11Updated last year
- Library of Raft consensus algorithm implemented in OCaml☆30Updated 2 years ago
- Compiler for a very restricted subset of OCaml☆25Updated 9 years ago
- LablGL: an openGL interface for OCaml☆23Updated last year
- A gentle introduction to Isabelle and Isabelle/HOL☆13Updated 5 months ago
- Standard IO Library for OCaml☆39Updated 4 months ago
- A collection of libraries, experiments and ideas relating to OCaml 5 (multicore + effects)☆157Updated 2 years ago
- The LLVM tutorial using OCaml☆60Updated 5 years ago
- 🐫🎮 OCaml Game Engine☆44Updated 6 months ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 4 years ago
- Raw bindings to platform APIs for OCaml☆16Updated last year
- Essentials of Programming Languages, with OCaml implementations & Coq proofs☆32Updated 8 years ago
- Compiler for Tiger language from "Modern Compiler Implementation in ML"☆16Updated last year
- The OCaml-Canvas library provides a portable Canvas for OCaml☆60Updated last year
- Commodity thread pools and concurrency primitives for OCaml 5☆63Updated 2 weeks ago
- An absurdly tiny Lisp interpreter in OCaml☆32Updated 13 years ago
- A corpus of automatically graded exercises to learn functional programming in OCaml.☆31Updated last year
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Updated last year
- algebraic typechecking and elaboration of type systems☆13Updated 7 months ago
- Experimental model checker for testing concurrent algorithms☆39Updated 9 months ago
- ☆62Updated 10 months ago