yminsky / incremental-tutorialLinks
A tutorial on Incremental, originally for CUFP 2017
☆45Updated 8 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:
- Functional programming library for OCaml☆60Updated 6 years ago
- OCaml Programming Patterns - random tricks, "design patterns", etc.☆52Updated 4 months ago
- OCaml with macros☆60Updated last month
- Library for incremental computations depending only on Core_kernel☆47Updated 7 years ago
- OCaml bindings for D3.js☆75Updated 7 years ago
- Higher-kinded programming in OCaml☆188Updated 2 years ago
- Selective Applicative Functors in OCaml: Declare Your Effects Statically, Select Which to Execute Dynamically☆47Updated 6 years ago
- OCaml version of Category Theory For Programmers☆134Updated 5 years ago
- Misc algorithms in OCaml (HyperLogLog, jump consistent hashing)☆71Updated last year
- Various signed and unsigned integer types for OCaml☆65Updated 11 months ago
- A library that makes it nicer to work with nested functional data structures☆60Updated last week
- OCaml with typed algebraic effects☆52Updated 7 years ago
- System Fω interpreter for use in Advanced Functional Programming course☆68Updated 2 years ago
- Explore OCaml is a centralised source of workflows for being productive with OCaml using the OCaml Platform☆45Updated 4 years ago
- Private extraction of astrada's lens library☆65Updated 4 years ago
- Lwt Translations of the Async Code Examples in Real World OCaml☆105Updated 8 years ago
- Private extraction of astrada's lens library☆56Updated 4 years ago
- Wiki for ocaml compiler internals☆49Updated 12 years ago
- Declarative events and signals for OCaml☆143Updated last year
- Inline (Unit) Tests for OCaml☆67Updated 4 years ago
- A "implementation" of Girard's paradox in OCaml☆109Updated 10 years ago
- Simple template for midsize OCaml project☆128Updated 9 months ago
- Generate Shell Phrases In OCaml☆47Updated 3 years ago
- Micro-benchmarking library for OCaml☆54Updated last week
- OCaml backend for Agda☆39Updated 7 years ago
- Staged metaprogramming in stock OCaml☆154Updated last year
- OPAM repo for OCaml multicore development☆51Updated 3 years ago
- Jane Street Capital's asynchronous execution library (core)☆57Updated last week
- Light library to deal with RPCs in OCaml☆97Updated 3 months ago
- A modular sat/smt solver with proof output.☆101Updated last year