Rocq plugin embedding Elpi
- coq
- metaprogramming
- extension-language
- lambda-prolog
Repository Index
85,081 visible repositories in the index
25–48 of 65 · Most stars
Typed Regular Expressions
- regex
- types
- gadt
- ocaml
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
SIMT Abstractions for Runtime Extensible Kernels (GPGPU programing with OCaml)
- spoc
- ocaml
- opencl
- cuda
A simple scheduler for OCaml 5
- effects
- ocaml
- parallelism
- scheduler
OCaml type-safe query builder with syntax tree extension
Nice parsers in OCaml without the boilerplate
- ocaml
- menhir
- boilerplate
- parsing
Pure OCaml implementation of Zlib.
- ocaml
- zlib
- compression
- decompression
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.
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
- coq
- dependency-graph
- dependency-analysis
- docker-coq-action
RFC3986 URI parsing library for OCaml
- ocaml
- uri
- url
- rfc-3986
Simple hash algorithms in OCaml
- hash
- ocaml
- sha1
- sha256
Less redundancy in type declarations and signatures
Generate nix expressions from opam packages
BLAS and LAPACK binding in OCaml with type-based static size checking for matrix operations
Easy to use Makefile for small to medium-sized OCaml-projects
- ocaml
- makefile
The transitory OCaml software packager
A simple multi-format pretty-printer for Menhir.
- ocaml
- menhir
- parser
- pretty-print
Object Relational Mapper extension
Python bindings for the Coq interactive proof assistant
- python
- coq
- verification
- machine-learning
simple package build system for ocaml
Parallelize _anything_ //
- ocaml-library
- parallel-computing
- stream-processing
- multi-processing
Syntax extension for embedded SQL queries using PG'OCaml.