IITM Paradigms of Programming -- Monsoon 2025
☆18Nov 17, 2025Updated 11 months ago
Alternatives and similar repositories for cs3100_m25
Users that are interested in cs3100_m25 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Materials for the 2022-2023 edition of CS316 "Functional Programming"☆24Nov 22, 2022Updated 3 years ago
- McLulang: The message is the language☆12Aug 23, 2024Updated 2 years ago
- A simple HTTP client for OCaml 5☆19Sep 3, 2026Updated last month
- a Simple Hackable Interpreter☆13Aug 11, 2025Updated last year
- Code resources from John Harrison's "Handbook of Practical Logic and Automated Reasoning"☆12May 9, 2021Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Code and Materials for an interactive online course on Logic (part of Strathclyde's CS208 Logic and Algorithms module)☆14Updated this week
- OCaml reading group at IIT Madras☆26Sep 20, 2025Updated last year
- An implementation of happy eyeballs (RFC 8305) in OCaml with lwt☆24Oct 21, 2026Updated last week
- PBT testsuite and libraries for testing multicore OCaml☆47Oct 12, 2026Updated 2 weeks ago
- ☆11Oct 11, 2023Updated 3 years ago
- Experiments with some ways of automating reasoning in lean 4☆19Apr 20, 2024Updated 2 years ago
- toy implementation of Hindley-Milner type system that prints out inference steps☆18Oct 26, 2025Updated last year
- Jane Street Capital's asynchronous execution library (extra)☆16Jul 10, 2026Updated 3 months ago
- Magnolisp, a toy programming language☆19Dec 9, 2023Updated 2 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- XKCD 3062☆23Mar 13, 2025Updated last year
- OCaml bindings to the number theory library PARI/GP☆12Jan 11, 2025Updated last year
- Swagger definitions for Symphony LLC public REST API☆22Oct 20, 2026Updated last week
- Teaching Material for Course on Formalization Summer Semester 2025 at Uni Greifswald☆19Apr 10, 2026Updated 6 months ago
- Elliptic Curves Cryptography for OCaml☆12Oct 26, 2019Updated 7 years ago
- A safer FFI interface for OCaml☆11Jul 20, 2024Updated 2 years ago
- A library to write web server and site☆30Jul 27, 2026Updated 3 months ago
- A test opam overlay containing packages compatible with the next release of the OCaml compiler☆16Updated this week
- Anonymous recursive functions in Racket☆22Sep 8, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Lang Party 2022☆25Nov 7, 2022Updated 3 years ago
- Public repository for an ontology network on DevOps infrastructure☆13Feb 6, 2023Updated 3 years ago
- A toy dependent typed language.☆51Updated this week
- Following [An Incremental Approach to Compiler Construction](http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf)☆73Nov 15, 2025Updated 11 months ago
- Watch this repo's releases for notifications about new libraries and major releases☆17Jun 20, 2020Updated 6 years ago
- telnet protocol in OCaml☆15Nov 15, 2016Updated 9 years ago
- Speed up business workflows through custom 'voice skills' and text (NLP) interpreters☆14Nov 28, 2022Updated 3 years ago
- Easily build clients and servers on top of a common REST API, automatically derived from OCaml types.☆25Oct 7, 2026Updated 3 weeks ago
- Interactive multi-omics data explorer to integrate and interactively explore transcripts, proteins and metabolites data.☆13Aug 7, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A modular library for CDCL(T) SMT solvers, with [wip] proof generation.☆26May 13, 2026Updated 5 months ago
- 📚 A library for managing libraries and resolving unit paths☆17Jun 19, 2026Updated 4 months ago
- A command line tool for performing various tasks with Fintech Open Source Foundation (FINOS) metadata.☆11Apr 30, 2024Updated 2 years ago
- Typed CSS AST, parser, pretty-printer, and optimiser for OCaml☆34Oct 18, 2026Updated last week
- OxCaml playground (for use with Codespaces)☆19Jul 25, 2025Updated last year
- Redis client for Async applications☆17Jul 10, 2026Updated 3 months ago
- Reusable runtime library for network protocols☆48Mar 12, 2026Updated 7 months ago