SoftwareFoundationGroupAtKyotoU / VeriCUDA
Deductive verifier for CUDA
☆14Updated 7 years ago
Related projects: ⓘ
- Code using GADT☆37Updated 3 years ago
- An implementation of binary session types in OCaml☆35Updated 5 years ago
- Invertible syntax for OCaml☆30Updated 5 years ago
- Feedback-directed optimizer for OCaml☆35Updated 3 years ago
- Multiparty Session Types in OCaml☆56Updated 2 weeks ago
- The Universe Library for OCaml☆14Updated 5 years ago
- A Certified Interpreter for ML with Structural Polymorphism☆43Updated last year
- A model-checker for caml programs.☆13Updated 3 years ago
- ☆28Updated 4 months ago
- ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression☆35Updated last week
- flexible 'let rec' generation for MetaOCaml☆22Updated last year
- Formalising session types in Coq☆17Updated 5 years ago
- ☆26Updated 2 years ago
- ☆11Updated 2 years ago
- multi-shot continuations in OCaml☆46Updated 3 weeks ago
- ☆13Updated 4 years ago
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 4 years ago
- 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 5 years ago
- Implementations of F-ing modules and 1ML, as well as bibliography of (mainly ML-style) modules☆28Updated last year
- ☆10Updated 2 months ago
- Unicode text segmentation for OCaml☆23Updated last week
- Notes and findings from our OCaml benchmarking adventures☆48Updated last year
- MPRI-2.4 Dependently-typed Functional Programming☆32Updated 3 years ago
- 👹 A library for hierarchical names and lexical scoping☆26Updated 2 months ago
- Code for "Staged Generic Programming" (ICFP 2017)☆26Updated last year
- Backport new syntax to older compilers☆14Updated 4 years ago
- A library of splittable pseudo-random number generators for OCaml☆34Updated 5 months ago
- A tutorial on how to write OCaml tactics for the Coq proof assistant☆23Updated 7 years ago
- A 'free monad' library for OCaml☆22Updated 10 years ago
- A simple BDD library for OCaml☆14Updated 2 years ago