Alternatives and similar repositories for VeriCUDA:

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

• kenichi-asai / Universe
  The Universe Library for OCaml
  ☆14Updated 6 years ago
• keigoi / ocaml-mpst
  Multiparty Session Types in OCaml
  ☆59Updated 4 months ago
• gretay-js / ocamlfdo
  Feedback-directed optimizer for OCaml
  ☆35Updated 3 years ago
• objmagic / jaw
  Code using GADT
  ☆37Updated 3 years ago
• keigoi / session-ocaml
  An implementation of binary session types in OCaml
  ☆36Updated 5 years ago
• jscert / jsexplain
  ☆26Updated 2 years ago
• dbuenzli / uuseg
  Unicode text segmentation for OCaml
  ☆23Updated 2 weeks ago
• dbuenzli / uunf
  Unicode text normalization for OCaml
  ☆21Updated 2 weeks ago
• backtracking / ocaml-bdd
  A simple BDD library for OCaml
  ☆13Updated 2 years ago
• backtracking / ocaml-bazaar
  ☆14Updated last week
• ktahar / ocaml-lp
  LP and MIP modeling in OCaml
  ☆28Updated 2 weeks ago
• strymonas / strymonas-ocaml
  ☆28Updated last week
• yallop / metaocaml-letrec
  flexible 'let rec' generation for MetaOCaml
  ☆26Updated last year
• Drup / dowsing
  ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression
  ☆34Updated last month
• actions-ml / setup-ocaml
  GitHub Action for the OCaml programming language
  ☆18Updated 3 years ago
• umazalakain / session-types-coq
  Formalising session types in Coq
  ☆17Updated 5 years ago
• keigoi / hlist-ocaml
  Heterogeneously-typed lists for OCaml
  ☆12Updated 2 years ago
• hipsleek / Heifer
  effects system for continuation
  ☆17Updated last week
• xavierleroy / pringo
  A library of splittable pseudo-random number generators for OCaml
  ☆34Updated 2 months ago
• braibant / coq-tutorial-ml-tactics
  A tutorial on how to write OCaml tactics for the Coq proof assistant
  ☆23Updated 8 years ago
• garrigue / certint
  A Certified Interpreter for ML with Structural Polymorphism
  ☆43Updated 2 years ago
• hcarty / ppx_defer
  OCaml extension for a Go-ish [%defer ...] syntax
  ☆16Updated 2 years ago
• ocaml-opam / opam-0install-solver
  a solver for opam packages using 0install's solver engine
  ☆22Updated 5 months ago
• hopv / r_type
  A model-checker for caml programs.
  ☆13Updated 3 years ago
• cryptosense / terminal_size
  Get the size of the attached terminal in OCaml
  ☆12Updated 2 years ago
• Lysxia / coq-ceres
  Coq library for serialization to S-expressions
  ☆18Updated last year
• keigoi / linocaml
  Monad-based linear types in OCaml, with a few syntax extensions
  ☆37Updated 5 years ago
• shonfeder / um-abt
  An OCaml library implementing unifiable abstract binding trees (UABTs)
  ☆27Updated last year
• rlepigre / ocaml-earley
  Parsing library based on Earley Algorithm
  ☆18Updated 3 years ago
• dbuenzli / otfm
  OpenType font decoder for OCaml
  ☆20Updated 10 months ago