kayceesrk / cs3100_f19
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
- Tools for record-and-replay debugging☆43Updated 2 years ago
- A corpus of automatically graded exercises to learn functional programming in OCaml.☆31Updated 9 months ago
- ☆27Updated 5 years ago
- multi-shot continuations in OCaml☆48Updated 2 months ago
- OCaml hacking ideas, small and large.☆19Updated last year
- Dependency graphs for OCaml modules, libraries and packages☆39Updated 9 months ago
- OCaml PPX deriver for reflection☆52Updated 2 years ago
- Streaming client for OCaml's Memprof☆68Updated 7 months ago
- Runtime assertion checking based on Gospel specifications☆45Updated last week
- OCaml with macros☆57Updated last week
- Print OCaml values based on their runtime representation☆29Updated 2 years ago
- Notes and findings from our OCaml benchmarking adventures☆48Updated 2 years ago
- A simple state-machine framework for OCaml based on QCheck☆66Updated 3 years ago
- Unofficial git mirror of the BER MetaOCaml patchset.☆65Updated last year
- Faithful reimplementation of Minisat 2.2 in OCaml.☆38Updated 2 years ago
- Experimental model checker for testing concurrent algorithms☆33Updated 4 months ago
- Commodity thread pools and concurrency primitives for OCaml 5☆58Updated last week
- Formatted logs of type-annotated let-bound values, function arguments and results, `if` and `match` branches taken. Optionally, as collap…☆28Updated 3 weeks ago
- Property-based testing at ease☆42Updated 3 years ago
- OCaml Programming Patterns - random tricks, "design patterns", etc.☆52Updated 3 months ago
- Repository containing slides and examples from the 2020 OCaml Workshop talk on "Parallelising your OCaml code with Multicore OCaml"☆29Updated last year
- PBT testsuite and libraries for testing multicore OCaml☆39Updated this week
- ☆14Updated last year
- Efficient binder representation in OCaml☆42Updated 9 months ago
- A simple multi-format pretty-printer for Menhir.☆57Updated last month
- A pretty-printing combinator library for OCaml☆49Updated 8 months ago
- A Framework for building Batched Concurrent Services☆21Updated 6 months ago
- OCaml with typed algebraic effects☆49Updated 6 years ago
- How do you do that recursive GADT thing again?☆27Updated last year
- The LLVM tutorial using OCaml☆61Updated 5 years ago