kayceesrk / cs3100_f19Links
CS3100: Paradigms of Programming at CSE IITM (Fall 2019)
☆19Updated 2 years ago
Alternatives and similar repositories for cs3100_f19
Users that are interested in cs3100_f19 are comparing it to the libraries listed below
Sorting:
- A corpus of automatically graded exercises to learn functional programming in OCaml.☆31Updated last year
- Streaming client for OCaml's Memprof☆69Updated last year
- The LLVM tutorial using OCaml☆60Updated 5 years ago
- Explore OCaml is a centralised source of workflows for being productive with OCaml using the OCaml Platform☆45Updated 4 years ago
- OCaml plus Jane Street extensions☆72Updated last year
- How do you do that recursive GADT thing again?☆28Updated last year
- OCaml with macros☆59Updated this week
- A benchmark suite for the OCaml compiler☆85Updated last year
- OCaml version of Category Theory For Programmers☆134Updated 5 years ago
- A tool-agnostic formal specification language for OCaml.☆149Updated last week
- Tools for record-and-replay debugging☆43Updated 2 years ago
- OCaml Programming Patterns - random tricks, "design patterns", etc.☆52Updated 2 months ago
- multi-shot continuations in OCaml☆49Updated this week
- Unofficial git mirror of the BER MetaOCaml patchset.☆67Updated 5 months ago
- OCaml interpreter☆102Updated 6 years ago
- Essentials of Programming Languages, with OCaml implementations & Coq proofs☆32Updated 8 years ago
- ☆28Updated 6 years ago
- Experimental model checker for testing concurrent algorithms☆39Updated 10 months ago
- ☆49Updated 4 years ago
- A modular sat/smt solver with proof output.☆101Updated last year
- Reparse is a monadic, recursive descent based, comprehensive parser construction library for ocaml.☆53Updated 4 years ago
- MetaML and MetaOCaml bibliography☆94Updated 10 months ago
- Reference of basic commands to get comfortable with OCaml.☆78Updated 6 years ago
- CS3100: Paradigms of Programming at CSE IITM (Monsoon 2020)☆56Updated 9 months ago
- A pretty-printing combinator library for OCaml☆51Updated last year
- A Redex tutorial with a focus on how to do work in Redex☆11Updated 11 months ago
- A collection of libraries, experiments and ideas relating to OCaml 5 (multicore + effects)☆156Updated 2 years ago
- A simple monadic parser combinator library for OCaml☆68Updated 3 years ago
- A library that makes it nicer to work with nested functional data structures☆60Updated last week
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Updated last year