vbgl Vincent Laporte
github.com/vbgl · maintains 464 packages (463 directly), sole maintainer of 388, member of 0 teams
388 packages · page 1 of 4
| Package ▲ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
Font for Arabic-based writing systems in the Kano region of Nigeria and in Niger |
3.000 |
1 | 3 | 0 | 0 | single | ||
Classical Arabic typeface in Naskh style |
1.003 |
1 | 2 | 0 | 0 | single | ||
Powerful editor targeted towards programmers and webdevelopers |
2.4.2 |
1 | 10 | 0 | 0 | single | ||
Open-source linear programming solver written in C++ |
1.17.11 |
1 | 6 | 9 | 68 | single | ||
General-purpose automated reasoning hammer tool for Coq |
1.3.3+9.1 |
1 | 5 | 0 | 0 | single | ||
Reconstruction tactics for the hammer for Coq |
1.3.3+9.1 |
1 | 5 | 1 | 1 | single | ||
Library to certify primality using Pocklington certificate and Elliptic Curve Certificate |
8.20 |
1 | 5 | 0 | 0 | single | ||
Coq library for Reals |
3.4.5 |
1 | 7 | 2 | 4 | single | ||
Generic instances of MathComp classes |
0.2.3 |
1 | 6 | 2 | 2 | single | ||
Build dependency graphs between Coq objects |
1.0+9.1 |
1 | 4 | 0 | 0 | single | ||
Finite data structures with extensional reasoning |
0.5.0 |
1 | 6 | 1 | 1 | single | ||
Tactics for simplifying the proofs of inequalities on expressions of real numbers for the Coq proof assistant |
4.11.5 |
1 | 11 | 3 | 3 | single | ||
Yet Another Coq Library on Machine Words |
3.5 |
1 | 9 | 2 | 2 | single | ||
Purely functional IO for Coq |
1.11.0 |
1 | 6 | 1 | 2 | single | ||
Command line tool for handling CSV files |
2.4 |
1 | 7 | 0 | 0 | single | ||
Composable build system |
3.23.1 → 3.24.2 |
1 | 5 | 1,215 | 1,402 | single outdated | ||
Composable build system |
2.9.3 |
1 | 5 | 0 | 0 | single | ||
Computer-Aided Cryptographic Proofs |
2026.09 |
1 | 16 | 0 | 0 | single | ||
Testing program for EasyCrypt formalizations |
2026.09 |
1 | 11 | 0 | 0 | single | ||
Verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic |
1.8.0 → 1.8.3 |
1 | 8 | 0 | 0 | single outdated | ||
Reference implementation of the Dirfile Standards |
0.11.0 |
1 | 4 | 0 | 0 | single | ||
Workbench for high-assurance and high-speed cryptography |
2026.09.0 |
1 | 16 | 0 | 0 | single | ||
C runtime libraries of ANTLR v3 |
3.4 → 3.5.3 |
1 | 2 | 2 | 27 | single outdated | ||
Performance monitoring and benchmarking suite |
5.5.2 |
1 | 3 | 0 | 0 | single | ||
Modular and Open Platform for Static Analysis using Abstract Interpretation |
1.1 → 1.2 |
1 | 17 | 0 | 0 | single outdated | ||
SAT solver binary based on the msat library |
0.9.1 |
1 | 8 | 0 | 0 | single | ||
Simple tool which produces pretty-printed output from a Menhir parser file (.mly) |
0.8.1 → 0.91 |
1 | 7 | 0 | 0 | single outdated | ||
Convert a filesystem into a static OCaml module |
4.1.0 |
1 | 7 | 9 | 13 | single | ||
Simple cross-platform OCaml code editor built for top-level evaluation |
1.2.0 |
1 | 7 | 0 | 0 | single | ||
Reusable Effects-Based Components |
2.0.0 |
1 | 7 | 2 | 3 | single | ||
Numerical abstract domain library |
0.9.15 |
1 | 12 | 5 | 12 | single | ||
Bash completion support for OCaml Stdlib.Arg |
0.2.1 |
1 | 7 | 1 | 1 | single | ||
Library for constructing and printing compiler diagnostics |
0.3.1 |
1 | 7 | 0 | 0 | single | ||
Combinators for expressing ASN.1 grammars in OCaml |
0.3.3 |
1 | 8 | 3 | 70 | single | ||
Runtime for atdgen generated bucklescript converters |
4.2.0 |
1 | 5 | 1 | 12 | single | ||
Runtime library for code generated by atdgen |
4.2.0 |
1 | 7 | 5 | 12 | single | ||
Simplified OCaml JSON serializers using the Yojson AST |
4.2.0 |
1 | 7 | 1 | 12 | team-only | ||
Exponential backoff mechanism for OCaml |
0.1.1 |
1 | 6 | 4 | 7 | single | ||
Base64 encoding and decoding in OCaml |
3.5.2 |
1 | 8 | 45 | 169 | single | ||
Compatibility library to use Stdlib.Bigarray when possible |
1.1.0 |
1 | 5 | 7 | 91 | single | ||
Bigstring intrinsics and fast blits based on memcpy/memmove |
0.10.0 |
1 | 8 | 26 | 199 | single | ||
Binary data format designed for speed, safety, ease of use and backward compatibility as protocols evolve |
1.2.2 |
1 | 7 | 2 | 13 | single | ||
Datastructure to accumulate values in bins |
0.0.0 |
1 | 5 | 1 | 2 | single | ||
Build and execute typed scientific workflows |
unstable-2024-05-17 → 0.6.0 |
1 | 16 | 0 | 0 | single broken outdated | ||
Bit vector library for OCaml |
2.1 |
1 | 5 | 0 | 0 | single | ||
OCaml binding for the SMT solver Bitwuzla C++ API |
0.8.2 → 0.9.1 |
1 | 6 | 2 | 3 | single outdated | ||
Basic OS interaction for OCaml |
0.3.0 |
1 | 12 | 22 | 206 | single | ||
Toolkit for programming browsers in OCaml |
0.0.9 |
1 | 9 | 3 | 10 | single | ||
A simple library for bigstrings |
0.1.1 |
1 | 5 | 4 | 25 | single | ||
Backward Lists |
2.3.0 |
1 | 6 | 3 | 3 | single | ||
A simple cache system for mmap |
0.0.2 → 0.0.4 |
1 | 6 | 2 | 3 | single outdated | ||
A simple cache system for mmap and lwt |
0.0.2 → 0.0.4 |
1 | 8 | 0 | 0 | single outdated | ||
Stream and Genlex libraries for use with Camlp4 and Camlp5 |
5.0.1 |
1 | 5 | 36 | 189 | single | ||
Preprocessor-pretty-printer for OCaml |
8.05.02 |
1 | 12 | 3 | 11 | single | ||
Unicode library for OCaml |
2.0.0 → 2.1.0 |
1 | 7 | 4 | 4 | single outdated | ||
ADLER-32 and CRC32C Cyclic Redundancy Check |
0.5.4 |
1 | 13 | 4 | 20 | single | ||
Front-end for the C programming language that facilitates program analysis and transformation |
1.7.3 |
1 | 6 | 0 | 0 | single broken | ||
OCaml module for the declarative definition of command line interfaces |
2.1.1 |
1 | 3 | 94 | 881 | single | ||
OCaml module for the declarative definition of command line interfaces |
1.3.0 |
1 | 3 | 16 | 28 | single | ||
OCaml module for the declarative definition of command line interfaces |
1.0.4 |
1 | 3 | 2 | 2 | single | ||
HTTP(S) library for Lwt, Async and Mirage |
6.3.0 |
1 | 16 | 15 | 36 | single | ||
CoHTTP implementation for the Async concurrency library |
6.3.0 |
1 | 23 | 1 | 1 | single | ||
CoHTTP implementation for the Async concurrency library |
5.3.1 |
1 | 24 | 2 | 5 | single | ||
CoHTTP implementation with eio backend |
6.3.0 |
1 | 17 | 0 | 0 | single | ||
CoHTTP implementation using the Lwt concurrency library |
6.3.0 |
1 | 12 | 7 | 30 | single | ||
CoHTTP implementation for the Js_of_ocaml JavaScript compiler |
6.3.0 |
1 | 15 | 2 | 2 | single | ||
CoHTTP implementation for Unix and Windows using Lwt |
6.3.0 |
1 | 13 | 14 | 24 | single | ||
CoHTTP implementation using the Lwt concurrency library |
5.3.1 |
1 | 11 | 1 | 1 | single | ||
Lightweight Cohttp + Lwt based HTTP server |
6.3.0 |
1 | 9 | 0 | 0 | single | ||
CoHTTP toplevel pretty printers for HTTP types |
6.3.0 |
1 | 7 | 0 | 0 | single | ||
HTTP(S) library for Lwt, Async and Mirage |
5.3.1 |
1 | 14 | 3 | 8 | single | ||
Identify type of your file (such as the MIME type) |
0.0.7 → 0.0.8 |
1 | 12 | 3 | 4 | single outdated | ||
Identify type of your file (such as the MIME type) |
0.0.7 → 0.0.8 |
1 | 12 | 0 | 0 | single outdated | ||
Database of decision trees to recognize MIME type |
0.0.7 → 0.0.8 |
1 | 10 | 1 | 1 | single outdated | ||
Identify type of your file (such as the MIME type) |
0.0.7 → 0.0.8 |
1 | 12 | 0 | 0 | single outdated | ||
Identify type of your file (such as the MIME type) |
0.0.7 → 0.0.8 |
1 | 11 | 1 | 1 | single outdated | ||
Network connection establishment library |
8.0.0 |
1 | 11 | 2 | 37 | single | ||
Network connection establishment library for Async |
8.0.0 |
1 | 15 | 2 | 7 | single | ||
Network connection establishment library for Lwt |
8.0.0 |
1 | 9 | 4 | 28 | single | ||
Network connection establishment library for Lwt_unix |
8.0.0 |
1 | 14 | 1 | 25 | single | ||
Network connection establishment library for MirageOS |
8.0.0 |
1 | 24 | 2 | 2 | single | ||
OCaml library used to manage the configuration file(s) of an application |
1.2 |
1 | 5 | 0 | 0 | single broken | ||
C preprocessor for OCaml |
1.8.0 |
1 | 5 | 32 | 505 | single | ||
Plugin to use cppo with ocamlbuild |
1.8.0 |
1 | 6 | 0 | 0 | single | ||
Detect CPU features from OCaml |
0.1.2 |
1 | 5 | 0 | 0 | single | ||
Access C-like structures directly from OCaml |
6.3.0 |
1 | 6 | 50 | 224 | single | ||
Access C-like structures directly from OCaml |
6.3.0 |
1 | 9 | 1 | 1 | single | ||
Access C-like structures directly from OCaml |
6.3.0 |
1 | 7 | 2 | 27 | single | ||
Access C-like structures directly from OCaml |
6.3.0 |
1 | 9 | 0 | 0 | single | ||
Access C-like structures directly from OCaml |
6.3.0 |
1 | 6 | 1 | 1 | single | ||
Pure OCaml library to read and write CSV files |
2.4 |
1 | 5 | 4 | 8 | single | ||
Pure OCaml library to read and write CSV files |
2.4 |
1 | 7 | 0 | 0 | single | ||
OCaml Bindings to curses/ncurses |
1.0.11 → 1.0.12 |
1 | 8 | 0 | 0 | single outdated | ||
Pure OCaml implementation of Zlib |
1.6.1 |
1 | 14 | 8 | 17 | single | ||
Simple hash algorithms in OCaml |
1.3.1 |
1 | 8 | 27 | 114 | single | ||
Path-based dispatching for client- and server-side applications |
0.5.0 |
1 | 7 | 1 | 1 | single | ||
Domain Name System (DNS) library |
10.2.6 |
1 | 17 | 12 | 28 | single | ||
MirageOS let's encrypt certificate retrieval |
10.2.6 |
1 | 18 | 1 | 1 | single | ||
Unix command line utilities using uDNS |
10.2.6 |
1 | 29 | 0 | 0 | single | ||
Pure DNS resolver API |
10.2.6 |
1 | 11 | 3 | 18 | single |