mmottl / pomap

Related projects ⓘ

Alternatives and complementary repositories for pomap

• ocamllabs / ocaml-memory-model
  ☆27Updated 5 years ago
• c-cube / mc2
  [research] A modular SMT solver in OCaml, based on mcSAT
  ☆39Updated 10 months ago
• monadius / ocaml_simple_interval
  A simple and portable floating-point interval arithmetic library in OCaml
  ☆9Updated 2 years ago
• backtracking / ocaml-hashcons
  OCaml hash-consing library
  ☆51Updated 9 months ago
• uwplse / cheerios
  Formally verified Coq serialization library with support for extraction to OCaml
  ☆23Updated last year
• garrigue / certint
  A Certified Interpreter for ML with Structural Polymorphism
  ☆43Updated last year
• dhil / ocaml-multicont
  multi-shot continuations in OCaml
  ☆46Updated 2 weeks ago
• mgree / kmt
  Kleene algebra modulo theories
  ☆26Updated last year
• bobatkey / playtime
  An OCaml EDSL for describing and solving strategic games
  ☆17Updated last year
• c-cube / choice
  Choice operator in OCaml, providing a backtracking monad
  ☆24Updated 2 years ago
• dariusf / ppx_debug
  Tools for record-and-replay debugging
  ☆42Updated last year
• OCamlPro / ocplib-simplex
  A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities
  ☆13Updated 5 months ago
• gretay-js / ocamlfdo
  Feedback-directed optimizer for OCaml
  ☆35Updated 3 years ago
• vocal-project / vocal
  ☆50Updated 3 years ago
• xavierleroy / canonical-binary-tries
  Coq development accompanying the paper "Efficient Extensional Binary Tries"
  ☆19Updated 6 months ago
• xavierleroy / pringo
  A library of splittable pseudo-random number generators for OCaml
  ☆34Updated 7 months ago
• backtracking / program-proofs-with-why3
  Some programs from Rustan Leino's "Program Proofs", in Why3.
  ☆14Updated last year
• xavierleroy / cdf-program-logics
  Companion Coq development for Xavier Leroy's 2021 lectures on program logics
  ☆40Updated 3 years ago
• metaocaml / ber-metaocaml
  Unofficial git mirror of the BER MetaOCaml patchset.
  ☆64Updated last year
• gmalecha / coq-printf
  Implementation of sprintf for Coq
  ☆18Updated 4 years ago
• frex-project / metaocaml-frex
  ☆20Updated last year
• mirage / ocaml-diet
  A simple implementation of Discrete Interval Encoding Trees
  ☆28Updated 2 years ago
• ocaml-bench / notes
  Notes and findings from our OCaml benchmarking adventures
  ☆48Updated 2 years ago
• jonsterling / agda-calf
  A cost-aware logical framework, embedded in Agda.
  ☆55Updated 2 months ago
• kiranandcode / gopcaml-mode
  [MIRROR] Ultimate Ocaml Editing Mode
  ☆21Updated 2 years ago
• lpw25 / ocaml-typed-effects
  OCaml with typed algebraic effects
  ☆48Updated 6 years ago
• voodoos / mlts
  ☆11Updated last year
• janestreet / splay_tree
  A splay tree implementation.
  ☆13Updated 2 months ago
• tsung-ju / SystemF
  An Agda formalization of System F and the Brown-Palsberg self-interpreter
  ☆24Updated 4 years ago
• barko / bentov
  OCaml implementation of histogram-approximation algorithm
  ☆15Updated 2 years ago