Sinatra like web toolkit for OCaml
Repository Index
47,133 repositories indexed
1–9 of 9 · Most stars
The Ott tool for writing definitions of programming languages and calculi
CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory
- coq
- hammer
- automation
- proof-search
A REST toolkit for OCaml
- ocaml
- webmachine
- web
- http
OSnap is a snapshot testing tool, which mainly focuses on speed and ease of use.
- diff
- snapshot-testing
- testing
- snapshot
Template for an ocaml project with modern tooling
- ocaml
Tool to convert OASIS metadata to OPAM package descriptions
A command-line tool to manage Github Issues
Volt - A variant of Bolt OCaml logging tool