yminsky / incremental-tutorialLinks
A tutorial on Incremental, originally for CUFP 2017
☆45Updated 7 years ago
Alternatives and similar repositories for incremental-tutorial
Users that are interested in incremental-tutorial are comparing it to the libraries listed below
Sorting:
- OCaml Programming Patterns - random tricks, "design patterns", etc.☆52Updated 5 months ago
- Functional programming library for OCaml☆60Updated 5 years ago
- Higher-kinded programming in OCaml☆183Updated last year
- OCaml bindings for D3.js☆75Updated 7 years ago
- System Fω interpreter for use in Advanced Functional Programming course☆65Updated last year
- Private extraction of astrada's lens library☆57Updated 4 years ago
- Selective Applicative Functors in OCaml: Declare Your Effects Statically, Select Which to Execute Dynamically☆46Updated 6 years ago
- Library for incremental computations depending only on Core_kernel☆48Updated 6 years ago
- OCaml version of Category Theory For Programmers☆133Updated 5 years ago
- OCaml with macros☆58Updated 2 weeks ago
- Private extraction of astrada's lens library☆66Updated 4 years ago
- Lwt Translations of the Async Code Examples in Real World OCaml☆105Updated 8 years ago
- OCaml backend for Agda☆40Updated 6 years ago
- A library with an encoding of higher kinded types in OCaml☆40Updated 2 weeks ago
- OCaml with typed algebraic effects☆50Updated 6 years ago
- Example row-polymorphism implementations☆61Updated last year
- A "implementation" of Girard's paradox in OCaml☆108Updated 10 years ago
- Jane Street Capital's asynchronous execution library (core)☆57Updated 2 weeks ago
- OPAM repo for OCaml multicore development☆51Updated 3 years ago
- A simple state-machine framework for OCaml based on QCheck☆66Updated 3 years ago
- Declarative 2D vector graphics for OCaml☆95Updated 6 months ago
- Wiki for compiler hacking sessions☆90Updated 7 years ago
- Declarative events and signals for OCaml☆142Updated last year
- Various signed and unsigned integer types for OCaml☆66Updated 6 months ago
- Experimental Malfunction backend for Idris☆82Updated 7 years ago
- Inline (Unit) Tests for OCaml☆67Updated 4 years ago
- Error-recovering streaming HTML5 and XML parsers☆148Updated 8 months ago
- A 'free monad' library for OCaml☆22Updated 11 years ago
- (Archived) Automatically build and dynlink ocaml source files☆59Updated last year
- OCaml extended with modular implicits☆104Updated 6 years ago