A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.
- ocaml
- stdlib
- data-structure
- portable
Repository Index
47,133 repositories indexed
1–8 of 8 · Most stars
Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]
- coq
- ide
- user-interface
- vscode-extension
Rocq plugin embedding Elpi
- coq
- metaprogramming
- extension-language
- lambda-prolog
Syntax extension for writing SQL in OCaml
- sql
- ocaml
- reasonml
OCaml type-safe query builder with syntax tree extension
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.
Object Relational Mapper extension
Syntax extension for embedded SQL queries using PG'OCaml.