Communication between Coq and SAT/SMT solvers
Repository Index
47,133 repositories indexed
73–96 of 207 · Most stars
A Yojson codec generator for OCaml.
- deriving
- json
Interfacing Qt/QML with OCaml. Formely known as lablqt
Self-contained monadic parser combinators for OCaml
- parser-combinators
- parser-monad
An OCaml generic virtual machine for microcontrollers
Syntax extension for writing SQL in OCaml
- sql
- ocaml
- reasonml
A compiler for the 🎃 Spooky 😱 programming language 👻
- halloween
- surprise
- fear
- programming-language
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
Error-recovering streaming HTML5 and XML parsers
A simple scheduler for OCaml 5
- effects
- ocaml
- parallelism
- scheduler
OCaml template engine almost compatible with jinja2
- ocaml
- jinja2
- template-engine
OCaml bindings to the SQLite3 database
OCaml type-safe query builder with syntax tree extension
Nice parsers in OCaml without the boilerplate
- ocaml
- menhir
- boilerplate
- parsing
OCaml Bioinformatics Library
A Unicode library for OCaml
Pure OCaml implementation of Zlib.
- ocaml
- zlib
- compression
- decompression
OCaml implementation of the DNS protocol
- ocaml
- dns
- mirageos
- unikernel
OCaml Math Library
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.
OCaml cryptographic library
Lwt Translations of the Async Code Examples in Real World OCaml
- ocaml
- lwt
OCaml code generator plugin for the Cap'n Proto serialization framework