Pure OCaml regular expressions, with support for Perl and POSIX-style strings
- ocaml
- dfa
- regular-expression
Repository Index
47,133 repositories indexed
49–72 of 183 · Most stars
CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory
- coq
- hammer
- automation
- proof-search
OCaml library for reading, writing and modifying PDF files
The Frenetic Programming Language and Runtime System
Jane Street's standard library overlay (kernel)
A REST toolkit for OCaml
- ocaml
- webmachine
- web
- http
Web library for OCaml with support for HTTP/1.X / HTTP/2
- http
- http2
- http-client
- https
Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]
- coq
- ide
- user-interface
- vscode-extension
drom is a wrapper over opam/dune in an attempt to provide a cargo-like user experience. It can be used to create full OCaml projects with sphinx and odoc documentation. It has specific knowledge of Github and will generate files for Github Actions CI and Github pages.
Automated S-expression conversion
Rocq plugin embedding Elpi
- coq
- metaprogramming
- extension-language
- lambda-prolog
Cram like framework for OCaml
Typed Regular Expressions
- regex
- types
- gadt
- ocaml
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
Communication between Coq and SAT/SMT solvers
A Yojson codec generator for OCaml.
- deriving
- json
Interfacing Qt/QML with OCaml. Formely known as lablqt
An OCaml generic virtual machine for microcontrollers
Self-contained monadic parser combinators for OCaml
- parser-combinators
- parser-monad
Syntax extension for writing SQL in OCaml
- sql
- ocaml
- reasonml
A compiler for the 🎃 Spooky 😱 programming language 👻
- halloween
- surprise
- fear
- programming-language
typed bidirectional router for OCaml/ReasonML web applications
- ocaml
- router
- http-router
- http-routing
SIMT Abstractions for Runtime Extensible Kernels (GPGPU programing with OCaml)
- spoc
- ocaml
- opencl
- cuda