art-w / deque
Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)
☆121Updated 7 months ago
Alternatives and similar repositories for deque:
Users that are interested in deque are comparing it to the libraries listed below
- A deterministic parser with fused lexing☆72Updated last year
- Software Transactional Memory for OCaml☆114Updated last month
- A library that makes it nicer to work with nested functional data structures☆58Updated 3 months ago
- Fωμ type checker and compiler☆52Updated 2 years ago
- A fancy diagnostics library that allows your compilers to exit with grace☆70Updated 8 months ago
- Tools for record-and-replay debugging☆43Updated last year
- OCaml plus Jane Street extensions☆73Updated 6 months ago
- A tool-agnostic formal specification language for OCaml.☆133Updated last week
- Demo for dependent types + runtime code generation☆66Updated 2 months ago
- Interoperable effects based concurrency☆119Updated this week
- A pure type system implemented in OCaml☆77Updated 4 years ago
- Experimental model checker for testing concurrent algorithms☆32Updated last month
- Lock-free data structures for multicore OCaml☆236Updated last month
- Purely functional GUI algebra☆74Updated 2 years ago
- Documentation of the OCaml implementation☆54Updated last year
- A benchmark suite for the OCaml compiler☆83Updated 5 months ago
- Streaming client for OCaml's Memprof☆65Updated 5 months ago
- 🩺 A library for compiler diagnostics☆38Updated last week
- A simple scheduler for OCaml 5☆101Updated last week
- ☆23Updated 4 months ago
- Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques☆44Updated this week
- Automatically generates OCaml FFI bindings and C shim code to C/C++ libraries☆33Updated 11 months ago
- The Steel separation logic library for F*☆33Updated this week
- Dependency graphs for OCaml modules, libraries and packages☆37Updated 7 months ago
- Monitor Eio programs☆78Updated 11 months ago
- Runtime assertion checking based on Gospel specifications☆44Updated 3 weeks ago
- Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc☆101Updated last year
- 🦠 Reusable components based on algebraic effects☆48Updated 4 months ago
- Commodity thread pools and concurrency primitives for OCaml 5☆56Updated 2 months ago
- This repository contains examples to help on understanding what are and how to write PPXs in OCaml.☆40Updated 2 months ago