kayceesrk / cs3100_m25Links
IITM Paradigms of Programming -- Monsoon 2025
☆18Updated last month
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
- Learn Ocaml by reading code examples☆74Updated 3 years ago
- Type inference implementation in OCaml using Algorithm W☆10Updated 4 years ago
- A gentle introduction to Isabelle and Isabelle/HOL☆16Updated 9 months ago
- CS3100: Paradigms of Programming at CSE IITM (Monsoon 2020)☆58Updated last month
- A toy dependent typed language.☆36Updated this week
- OCaml plus Jane Street extensions☆73Updated last year
- Materials for the 2022-2023 edition of CS316 "Functional Programming"☆24Updated 3 years ago
- A ML-like pure functional language that can be used as a template for creating your own language☆31Updated 11 months ago
- 🐫🎮 OCaml Game Engine☆44Updated 9 months ago
- Algebraic structures in OCaml.☆25Updated last month
- Standard IO Library for OCaml☆40Updated last month
- An experimental language server for SomewhatML☆24Updated 3 years ago
- The LLVM tutorial using OCaml☆60Updated 5 years ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 4 years ago
- A collection of libraries, experiments and ideas relating to OCaml 5 (multicore + effects)☆159Updated 2 years ago
- OxCaml Parallelism☆36Updated last month
- OCaml reading group at IIT Madras☆24Updated 3 months ago
- A summary of my activities during the past four years☆31Updated 3 weeks ago
- OCaml code for Compiler Construction course at University of Cambridge☆43Updated 4 years ago
- A safer FFI interface for OCaml☆11Updated last year
- 🩺 A library for compiler diagnostics☆52Updated last month
- A tool-agnostic formal specification language for OCaml.☆154Updated last month
- ☆64Updated last year
- Commodity thread pools and concurrency primitives for OCaml 5☆71Updated last week
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆64Updated 7 months ago
- Compiler for a very restricted subset of OCaml☆25Updated 10 years ago
- A Rust to OCaml source to source translator☆21Updated last year
- Miscellaneous Racket utilities lacking a better home☆13Updated 3 months ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆77Updated 3 years ago