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
- A simple parser combinator library for Ocaml☆30Updated 4 years ago
- Explore OCaml is a centralised source of workflows for being productive with OCaml using the OCaml Platform☆45Updated 4 years ago
- ☆29Updated 6 years ago
- OCaml version of Category Theory For Programmers☆134Updated 5 years ago
- The LLVM tutorial using OCaml☆60Updated 5 years ago
- Streaming client for OCaml's Memprof☆68Updated 11 months ago
- OCaml Programming Patterns - random tricks, "design patterns", etc.☆52Updated last month
- Tools for record-and-replay debugging☆43Updated 2 years ago
- OCaml with macros☆58Updated 2 months ago
- Misc algorithms in OCaml (HyperLogLog, jump consistent hashing)☆69Updated last year
- A benchmark suite for the OCaml compiler☆84Updated last year
- OCaml plus Jane Street extensions☆74Updated last year
- pyre-ast is an OCaml library to parse Python files. The library features its full-fidelity to the official Python spec, as well as its a…☆43Updated last year
- Ropes ("heavyweight strings") for OCaml☆48Updated last year
- Compiler for Tiger language from "Modern Compiler Implementation in ML"☆16Updated last year
- Reference of basic commands to get comfortable with OCaml.☆78Updated 6 years ago
- multi-shot continuations in OCaml☆48Updated 6 months ago
- Experimental model checker for testing concurrent algorithms☆39Updated 8 months ago
- How do you do that recursive GADT thing again?☆28Updated last year
- ☆14Updated 2 years ago
- Wiki for ocaml compiler internals☆48Updated 12 years ago
- Example use of GitHub Actions with OCaml☆36Updated 2 weeks ago
- Commodity thread pools and concurrency primitives for OCaml 5☆63Updated last month
- A simple monadic parser combinator library for OCaml☆67Updated 3 years ago
- A simple state-machine framework for OCaml based on QCheck☆67Updated 3 years ago
- An OCaml library implementing unifiable abstract binding trees (UABTs)☆28Updated last year
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Updated last year
- A tutorial on Incremental, originally for CUFP 2017☆45Updated 7 years ago
- ☆49Updated 4 years ago