Automated S-expression conversion
Repository Index
62,272 visible repositories in the index
73–96 of 212 · Most stars
Rocq plugin embedding Elpi
- coq
- metaprogramming
- extension-language
- lambda-prolog
Typed Regular Expressions
- regex
- types
- gadt
- ocaml
Easy OCaml bindings for Javascript libraries
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
A Yojson codec generator for OCaml.
- deriving
- json
Interfacing Qt/QML with OCaml. Formely known as lablqt
An OCaml generic virtual machine for microcontrollers
Self-contained monadic parser combinators for OCaml
- parser-combinators
- parser-monad
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