Typed Regular Expressions
- regex
- types
- gadt
- ocaml
Repository Index
47,133 repositories indexed
25–48 of 77 · Most stars
OSnap is a snapshot testing tool, which mainly focuses on speed and ease of use.
- diff
- snapshot-testing
- testing
- snapshot
Communication between Coq and SAT/SMT solvers
Syntax extension for writing SQL in OCaml
- sql
- ocaml
- reasonml
typed bidirectional router for OCaml/ReasonML web applications
- ocaml
- router
- http-router
- http-routing
SIMT Abstractions for Runtime Extensible Kernels (GPGPU programing with OCaml)
- spoc
- ocaml
- opencl
- cuda
OCaml type-safe query builder with syntax tree extension
Pure OCaml implementation of Zlib.
- ocaml
- zlib
- compression
- decompression
OCaml implementation of the DNS protocol
- ocaml
- dns
- mirageos
- unikernel
Caml on the Web (COW) is a set of parsers and syntax extensions to let you manipulate HTML, CSS, XML, JSON and Markdown directly from OCaml code.
Lwt Translations of the Async Code Examples in Real World OCaml
- ocaml
- lwt
OCaml code generator plugin for the Cap'n Proto serialization framework
Exercism exercises in OCaml.
- exercism-track
- community-contributions-accepted
- maintained-solitary
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
- coq
- dependency-graph
- dependency-analysis
- docker-coq-action
Less redundancy in type declarations and signatures
Generate nix expressions from opam packages
BLAS and LAPACK binding in OCaml with type-based static size checking for matrix operations
An SMT solver frontend for OCaml
- ocaml
- smt-lib
- symbolic-execution
- z3
Object Relational Mapper extension
An enhanced unification algorithm for Coq
Python bindings for the Coq interactive proof assistant
- python
- coq
- verification
- machine-learning
Syntax extension for embedded SQL queries using PG'OCaml.
OCaml PPX deriver for reflection
Multilingualization for the OCaml source code