kayceesrk / cs3100_m25Links
IITM Paradigms of Programming -- Monsoon 2025
☆14Updated 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:
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated 6 months ago
- OCaml plus Jane Street extensions☆74Updated last year
- Learn Ocaml by reading code examples☆72Updated 2 years ago
- CS3100: Paradigms of Programming at CSE IITM (Monsoon 2020)☆52Updated 7 months ago
- A toy dependent typed language.☆31Updated last week
- A gentle introduction to Isabelle and Isabelle/HOL☆13Updated 4 months ago
- The LLVM tutorial using OCaml☆61Updated 5 years ago
- ☆13Updated 2 years ago
- 🐫🎮 OCaml Game Engine☆44Updated 4 months ago
- Owl Tutorial☆5Updated 8 months ago
- A collection of libraries, experiments and ideas relating to OCaml 5 (multicore + effects)☆156Updated last year
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 4 years ago
- 🩺 A library for compiler diagnostics☆47Updated 6 months ago
- OCaml code for Compiler Construction course at University of Cambridge☆42Updated 4 years ago
- algebraic typechecking and elaboration of type systems☆13Updated 6 months ago
- A tool-agnostic formal specification language for OCaml.☆145Updated last week
- Modern Compiler Implementation in ML (OCaml)☆7Updated 5 years ago
- The best way for developers to write software in OCaml☆61Updated 2 years ago
- A pretty-printing combinator library for OCaml☆51Updated last year
- A simple scheduler for OCaml 5☆113Updated this week
- Software Transactional Memory for OCaml☆128Updated last month
- Standard IO Library for OCaml☆39Updated 3 months ago
- Algebraic structures in OCaml.☆25Updated 4 months ago
- Fωμ type checker and compiler☆54Updated 2 years ago
- A Deductive Verification Tool for OCaml Programs☆74Updated last week
- Runtime assertion checking based on Gospel specifications☆47Updated 3 weeks ago
- The Steel separation logic library for F*☆36Updated last week
- OCaml code generator and runtime library for handling typed tree-sitter CSTs☆32Updated last month
- Compiler for a very restricted subset of OCaml☆25Updated 9 years ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆72Updated 3 years ago