vocal-project / vocal

Related projects ⓘ

Alternatives and complementary repositories for vocal

• samoht / depyt
  Yet another type combinator library
  ☆54Updated 2 years ago
• mirage / eqaf
  Constant time equal function to avoid timing attacks in OCaml
  ☆51Updated 4 months ago
• lpw25 / ocaml-typed-effects
  OCaml with typed algebraic effects
  ☆48Updated 6 years ago
• paurkedal / ppx_regexp
  Matching Regular Expressions with OCaml Patterns
  ☆56Updated last year
• inhabitedtype / bigstringaf
  Bigstring intrinsics and fast blits based on memcpy/memmove
  ☆37Updated 3 months ago
• dariusf / ppx_debug
  Tools for record-and-replay debugging
  ☆42Updated last year
• sneeuwballen / benchpress
  Testing and benchmarking tool for logic-related programs.
  ☆25Updated last month
• rlepigre / ocaml-earley
  Parsing library based on Earley Algorithm
  ☆18Updated 3 years ago
• jmid / qcstm
  A simple state-machine framework for OCaml based on QCheck
  ☆65Updated 3 years ago
• xavierleroy / pringo
  A library of splittable pseudo-random number generators for OCaml
  ☆34Updated 7 months ago
• ocaml-bench / notes
  Notes and findings from our OCaml benchmarking adventures
  ☆48Updated 2 years ago
• pqwy / psq
  Functional Priority Search Queues for OCaml
  ☆53Updated 7 months ago
• Drup / ocaml-lmdb
  Ocaml bindings for lmdb.
  ☆48Updated last year
• keigoi / ocaml-mpst
  Multiparty Session Types in OCaml
  ☆57Updated last week
• dbuenzli / note
  Declarative events and signals for OCaml
  ☆45Updated 7 months ago
• rlepigre / ocaml-bindlib
  Efficient binder representation in OCaml
  ☆39Updated 4 months ago
• mjambon / dum
  Print OCaml values based on their runtime representation
  ☆29Updated 2 years ago
• mjambon / dune-deps
  Show the internal dependencies in your OCaml/Reason/Dune project
  ☆59Updated last year
• ocaml-gospel / ortac
  Runtime assertion checking based on Gospel specifications
  ☆38Updated 3 weeks ago
• patricoferris / omditor
  Irmin-based Markdown Editor
  ☆47Updated last year
• jobjo / popper
  Property-based testing at ease
  ☆42Updated 3 years ago
• dinosaure / art
  Adaptive Radix Tree in OCaml
  ☆47Updated 3 months ago
• Drup / tree_layout
  Algorithms to layout trees in a pretty manner.
  ☆36Updated 2 years ago
• Drup / dowsing
  ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression
  ☆34Updated this week
• savonet / ocaml-posix
  Bindings to the various POSIX APIs
  ☆27Updated last year
• mirage / ocaml-matrix
  Implementation of a matrix server in OCaml for MirageOS
  ☆48Updated last year
• ocsigen / deriving
  Extension to OCaml for deriving functions from type declarations.
  ☆26Updated 3 years ago
• OCamlPro / memthol
  Memthol is a visualizer for memory profiling data generated from OCaml programs.
  ☆27Updated last year
• Chris00 / ocaml-rope
  Ropes ("heavyweight strings") for OCaml
  ☆49Updated 3 months ago
• backtracking / bitv
  OCaml bit vector library
  ☆32Updated 2 weeks ago