CS3100: Paradigms of Programming at CSE IITM (Monsoon 2020)
☆58Nov 26, 2025Updated 3 months ago
Alternatives and similar repositories for cs3100_m20
Users that are interested in cs3100_m20 are comparing it to the libraries listed below
Sorting:
- Exercises and projects for Jane Street's OCaml Workshop☆10Oct 28, 2023Updated 2 years ago
- IITM Paradigms of Programming -- Monsoon 2025☆18Nov 17, 2025Updated 3 months ago
- Miscellaneous Racket utilities lacking a better home☆14Updated this week
- OCaml version of Category Theory For Programmers☆134Jan 29, 2020Updated 6 years ago
- An opinionated implementation of the OpenVPN protocol☆80Sep 12, 2025Updated 5 months ago
- Trace visualisation tool for Eio programs☆16Sep 5, 2025Updated 6 months ago
- A knowledge map about Haskell powered by Obsidian.☆16Aug 28, 2022Updated 3 years ago
- ☆13Sep 15, 2022Updated 3 years ago
- Realtime grep for OCaml/Coq sources available on opam☆87Sep 5, 2024Updated last year
- github monorepo bot - configurable directory tree notifications in slack☆32Feb 25, 2026Updated last week
- Kohai is a very simple (but opinionated) timetracker for my personal usage☆13Oct 28, 2025Updated 4 months ago
- Experiments with some ways of automating reasoning in lean 4☆17Apr 20, 2024Updated last year
- Formalisms Every Computer Scientist Should Know (course at ISTA)☆15Feb 8, 2024Updated 2 years ago
- ☆14Aug 25, 2023Updated 2 years ago
- macOS bindings to the FSEvents API☆18Nov 24, 2025Updated 3 months ago
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Jan 1, 2024Updated 2 years ago
- A simple note-taking app☆15Feb 27, 2026Updated last week
- Small KVM-based hypervisor, boots Linux (WIP)☆13May 5, 2024Updated last year
- Interact with a JSON-serialized API defined by a GADT in your reflex-dom application☆20Oct 19, 2025Updated 4 months ago
- Notes on OCaml debugging and performance☆16Jan 29, 2026Updated last month
- ☆25Mar 2, 2026Updated last week
- Ocaml mode for emacs using treesitter☆16Aug 30, 2024Updated last year
- ☆19Oct 7, 2025Updated 5 months ago
- Libscientific is a C framework for multivariate and other statistical analysis☆19Feb 4, 2026Updated last month
- HTTP/1.1 server and client for ocaml (using Async)☆23Apr 26, 2025Updated 10 months ago
- Memtrace library for MirageOS☆17Feb 17, 2025Updated last year
- A simple app to test out irmin and dream☆18Oct 18, 2025Updated 4 months ago
- Tools for record-and-replay debugging☆44Mar 9, 2023Updated 3 years ago
- A hands-on tutorial on the new parallelism features in OCaml 5☆213Mar 11, 2024Updated last year
- OCaml from the Very Beginning☆52Aug 27, 2025Updated 6 months ago
- OCaml reading group at IIT Madras☆25Sep 20, 2025Updated 5 months ago
- ☆16Mar 29, 2023Updated 2 years ago
- Interactive breakpoints!☆47Jan 9, 2026Updated 2 months ago
- A simple scheduler for OCaml 5☆133Feb 28, 2026Updated last week
- OCaml AWS Client☆20Jul 10, 2023Updated 2 years ago
- ☆41May 19, 2022Updated 3 years ago
- The official OCaml website.☆185Updated this week
- MOVED TO https://github.com/nixos-asia/website and https://github.com/flake-parts/community.flake.parts☆18Nov 27, 2023Updated 2 years ago
- 📖 view and generate static websites from your Org files (WIP).☆20Feb 10, 2024Updated 2 years ago