yminsky / incremental-tutorial
A tutorial on Incremental, originally for CUFP 2017
☆43Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for incremental-tutorial
- OCaml Programming Patterns - random tricks, "design patterns", etc.☆52Updated 3 years ago
- Functional programming library for OCaml☆60Updated 5 years ago
- Higher-kinded programming in OCaml☆179Updated last year
- Library for incremental computations depending only on Core_kernel☆47Updated 6 years ago
- OCaml bindings for D3.js☆74Updated 6 years ago
- Private extraction of astrada's lens library☆56Updated 3 years ago
- Selective Applicative Functors in OCaml: Declare Your Effects Statically, Select Which to Execute Dynamically☆40Updated 5 years ago
- OCaml backend for Agda☆39Updated 6 years ago
- Private extraction of astrada's lens library☆66Updated 3 years ago
- Lwt Translations of the Async Code Examples in Real World OCaml☆104Updated 7 years ago
- A toy implementation of the bitcoin protocol in ocaml.☆29Updated 8 years ago
- OCaml version of Category Theory For Programmers☆125Updated 4 years ago
- OCaml with macros☆53Updated this week
- A "implementation" of Girard's paradox in OCaml☆105Updated 9 years ago
- OCaml bindings for the virtual-dom library☆56Updated last week
- Simple template for midsize OCaml project☆123Updated 3 years ago
- Error-recovering streaming HTML5 and XML parsers☆146Updated last month
- A simple state-machine framework for OCaml based on QCheck☆65Updated 3 years ago
- Jane Street Capital's asynchronous execution library (core)☆57Updated last month
- (Archived) Automatically build and dynlink ocaml source files☆59Updated last year
- A session manager for your everyday needs☆44Updated 2 years ago
- Various signed and unsigned integer types for OCaml☆63Updated last year
- System Fω interpreter for use in Advanced Functional Programming course☆65Updated last year
- Staged metaprogramming in stock OCaml☆150Updated 7 months ago
- OCaml with typed algebraic effects☆48Updated 6 years ago
- Ropes ("heavyweight strings") for OCaml☆49Updated 3 months ago
- A simple monadic parser combinator library for OCaml☆65Updated 2 years ago
- Reparse is a monadic, recursive descent based, comprehensive parser construction library for ocaml.☆53Updated 3 years ago