yminsky / incremental-tutorial
A tutorial on Incremental, originally for CUFP 2017
☆44Updated 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
- Functional programming library for OCaml☆60Updated 5 years ago
- OCaml bindings for D3.js☆75Updated 6 years ago
- Higher-kinded programming in OCaml☆181Updated last year
- OCaml Programming Patterns - random tricks, "design patterns", etc.☆52Updated 2 months ago
- Declarative events and signals for OCaml☆138Updated 11 months 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.☆30Updated 9 years ago
- Jane Street Capital's asynchronous execution library (core)☆57Updated 4 months ago
- A "implementation" of Girard's paradox in OCaml☆105Updated 9 years ago
- System Fω interpreter for use in Advanced Functional Programming course☆65Updated last year
- OCaml backend for Agda☆39Updated 6 years ago
- Caml on the Web (COW) is a set of parsers and syntax extensions to let you manipulate HTML, CSS, XML, JSON and Markdown directly from OCa…☆107Updated last year
- Private extraction of astrada's lens library☆57Updated 3 years ago
- OCaml bindings for the virtual-dom library☆56Updated 4 months ago
- Library for incremental computations depending only on Core_kernel☆47Updated 6 years ago
- Wiki for compiler hacking sessions☆90Updated 7 years ago
- Simple template for midsize OCaml project☆125Updated 2 months ago
- Various signed and unsigned integer types for OCaml☆66Updated 3 months ago
- Private extraction of astrada's lens library☆66Updated 3 years ago
- A modular sat/smt solver with proof output.☆99Updated last year
- Micro-benchmarking library for OCaml☆50Updated 4 months ago
- An example of a simple project in OCaml that uses Merlin☆36Updated 9 years ago
- A session manager for your everyday needs☆43Updated 2 years ago
- OCaml with macros☆57Updated 2 months ago
- DEPRECATED. We recommend Jane Street's dune (formerly jbuilder).☆23Updated 7 years ago
- Declarative 2D vector graphics for OCaml☆93Updated 3 months ago
- MPRI-2.4 Dependently-typed Functional Programming☆32Updated 4 years ago
- Selective Applicative Functors in OCaml: Declare Your Effects Statically, Select Which to Execute Dynamically☆42Updated 6 years ago
- OCaml with typed algebraic effects☆49Updated 6 years ago
- OCaml version of Category Theory For Programmers☆131Updated 5 years ago