Alternatives and similar repositories for deque:

Users that are interested in deque are comparing it to the libraries listed below

• yallop / ocaml-flap
  A deterministic parser with fused lexing
  ☆72Updated last year
• ocaml-multicore / kcas
  Software Transactional Memory for OCaml
  ☆114Updated 3 weeks ago
• polytypic / f-omega-mu
  Fωμ type checker and compiler
  ☆52Updated 2 years ago
• johnyob / grace
  A fancy diagnostics library that allows your compilers to exit with grace
  ☆70Updated 7 months ago
• ocaml-flambda / flambda-backend
  The Flambda backend project for OCaml
  ☆123Updated this week
• dariusf / ppx_debug
  Tools for record-and-replay debugging
  ☆43Updated last year
• ocaml-bench / sandmark
  A benchmark suite for the OCaml compiler
  ☆83Updated 5 months ago
• ocaml-gospel / gospel
  A tool-agnostic formal specification language for OCaml.
  ☆132Updated last week
• NickBarnes / inside-ocaml
  Documentation of the OCaml implementation
  ☆54Updated last year
• ocaml-flambda / ocaml-jst
  OCaml plus Jane Street extensions
  ☆73Updated 6 months ago
• elpinal / bright-ml
  A statically-typed programming language based on "F-ing modules"
  ☆80Updated 4 years ago
• janestreet / memtrace
  Streaming client for OCaml's Memprof
  ☆64Updated 4 months ago
• ocaml-multicore / dscheck
  Experimental model checker for testing concurrent algorithms
  ☆32Updated last month
• RedPRL / algaeff
  🦠 Reusable components based on algebraic effects
  ☆48Updated 4 months ago
• janestreet / accessor
  A library that makes it nicer to work with nested functional data structures
  ☆54Updated 2 months ago
• effect-handlers / effects-rosetta-stone
  A comparison of how computational effects and handlers are implemented in various programming languages.
  ☆134Updated 5 years ago
• solomon-b / lambda-calculus-hs
  Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques
  ☆44Updated last year
• sim642 / odep
  Dependency graphs for OCaml modules, libraries and packages
  ☆37Updated 6 months ago
• ocaml-multicore / picos
  Interoperable effects based concurrency
  ☆116Updated this week
• ocaml-multicore / saturn
  Lock-free data structures for multicore OCaml
  ☆234Updated 3 weeks ago
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆65Updated last month
• Khady / modern-ocaml
  Template for an ocaml project with modern tooling
  ☆80Updated last month
• kit-ty-kate / labrys
  A toy language based on LLVM that implements the System Fω type-system
  ☆106Updated last year
• c-cube / moonpool
  Commodity thread pools and concurrency primitives for OCaml 5
  ☆55Updated last month
• andreypopp / type-systems
  Playing with type systems
  ☆48Updated last month
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆77Updated 4 years ago
• art-w / sherlodoc
  Fuzzy type search for OCaml documentation
  ☆73Updated 6 months ago
• jfecher / algorithm-j
  A minimal implementation of Hindley-Milner's Algorithm J in OCaml
  ☆60Updated 3 years ago
• yallop / ocaml-asp
  Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc
  ☆101Updated last year
• lpw25 / girards-paradox
  A "implementation" of Girard's paradox in OCaml
  ☆105Updated 9 years ago