kayceesrk / cs3100_f19
CS3100: Paradigms of Programming at CSE IITM (Fall 2019)
☆19Updated last year
Alternatives and similar repositories for cs3100_f19:
Users that are interested in cs3100_f19 are comparing it to the libraries listed below
- multi-shot continuations in OCaml☆48Updated last week
- Tools for record-and-replay debugging☆43Updated last year
- Repository containing slides and examples from the 2020 OCaml Workshop talk on "Parallelising your OCaml code with Multicore OCaml"☆29Updated last year
- Streaming client for OCaml's Memprof☆65Updated 5 months ago
- Notes and findings from our OCaml benchmarking adventures☆48Updated 2 years ago
- Experimental model checker for testing concurrent algorithms☆32Updated 2 months ago
- OCaml hacking ideas, small and large.☆19Updated 10 months ago
- A corpus of automatically graded exercises to learn functional programming in OCaml.☆31Updated 6 months ago
- A simple parser combinator library for Ocaml☆29Updated 3 years ago
- Print OCaml values based on their runtime representation☆29Updated 2 years ago
- ☆27Updated 5 years ago
- How do you do that recursive GADT thing again?☆27Updated 11 months ago
- Property-based testing at ease☆42Updated 3 years ago
- Ropes ("heavyweight strings") for OCaml☆49Updated 6 months ago
- A simple state-machine framework for OCaml based on QCheck☆66Updated 3 years ago
- OCaml Programming Patterns - random tricks, "design patterns", etc.☆52Updated last month
- ☆14Updated last year
- Explore OCaml is a centralised source of workflows for being productive with OCaml using the OCaml Platform☆45Updated 4 years ago
- Commodity thread pools and concurrency primitives for OCaml 5☆56Updated 2 months ago
- A benchmark suite for the OCaml compiler☆83Updated 5 months ago
- Formatted logs of type-annotated let-bound values, function arguments and results, `if` and `match` branches taken. Optionally, as collap…☆27Updated this week
- A pretty-printing combinator library for OCaml☆49Updated 6 months ago
- Trivial Metaprogramming tool using the OCaml toplevel☆54Updated 2 years ago
- An ocaml implementation of conflict-driven reasoning☆15Updated 6 years ago
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Updated last year
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 5 years ago
- Essentials of Programming Languages, with OCaml implementations & Coq proofs☆32Updated 8 years ago
- OCaml plus Jane Street extensions☆74Updated 7 months ago
- OCaml with typed algebraic effects☆49Updated 6 years ago
- OCaml with macros☆56Updated last month