Alternatives and similar repositories for elastic-mechanism:

Users that are interested in elastic-mechanism are comparing it to the libraries listed below

• aluuu / spatial_index
  Implementation of several spatial indexes (R-tree, etc.)
  ☆18Updated 2 years ago
• mato / flathead
  A port of Eric Lippert's flathead Z-machine interpreter to MirageOS
  ☆10Updated 5 years ago
• ruhatch / mirage-btrees
  ☆11Updated 9 years ago
• AltGr / opam-ed
  A small command-line tool to help with mechanical edition of opam files
  ☆10Updated last year
• arlencox / SETr
  Abstract domain library for sets
  ☆9Updated 2 years ago
• akiss / akiss
  Tool for checking trace equivalence for security protocols
  ☆16Updated 4 years ago
• kandu / mew
  Modal Editing Witch
  ☆12Updated 4 years ago
• hennequin-lab / gp
  Simple OCaml interface for Gnuplot
  ☆11Updated 3 years ago
• examachine / fiat-shamir-zkp
  OCaml implementation of Fiat-Shamir Zero Knowledge Proof system as a client/server authentication protocol
  ☆11Updated 8 years ago
• skydeck / cmitomli
  Convert a cmi file back to an mli interface
  ☆14Updated 12 years ago
• pqwy / sendmsg
  POSIX sendmsg bindings for OCaml
  ☆16Updated 8 years ago
• orbitz / opass
  Simple password db
  ☆23Updated 6 years ago
• kayceesrk / riscv-ocaml-cross
  RISC-V OCaml cross compiler
  ☆14Updated 6 years ago
• jonludlam / ocaml-iso-filesystem
  Library for manipulating ISO images
  ☆12Updated 5 years ago
• dsheets / ocaml-osx-cf
  CoreFoundation bindings in OCaml
  ☆15Updated 4 years ago
• mirage / mirage-unix
  Unix core platform libraries for MirageOS
  ☆13Updated last month
• backtracking / hashset
  OCaml implementation of sets as hash tables by Jean-Christophe Filliatre
  ☆10Updated 2 months ago
• mirage / ocaml-dkim
  DKIM support on e-mail
  ☆11Updated this week
• apatil / ocaml-vega-lite
  Complete, typesafe representation of Vega-Lite in OCaml
  ☆10Updated 7 years ago
• pqwy / cpuid
  Detect CPU features
  ☆9Updated 6 years ago
• jeffa5 / mirage-xmpp
  Implementation of XMPP for MirageOS
  ☆15Updated 6 years ago
• Octachron / phantom_algebra
  Small tensor library a la GLSL
  ☆17Updated 2 years ago
• samoht / gh-stats
  Simple tool to aggregates contribution statistics for GitHub organisations
  ☆10Updated 7 years ago
• arlencox / QUICr
  QUICr parametric abstract domain for sets
  ☆12Updated 9 years ago
• yansh / MoanaML
  Moana implementation in OCaml
  ☆16Updated 9 years ago
• barko / brr-eg
  experiments with Brr/Note
  ☆13Updated 3 years ago
• tomjridge / kv-hash
  A Key Value store using a persistent hashtable approach
  ☆18Updated 3 years ago
• dbuenzli / utext
  Unicode text for OCaml
  ☆14Updated 7 years ago
• dbuenzli / typegist
  Reflect the essence of OCaml types as values
  ☆14Updated 4 months ago
• igarnier / clustering
  An OCaml clustering library
  ☆20Updated 4 years ago