Alternatives and similar repositories for VeriCUDA:

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

• keigoi / session-ocaml
  An implementation of binary session types in OCaml
  ☆36Updated 5 years ago
• kenichi-asai / Universe
  The Universe Library for OCaml
  ☆14Updated 6 years ago
• actions-ml / setup-ocaml
  GitHub Action for the OCaml programming language
  ☆18Updated 3 years ago
• objmagic / jaw
  Code using GADT
  ☆37Updated 3 years ago
• hopv / r_type
  A model-checker for caml programs.
  ☆13Updated 3 years ago
• keigoi / ocaml-mpst
  Multiparty Session Types in OCaml
  ☆57Updated 2 months ago
• gretay-js / ocamlfdo
  Feedback-directed optimizer for OCaml
  ☆35Updated 3 years ago
• garrigue / certint
  A Certified Interpreter for ML with Structural Polymorphism
  ☆43Updated 2 years ago
• umazalakain / session-types-coq
  Formalising session types in Coq
  ☆17Updated 5 years ago
• jscert / jsexplain
  ☆26Updated 2 years ago
• strymonas / strymonas-ocaml
  ☆28Updated 9 months ago
• yallop / staged-generic-programming
  Code for "Staged Generic Programming" (ICFP 2017)
  ☆26Updated last year
• ocaml-opam / opam-0install-solver
  a solver for opam packages using 0install's solver engine
  ☆21Updated 3 months ago
• ktahar / ocaml-lp
  LP and MIP modeling in OCaml
  ☆27Updated last week
• Drup / dowsing
  ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression
  ☆34Updated last week
• braibant / coq-tutorial-ml-tactics
  A tutorial on how to write OCaml tactics for the Coq proof assistant
  ☆23Updated 8 years ago
• pi8027 / efficient-finfun
  ☆13Updated 5 years ago
• ocaml-bench / notes
  Notes and findings from our OCaml benchmarking adventures
  ☆48Updated 2 years ago
• keigoi / linocaml
  Monad-based linear types in OCaml, with a few syntax extensions
  ☆37Updated 5 years ago
• rlepigre / ocaml-bindlib
  Efficient binder representation in OCaml
  ☆39Updated 6 months ago
• dhil / ocaml-multicont
  multi-shot continuations in OCaml
  ☆47Updated 3 weeks ago
• NicolasT / ocaml-free
  A 'free monad' library for OCaml
  ☆22Updated 10 years ago
• pedagand / MPRI-2.4-DTP
  MPRI-2.4 Dependently-typed Functional Programming
  ☆32Updated 4 years ago
• hipsleek / Heifer
  effects system for continuation
  ☆16Updated last week
• keigoi / hlist-ocaml
  Heterogeneously-typed lists for OCaml
  ☆12Updated 2 years ago
• backtracking / ocaml-bdd
  A simple BDD library for OCaml
  ☆13Updated 2 years ago
• yallop / metaocaml-letrec
  flexible 'let rec' generation for MetaOCaml
  ☆26Updated last year
• shonfeder / um-abt
  An OCaml library implementing unifiable abstract binding trees (UABTs)
  ☆27Updated last year
• dbuenzli / uunf
  Unicode text normalization for OCaml
  ☆21Updated 2 months ago
• yoshihiro503 / ocamltter
  ocamltter is a Twitter client in OCaml. This client run on the OCaml toplevel interpreter. Then each operation on the client is just a OC…
  ☆75Updated 6 years ago