kayceesrk / cs3100_m20Links
CS3100: Paradigms of Programming at CSE IITM (Monsoon 2020)
☆52Updated 7 months ago
Alternatives and similar repositories for cs3100_m20
Users that are interested in cs3100_m20 are comparing it to the libraries listed below
Sorting:
- OCaml version of Category Theory For Programmers☆134Updated 5 years ago
- A collection of libraries, experiments and ideas relating to OCaml 5 (multicore + effects)☆156Updated last year
- A fancy diagnostics library that allows your compilers to exit with grace☆76Updated 3 months ago
- Learn Ocaml by reading code examples☆72Updated 2 years ago
- OCaml plus Jane Street extensions☆74Updated last year
- Template for an ocaml project with modern tooling☆84Updated 6 months ago
- A simple scheduler for OCaml 5☆113Updated this week
- Commodity thread pools and concurrency primitives for OCaml 5☆62Updated 3 weeks ago
- Documentation of the OCaml implementation☆53Updated 2 years ago
- Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)☆121Updated last year
- Interoperable effects based concurrency☆133Updated last month
- A hands-on tutorial on the new parallelism features in OCaml 5☆206Updated last year
- This repository contains examples to help on understanding what are and how to write PPXs in OCaml.☆44Updated 8 months ago
- A library that makes it nicer to work with nested functional data structures☆60Updated last month
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples☆119Updated 7 months ago
- Petrol's an OCaml SQL API made to go FAST.☆122Updated 10 months ago
- ☆85Updated 3 years ago
- Automatically generates OCaml FFI bindings and C shim code to C/C++ libraries☆33Updated last year
- Tornado is a BitTorrent client written entirely in OCaml.☆57Updated last year
- ☆23Updated last year
- OCaml hacking ideas, small and large.☆18Updated last year
- A library with an encoding of higher kinded types in OCaml☆40Updated last month
- Shopify's Liquid templating language in OCaml. Features an interpreter, parser and lexer.☆47Updated 2 weeks ago
- Realtime grep for OCaml/Coq sources available on opam☆85Updated 11 months ago
- Software Transactional Memory for OCaml☆128Updated last month
- Monitor Eio programs☆78Updated last year
- Explore OCaml is a centralised source of workflows for being productive with OCaml using the OCaml Platform☆45Updated 4 years ago
- A CI for OCaml projects☆113Updated last week
- ☆14Updated last year
- OCaml from the Very Beginning☆52Updated 2 months ago