Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
- coq
- dependency-graph
- dependency-analysis
- docker-coq-action
Repository Index
82,088 visible repositories in the index
25–40 of 40 · Most stars
Easy to use Makefile for small to medium-sized OCaml-projects
- ocaml
- makefile
simple package build system for ocaml
Multilingualization for the OCaml source code
Type-safe library for building parallel applications, built on top of Async's Rpc module.
A library to build and execute typed scientific workflows
OCaml bindings to PCRE (Perl Compatibility Regular Expressions)
- ocaml
- pcre
- pattern-matching
- string-matching
general value printing within compiled programs
An HTML documentation generator for Coq source files
Read and write FAT format filesystems from OCaml
Bencode (.torrent file format) reader/writer in OCaml
A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.
- algorand
- blockchain
- cryptocurrency
- domain-specific-language
A simple OCaml ppx filter to support string interpolation like [%str "value of foo is $(foo)"]
OCaml library designed to streamline the process of validating records, variants, lists, or values. It primarily operates through a PPX deriver that automatically generates validators.
- validation
OCaml library for forking child processes to perform work on multiple cores
An HTML documentation generator for Rocq source files