Repository Index

Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

• ocaml
• javascript
• reasonml
• reason

GraphQL servers in OCaml

• ocaml
• graphql

OCaml project generator.

• spin
• ocaml
• reason
• template

CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory

• coq
• hammer
• automation
• proof-search

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

Syntax extension for writing SQL in OCaml

• sql
• ocaml
• reasonml

typed bidirectional router for OCaml/ReasonML web applications

• ocaml
• router
• http-router
• http-routing

Easy to use Makefile for small to medium-sized OCaml-projects

• ocaml
• makefile

Pretty-printing library for OCaml