3648 Search Results
ANSITerminal
Basic control of ANSI compliant terminals and the windows shell
0.8.5
LGPL-3.0-or-later WITH OCaml-LGPL-linking-exception
Used by 16 other packages
aacplus
Bindings for the aacplus library which provides functions for decoding AAC audio files
abella
Interactive theorem prover based on lambda-tree syntax
2.0.7
GPL-3.0-only
Used by 0 other packages
abstract_algebra
A small library describing abstract algebra concepts
v0.15.0
MIT
Used by 1 other packages
abt
OCaml port of CMU's abstract binding trees
0.0.3
MIT
Used by 0 other packages
accessor
A library that makes it nicer to work with nested functional data structures
v0.15.0
MIT
Used by 2 other packages
accessor_async
Accessors for Async types, for use with the Accessor library
v0.15.0
MIT
Used by 0 other packages
accessor_base
Accessors for Base types, for use with the Accessor library
v0.15.0
MIT
Used by 1 other packages
accessor_core
Accessors for Core types, for use with the Accessor library
v0.15.0
MIT
Used by 1 other packages
acgtk
Abstract Categorial Grammar development toolkit
1.5.3
CeCILL-1.0+
Used by 0 other packages
acme
A library to interact with the acme text editor.
0.1
BSD-3-Clause
Used by 1 other packages
acpc
Chemoinformatics tool for ligand-based virtual screening
1.2.3
BSD-3-Clause
Used by 0 other packages
afl
American Fuzzy Lop fuzzer by Michal Zalewski, repackaged for convenient use in opam.
2.52b
Apache-2.0
Used by 1 other packages
afl-persistent
Use afl-fuzz in persistent mode
1.3
MIT
Used by 5 other packages
ago
ago(1) - compute the number of days between two calendar dates
0.4
BSD-3-Clause
Used by 0 other packages
agrep
String searching with errors
1.0
LGPL-2.0-or-later
Used by 0 other packages
agrid
Adjustable grid (two dimensional array) library
0.1
ISC
Used by 1 other packages
ahrocksdb
A binding to RocksDB
0.2.2
MIT
Used by 0 other packages
aifad
AIFAD - Automated Induction of Functions over Algebraic Datatypes
2.3.0
LGPL-2.1-or-later with OCaml-LGPL-linking-exception
Used by 0 other packages
alba
Alba compiler
0.4.4
GPL-2.0-only
Used by 0 other packages
albatross
Albatross - orchestrate and manage MirageOS unikernels with Solo5
1.5.0
ISC
Used by 0 other packages
alberto
OCaml interface to Erlang ports
0.4
LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
Used by 0 other packages
alcotest
Alcotest is a lightweight and colourful test framework
1.6.0
ISC
Used by 464 other packages
alcotest-async
Async-based helpers for Alcotest
1.6.0
ISC
Used by 5 other packages
alcotest-js
Virtual package containing optional JavaScript dependencies for Alcotest
1.6.0
ISC
Used by 0 other packages
alcotest-lwt
Lwt-based helpers for Alcotest
1.6.0
ISC
Used by 127 other packages
alcotest-mirage
Mirage implementation for Alcotest
1.6.0
ISC
Used by 0 other packages
alg_structs
Interfaces and module combinators for algebraic structures
0.1.3
MIT
Used by 1 other packages
alg_structs_qcheck
Provides qCheck generators for laws of alg_structs
0.1.3
MIT
Used by 0 other packages
algaeff
Reusable Effects-Based Components
0.2.0
Apache-2.0
Used by 1 other packages
aliases
In memory indexes
0.0.5
MIT
Used by 0 other packages
alonzo
STLC type system
0.4.0
ISC
Used by 0 other packages
alsa
Bindings for the ALSA library which provides functions for using soundcards
0.3.0
GPL-2.0-only
Used by 0 other packages
alt-ergo
The Alt-Ergo SMT prover
2.4.2
OCamlPro Non-Commercial Purpose License, version 1; LGPL-2.1-only
Used by 4 other packages
alt-ergo-free
The Alt-Ergo SMT prover
2.3.3.dune3
Apache-2.0
Used by 1 other packages
alt-ergo-lib
The Alt-Ergo SMT prover library
2.4.2
OCamlPro Non-Commercial Purpose License, version 1
Used by 3 other packages
alt-ergo-lib-free
The Alt-Ergo SMT prover library
2.3.3.dune3
Apache-2.0
Used by 2 other packages
alt-ergo-parsers
The Alt-Ergo SMT prover parser library
2.4.2
OCamlPro Non-Commercial Purpose License, version 1
Used by 2 other packages
alt-ergo-parsers-free
The Alt-Ergo SMT prover parser library
2.3.3.dune3
Apache-2.0
Used by 1 other packages
altgr-ergo
The GUI for the Alt-Ergo SMT prover
2.4.2
OCamlPro Non-Commercial Purpose License, version 1
Used by 1 other packages
amf
Parser/serializer for Adobe's Action Message Format
0.1.2
LGPL with OCaml linking exception
Used by 0 other packages
amqp-client
Amqp client base library
2.2.2
BSD-3-Clause
Used by 2 other packages
amqp-client-async
Amqp client library, async version
2.2.2
BSD-3-Clause
Used by 0 other packages
amqp-client-lwt
Amqp client library, lwt version
2.2.2
BSD-3-Clause
Used by 0 other packages
ancient
Use data structures larger than available memory
0.9.1
Used by 0 other packages
anders
Modal Homotopy Type System
1.1.1
ISC
Used by 0 other packages
angstrom
Parser combinators built for speed and memory-efficiency
0.15.0
BSD-3-clause
Used by 48 other packages
angstrom-async
Async support for Angstrom
0.15.0
BSD-3-clause
Used by 2 other packages
angstrom-lwt-unix
Lwt_unix support for Angstrom
0.15.0
BSD-3-clause
Used by 3 other packages
angstrom-unix
Unix support for Angstrom
0.15.0
BSD-3-clause
Used by 3 other packages
annot
annotation parser for external editors and IDEs
1.1.0
Used by 0 other packages
ansi-parse
Ansiparse is a library for converting raw terminal output, replete with escape codes, into formatted HTML
0.4.0
ISC
Used by 0 other packages
anthill
Word search library and utility
0.1
MIT
Used by 0 other packages
antic
Stub of the C library Antic. Algebraic number
0.1.5
LGPL-2.1
Used by 1 other packages
anycache
Scan-resistant LRU/2Q cache
0.7.4
ISC
Used by 2 other packages
anycache-async
Scan-resistant LRU/2Q cache
0.7.4
ISC
Used by 0 other packages
anycache-lwt
Scan-resistant LRU/2Q cache
0.7.4
ISC
Used by 0 other packages
ao
Bindings for the AO library which provides high-level functions for using soundcards
0.2.4
LGPL-2.1
Used by 0 other packages
aperf
OCaml tools for loop perforation
0.1.2
Used by 0 other packages
apero-core
OCaml Utility Library
apero-net
OCaml Networking Library
apero-time
OCaml Time Stamping Library
0.4.7
Apache-2.0
Used by 0 other packages
apron
APRON numerical abstract domain library
v0.9.13
LGPL-2.1 with linking exception
Used by 9 other packages
apronext
Apron extension
1.0.4
Used by 2 other packages
arakoon
A distributed key-value store that guarantees consistency above anything else.
arb
Stub of the C library Arb. Ball approximation
0.1.5
LGPL-2.1
Used by 1 other packages
archi
A library for managing the lifecycle of stateful components in OCaml
0.2.0
BSD-3-clause
Used by 2 other packages
archi-async
Async runtime for Archi, a library for managing the lifecycle of stateful components in OCaml
0.2.0
BSD-3-clause
Used by 0 other packages
archi-lwt
Lwt runtime for Archi, a library for managing the lifecycle of stateful components in OCaml
0.2.0
BSD-3-clause
Used by 0 other packages
archsat
A first-order theorem prover with formal proof output
1.1
BSD-2-Clause
Used by 0 other packages
arg-complete
Bash completion support for Stdlib.Arg
0.1.0
MIT
Used by 0 other packages
argon2
OCaml bindings to Argon2
1.0.1
MIT
Used by 1 other packages
argot
An enhanced HTML generator for the ocamldoc tool of the OCaml language
1.1
GPL-3.0-only
Used by 0 other packages
arp
Address Resolution Protocol purely in OCaml
3.0.0
ISC
Used by 7 other packages
arp-mirage
Address Resolution Protocol for MirageOS
2.2.1
ISC
Used by 2 other packages
art
Adaptive Radix Tree
asak
Partitioning OCaml codes
0.3
MIT
Used by 2 other packages
ascii85
ascii85 - Adobe's Ascii85 encoding as a module and a command line tool
0.4
BSD-3-Clause
Used by 0 other packages
asetmap
Alternative, compatible, OCaml standard library Sets and Maps
0.8.1
ISC
Used by 11 other packages
ask
Create/Answer questionnaires
0.2.0
MIT
Used by 1 other packages
ask-integrator
Link questionnaires to an uuid of 'a type
0.2.0
MIT
Used by 0 other packages
asl
Bindings for the Apple System Log API
0.11
ISC
Used by 4 other packages
asli
Interpreter for Arm's Architecture Specification Language (ASL)
0.2.0
BSD-3-Clause
Used by 0 other packages
asn1-combinators
Embed typed ASN.1 grammars in OCaml
0.2.6
ISC
Used by 9 other packages
assertions
Basic assert statements
0.1
Used by 0 other packages
assimp
OCaml bindings to Assimp, Open Asset Import Library
0.3
CC0-1.0+
Used by 0 other packages
astring
Alternative String module for OCaml
0.8.5
ISC
Used by 122 other packages
async
Monadic concurrency library
v0.15.0
MIT
Used by 84 other packages
async-mvar
Async-mvar is a port of Lwt's Lwt_mvar
0.1.0
MIT
Used by 0 other packages
async-uri
Open Async (TLS) TCP connections with Uri.t
0.3.0
Used by 0 other packages
async-zmq
Async wrapper for OCaml's zeromq bindings
0.3.0
MIT
Used by 0 other packages
async_core
Monadic concurrency library
109.55.02
Apache-2.0
Used by 4 other packages
async_durable
Durable connections for use with async
v0.15.0
MIT
Used by 0 other packages
async_extended
Additional utilities for async
v0.11.0
Apache-2.0
Used by 2 other packages
async_extra
Monadic concurrency library
v0.15.0
MIT
Used by 3 other packages
async_find
Directory traversal with Async
v0.15.0
MIT
Used by 2 other packages
async_graphics
Async wrapper for the OCaml Graphics library
0.7.0
LGPL-2.0-only WITH OCaml-LGPL-linking-exception
Used by 0 other packages
async_inotify
Async wrapper for inotify
v0.15.0
MIT
Used by 1 other packages
async_interactive
Utilities for building simple command-line based user interfaces
v0.15.0
MIT
Used by 0 other packages
async_js
A small library that provide Async support for JavaScript platforms
v0.15.0
MIT
Used by 4 other packages
async_kernel
Monadic concurrency library
v0.15.0
MIT
Used by 26 other packages
async_parallel
Distributed computing library
v0.11.0
Apache-2.0
Used by 0 other packages
async_rpc_kernel
Platform-independent core of Async RPC library
v0.15.0
MIT
Used by 7 other packages
async_rpc_websocket
Library to serve and dispatch Async RPCs over websockets
v0.15.0
MIT
Used by 2 other packages
async_sendfile
Thin wrapper around [Linux_ext.sendfile] to send full files
v0.15.0
MIT
Used by 1 other packages
async_shell
Shell helpers for Async
v0.15.0
MIT
Used by 2 other packages
async_smtp
SMTP client and server
v0.15.0
MIT
Used by 0 other packages
async_ssl
An Async-pipe-based interface with OpenSSL
v0.15.0
MIT
Used by 8 other packages
async_udp
Monadic concurrency library
v0.15.0
MIT
Used by 1 other packages
async_unix
Monadic concurrency library
v0.15.0
MIT
Used by 16 other packages
async_websocket
A library that implements the websocket protocol on top of Async
v0.15.0
MIT
Used by 1 other packages
atable
Basic spreadsheet tool with HTML tables
0.1
ISC
Used by 0 other packages
atd
Parser for the ATD data format description language
Martin Jambon <martin@mjambon.com> Rudi Grinberg <rudi.grinberg@gmail.com> Martin Jambon <martin@r2c.dev> Martin Jambon <github@mjambon.com> Ivan Jager <aij+git@mrph.org> oleksiy <oleksiy.golovko@ahrefs.com> David Sheets <sheets@alum.mit.edu> Rudi Grinberg <me@rgrinberg.com> Martin Jambon <martin@esper.com> Jeff Meister <nanaki@gmail.com> Caio Wakamatsu <caio.wakamatsu@ahrefs.com> Carmelo Piccione <carmelo.piccione@gmail.com> Daniel Weil <danweil68@gmail.com> Egor Chemokhonenko <egor.chemohonenko@ahrefs.com> Gabriel Scherer Raman Varabets <roman.vorobets@gmail.com> tzm <frank@boldsolutions.de> Mathieu Baudet <mathieubaudet@fb.com> Oleksiy Golovko <alexei.golovko@gmail.com> Rauan Mayemir <rauan@mayemir.io> Carmelo Piccione <cep1@solvuu.com> John Billings <john@monkeynut.org> Louis Roché <louis@louisroche.net> Brendan Long <self@brendanlong.com> Chris Yocum <cyocum@gmail.com> Louis Roché (Ahrefs) <louis.roche@ahrefs.com> Louis Roché <louis.roche@ahrefs.com> Pavel Antoshkin <pavel.antoshkin@ahrefs.com> Pierre Boutillier <pierre.boutillier@laposte.net> Shon Feder <shon.feder@key.me> Anurag Soni <anuragsoni.13@gmail.com> Arjun Ravi Narayan <arjunravinarayan@gmail.com> Asya-kawai <kawai-toshiki@aintek.xyz> Christophe Troestler <christophe.Troestler@umons.ac.be> Damien Doligez Daniel M <dan.mntg@gmail.com> Ding Xiang Fei <dingxiangfei2009@protonmail.ch> François Pottier <francois.pottier@inria.fr> Javier Chavarri <javier.chavarri@gmail.com> Kate <kit.ty.kate@disroot.org> Louis <louis.roche@ahrefs.com> Louis Roché <louis@cryptosense.com> Raman Varabets <raman+git@ahrefs.com> Stephane Legrand <slegrand45@gmail.com> Vincent Bernardoff <vb@luminar.eu.org> haoyang <haoyang@esper.co> pmundkur <prashanth.mundkur@gmail.com> ygrek <ygrek@autistici.org>
2.10.0
MIT
Used by 10 other packages
atdgen
Generates efficient JSON serializers, deserializers and validators
Martin Jambon <martin@mjambon.com> Rudi Grinberg <rudi.grinberg@gmail.com> Martin Jambon <martin@r2c.dev> Martin Jambon <github@mjambon.com> Ivan Jager <aij+git@mrph.org> oleksiy <oleksiy.golovko@ahrefs.com> David Sheets <sheets@alum.mit.edu> Rudi Grinberg <me@rgrinberg.com> Martin Jambon <martin@esper.com> Jeff Meister <nanaki@gmail.com> Caio Wakamatsu <caio.wakamatsu@ahrefs.com> Carmelo Piccione <carmelo.piccione@gmail.com> Daniel Weil <danweil68@gmail.com> Egor Chemokhonenko <egor.chemohonenko@ahrefs.com> Gabriel Scherer Raman Varabets <roman.vorobets@gmail.com> tzm <frank@boldsolutions.de> Mathieu Baudet <mathieubaudet@fb.com> Oleksiy Golovko <alexei.golovko@gmail.com> Rauan Mayemir <rauan@mayemir.io> Carmelo Piccione <cep1@solvuu.com> John Billings <john@monkeynut.org> Louis Roché <louis@louisroche.net> Brendan Long <self@brendanlong.com> Chris Yocum <cyocum@gmail.com> Louis Roché (Ahrefs) <louis.roche@ahrefs.com> Louis Roché <louis.roche@ahrefs.com> Pavel Antoshkin <pavel.antoshkin@ahrefs.com> Pierre Boutillier <pierre.boutillier@laposte.net> Shon Feder <shon.feder@key.me> Anurag Soni <anuragsoni.13@gmail.com> Arjun Ravi Narayan <arjunravinarayan@gmail.com> Asya-kawai <kawai-toshiki@aintek.xyz> Christophe Troestler <christophe.Troestler@umons.ac.be> Damien Doligez Daniel M <dan.mntg@gmail.com> Ding Xiang Fei <dingxiangfei2009@protonmail.ch> François Pottier <francois.pottier@inria.fr> Javier Chavarri <javier.chavarri@gmail.com> Kate <kit.ty.kate@disroot.org> Louis <louis.roche@ahrefs.com> Louis Roché <louis@cryptosense.com> Raman Varabets <raman+git@ahrefs.com> Stephane Legrand <slegrand45@gmail.com> Vincent Bernardoff <vb@luminar.eu.org> haoyang <haoyang@esper.co> pmundkur <prashanth.mundkur@gmail.com> ygrek <ygrek@autistici.org>
2.10.0
MIT
Used by 23 other packages
atdgen-codec-runtime
Runtime for atdgen generated bucklescript converters
Martin Jambon <martin@mjambon.com> Rudi Grinberg <rudi.grinberg@gmail.com> Martin Jambon <martin@r2c.dev> Martin Jambon <github@mjambon.com> Ivan Jager <aij+git@mrph.org> oleksiy <oleksiy.golovko@ahrefs.com> David Sheets <sheets@alum.mit.edu> Rudi Grinberg <me@rgrinberg.com> Martin Jambon <martin@esper.com> Jeff Meister <nanaki@gmail.com> Caio Wakamatsu <caio.wakamatsu@ahrefs.com> Carmelo Piccione <carmelo.piccione@gmail.com> Daniel Weil <danweil68@gmail.com> Egor Chemokhonenko <egor.chemohonenko@ahrefs.com> Gabriel Scherer Raman Varabets <roman.vorobets@gmail.com> tzm <frank@boldsolutions.de> Mathieu Baudet <mathieubaudet@fb.com> Oleksiy Golovko <alexei.golovko@gmail.com> Rauan Mayemir <rauan@mayemir.io> Carmelo Piccione <cep1@solvuu.com> John Billings <john@monkeynut.org> Louis Roché <louis@louisroche.net> Brendan Long <self@brendanlong.com> Chris Yocum <cyocum@gmail.com> Louis Roché (Ahrefs) <louis.roche@ahrefs.com> Louis Roché <louis.roche@ahrefs.com> Pavel Antoshkin <pavel.antoshkin@ahrefs.com> Pierre Boutillier <pierre.boutillier@laposte.net> Shon Feder <shon.feder@key.me> Anurag Soni <anuragsoni.13@gmail.com> Arjun Ravi Narayan <arjunravinarayan@gmail.com> Asya-kawai <kawai-toshiki@aintek.xyz> Christophe Troestler <christophe.Troestler@umons.ac.be> Damien Doligez Daniel M <dan.mntg@gmail.com> Ding Xiang Fei <dingxiangfei2009@protonmail.ch> François Pottier <francois.pottier@inria.fr> Javier Chavarri <javier.chavarri@gmail.com> Kate <kit.ty.kate@disroot.org> Louis <louis.roche@ahrefs.com> Louis Roché <louis@cryptosense.com> Raman Varabets <raman+git@ahrefs.com> Stephane Legrand <slegrand45@gmail.com> Vincent Bernardoff <vb@luminar.eu.org> haoyang <haoyang@esper.co> pmundkur <prashanth.mundkur@gmail.com> ygrek <ygrek@autistici.org>
2.10.0
MIT
Used by 1 other packages
atdgen-runtime
Runtime library for code generated by atdgen
Martin Jambon <martin@mjambon.com> Rudi Grinberg <rudi.grinberg@gmail.com> Martin Jambon <martin@r2c.dev> Martin Jambon <github@mjambon.com> Ivan Jager <aij+git@mrph.org> oleksiy <oleksiy.golovko@ahrefs.com> David Sheets <sheets@alum.mit.edu> Rudi Grinberg <me@rgrinberg.com> Martin Jambon <martin@esper.com> Jeff Meister <nanaki@gmail.com> Caio Wakamatsu <caio.wakamatsu@ahrefs.com> Carmelo Piccione <carmelo.piccione@gmail.com> Daniel Weil <danweil68@gmail.com> Egor Chemokhonenko <egor.chemohonenko@ahrefs.com> Gabriel Scherer Raman Varabets <roman.vorobets@gmail.com> tzm <frank@boldsolutions.de> Mathieu Baudet <mathieubaudet@fb.com> Oleksiy Golovko <alexei.golovko@gmail.com> Rauan Mayemir <rauan@mayemir.io> Carmelo Piccione <cep1@solvuu.com> John Billings <john@monkeynut.org> Louis Roché <louis@louisroche.net> Brendan Long <self@brendanlong.com> Chris Yocum <cyocum@gmail.com> Louis Roché (Ahrefs) <louis.roche@ahrefs.com> Louis Roché <louis.roche@ahrefs.com> Pavel Antoshkin <pavel.antoshkin@ahrefs.com> Pierre Boutillier <pierre.boutillier@laposte.net> Shon Feder <shon.feder@key.me> Anurag Soni <anuragsoni.13@gmail.com> Arjun Ravi Narayan <arjunravinarayan@gmail.com> Asya-kawai <kawai-toshiki@aintek.xyz> Christophe Troestler <christophe.Troestler@umons.ac.be> Damien Doligez Daniel M <dan.mntg@gmail.com> Ding Xiang Fei <dingxiangfei2009@protonmail.ch> François Pottier <francois.pottier@inria.fr> Javier Chavarri <javier.chavarri@gmail.com> Kate <kit.ty.kate@disroot.org> Louis <louis.roche@ahrefs.com> Louis Roché <louis@cryptosense.com> Raman Varabets <raman+git@ahrefs.com> Stephane Legrand <slegrand45@gmail.com> Vincent Bernardoff <vb@luminar.eu.org> haoyang <haoyang@esper.co> pmundkur <prashanth.mundkur@gmail.com> ygrek <ygrek@autistici.org>
2.10.0
MIT
Used by 5 other packages
atdj
Java code generation for ATD.
20151001.01.2
BSD-3-Clause
Used by 0 other packages
atdpy
Python/mypy code generation for ATD APIs
Martin Jambon <martin@mjambon.com> Rudi Grinberg <rudi.grinberg@gmail.com> Martin Jambon <martin@r2c.dev> Martin Jambon <github@mjambon.com> Ivan Jager <aij+git@mrph.org> oleksiy <oleksiy.golovko@ahrefs.com> David Sheets <sheets@alum.mit.edu> Rudi Grinberg <me@rgrinberg.com> Martin Jambon <martin@esper.com> Jeff Meister <nanaki@gmail.com> Caio Wakamatsu <caio.wakamatsu@ahrefs.com> Carmelo Piccione <carmelo.piccione@gmail.com> Daniel Weil <danweil68@gmail.com> Egor Chemokhonenko <egor.chemohonenko@ahrefs.com> Gabriel Scherer Raman Varabets <roman.vorobets@gmail.com> tzm <frank@boldsolutions.de> Mathieu Baudet <mathieubaudet@fb.com> Oleksiy Golovko <alexei.golovko@gmail.com> Rauan Mayemir <rauan@mayemir.io> Carmelo Piccione <cep1@solvuu.com> John Billings <john@monkeynut.org> Louis Roché <louis@louisroche.net> Brendan Long <self@brendanlong.com> Chris Yocum <cyocum@gmail.com> Louis Roché (Ahrefs) <louis.roche@ahrefs.com> Louis Roché <louis.roche@ahrefs.com> Pavel Antoshkin <pavel.antoshkin@ahrefs.com> Pierre Boutillier <pierre.boutillier@laposte.net> Shon Feder <shon.feder@key.me> Anurag Soni <anuragsoni.13@gmail.com> Arjun Ravi Narayan <arjunravinarayan@gmail.com> Asya-kawai <kawai-toshiki@aintek.xyz> Christophe Troestler <christophe.Troestler@umons.ac.be> Damien Doligez Daniel M <dan.mntg@gmail.com> Ding Xiang Fei <dingxiangfei2009@protonmail.ch> François Pottier <francois.pottier@inria.fr> Javier Chavarri <javier.chavarri@gmail.com> Kate <kit.ty.kate@disroot.org> Louis <louis.roche@ahrefs.com> Louis Roché <louis@cryptosense.com> Raman Varabets <raman+git@ahrefs.com> Stephane Legrand <slegrand45@gmail.com> Vincent Bernardoff <vb@luminar.eu.org> haoyang <haoyang@esper.co> pmundkur <prashanth.mundkur@gmail.com> ygrek <ygrek@autistici.org>
2.10.0
MIT
Used by 0 other packages
atds
ATD Code generator for Scala
Martin Jambon <martin@mjambon.com> Rudi Grinberg <rudi.grinberg@gmail.com> Martin Jambon <martin@r2c.dev> Martin Jambon <github@mjambon.com> Ivan Jager <aij+git@mrph.org> oleksiy <oleksiy.golovko@ahrefs.com> David Sheets <sheets@alum.mit.edu> Rudi Grinberg <me@rgrinberg.com> Martin Jambon <martin@esper.com> Jeff Meister <nanaki@gmail.com> Caio Wakamatsu <caio.wakamatsu@ahrefs.com> Carmelo Piccione <carmelo.piccione@gmail.com> Daniel Weil <danweil68@gmail.com> Egor Chemokhonenko <egor.chemohonenko@ahrefs.com> Gabriel Scherer Raman Varabets <roman.vorobets@gmail.com> tzm <frank@boldsolutions.de> Mathieu Baudet <mathieubaudet@fb.com> Oleksiy Golovko <alexei.golovko@gmail.com> Rauan Mayemir <rauan@mayemir.io> Carmelo Piccione <cep1@solvuu.com> John Billings <john@monkeynut.org> Louis Roché <louis@louisroche.net> Brendan Long <self@brendanlong.com> Chris Yocum <cyocum@gmail.com> Louis Roché (Ahrefs) <louis.roche@ahrefs.com> Louis Roché <louis.roche@ahrefs.com> Pavel Antoshkin <pavel.antoshkin@ahrefs.com> Pierre Boutillier <pierre.boutillier@laposte.net> Shon Feder <shon.feder@key.me> Anurag Soni <anuragsoni.13@gmail.com> Arjun Ravi Narayan <arjunravinarayan@gmail.com> Asya-kawai <kawai-toshiki@aintek.xyz> Christophe Troestler <christophe.Troestler@umons.ac.be> Damien Doligez Daniel M <dan.mntg@gmail.com> Ding Xiang Fei <dingxiangfei2009@protonmail.ch> François Pottier <francois.pottier@inria.fr> Javier Chavarri <javier.chavarri@gmail.com> Kate <kit.ty.kate@disroot.org> Louis <louis.roche@ahrefs.com> Louis Roché <louis@cryptosense.com> Raman Varabets <raman+git@ahrefs.com> Stephane Legrand <slegrand45@gmail.com> Vincent Bernardoff <vb@luminar.eu.org> haoyang <haoyang@esper.co> pmundkur <prashanth.mundkur@gmail.com> ygrek <ygrek@autistici.org>
2.10.0
MIT
Used by 0 other packages
atdts
TypeScript code generation for ATD APIs
Martin Jambon <martin@mjambon.com> Rudi Grinberg <rudi.grinberg@gmail.com> Martin Jambon <martin@r2c.dev> Martin Jambon <github@mjambon.com> Ivan Jager <aij+git@mrph.org> oleksiy <oleksiy.golovko@ahrefs.com> David Sheets <sheets@alum.mit.edu> Rudi Grinberg <me@rgrinberg.com> Martin Jambon <martin@esper.com> Jeff Meister <nanaki@gmail.com> Caio Wakamatsu <caio.wakamatsu@ahrefs.com> Carmelo Piccione <carmelo.piccione@gmail.com> Daniel Weil <danweil68@gmail.com> Egor Chemokhonenko <egor.chemohonenko@ahrefs.com> Gabriel Scherer Raman Varabets <roman.vorobets@gmail.com> tzm <frank@boldsolutions.de> Mathieu Baudet <mathieubaudet@fb.com> Oleksiy Golovko <alexei.golovko@gmail.com> Rauan Mayemir <rauan@mayemir.io> Carmelo Piccione <cep1@solvuu.com> John Billings <john@monkeynut.org> Louis Roché <louis@louisroche.net> Brendan Long <self@brendanlong.com> Chris Yocum <cyocum@gmail.com> Louis Roché (Ahrefs) <louis.roche@ahrefs.com> Louis Roché <louis.roche@ahrefs.com> Pavel Antoshkin <pavel.antoshkin@ahrefs.com> Pierre Boutillier <pierre.boutillier@laposte.net> Shon Feder <shon.feder@key.me> Anurag Soni <anuragsoni.13@gmail.com> Arjun Ravi Narayan <arjunravinarayan@gmail.com> Asya-kawai <kawai-toshiki@aintek.xyz> Christophe Troestler <christophe.Troestler@umons.ac.be> Damien Doligez Daniel M <dan.mntg@gmail.com> Ding Xiang Fei <dingxiangfei2009@protonmail.ch> François Pottier <francois.pottier@inria.fr> Javier Chavarri <javier.chavarri@gmail.com> Kate <kit.ty.kate@disroot.org> Louis <louis.roche@ahrefs.com> Louis Roché <louis@cryptosense.com> Raman Varabets <raman+git@ahrefs.com> Stephane Legrand <slegrand45@gmail.com> Vincent Bernardoff <vb@luminar.eu.org> haoyang <haoyang@esper.co> pmundkur <prashanth.mundkur@gmail.com> ygrek <ygrek@autistici.org>
2.10.0
MIT
Used by 0 other packages
atomic
Compatibility package for OCaml's Atomic module starting from 4.12
base
Used by 0 other packages
augeas
Bindings to the Augeas configuration editing tool
avro
Runtime library for encoding/decoding Avro
0.1
MIT
Used by 0 other packages
avro-compiler
Schema compiler for Avro
0.1
MIT
Used by 1 other packages
avroc
Read and write Apache Avro files
0.0.1
MIT
Used by 0 other packages
awa-lwt
SSH implementation in OCaml
0.1.1
ISC
Used by 0 other packages
awa-mirage
SSH implementation in OCaml
0.1.1
ISC
Used by 2 other packages
aws-cloudformation
Amazon Web Services SDK bindings to AWS CloudFormation
aws-cloudwatch
Amazon Web Services SDK bindings to Amazon CloudWatch
aws-config
Read AWS configuration in OCaml
0.0.1
MIT
Used by 0 other packages
aws-ec2
Amazon Web Services SDK bindings to Amazon Elastic Compute Cloud
aws-elasticache
Amazon Web Services SDK bindings to Amazon ElastiCache
aws-elasticloadbalancing
Amazon Web Services SDK bindings to Elastic Load Balancing
aws-rds
Amazon Web Services SDK bindings to Amazon Relational Database Service
aws-route53
Amazon Web Services SDK bindings to Amazon Route 53
aws-s3
Ocaml library for accessing Amazon S3
4.7.0
BSD-3-Clause
Used by 2 other packages
aws-s3-async
Ocaml library for accessing Amazon S3 - Async version
4.7.0
BSD-3-Clause
Used by 0 other packages
aws-s3-lwt
Ocaml library for accessing Amazon S3 - Lwt version
4.7.0
BSD-3-Clause
Used by 0 other packages
aws-sdb
Amazon Web Services SDK bindings to Amazon SimpleDB
aws-sqs
Amazon Web Services SDK bindings to Amazon Simple Queue Service
aws-ssm
Amazon Web Services SDK bindings to Amazon Simple Systems Management Service
aws-sts
Amazon Web Services SDK bindings to AWS Security Token Service
azblob
A trivial Azure Blob Storage interface for OCaml
0.1.0
ISC
Used by 1 other packages
azblob-async
A trivial Azure Blob Storage interface for OCaml
0.1.0
ISC
Used by 0 other packages
azure-cosmos-db
Azure cosmos db interface
0.1.6
MIT
Used by 0 other packages
BetterErrors
Better compiler error output.
0.0.1
MIT
Used by 1 other packages
b0
Software construction and deployment kit
0.0.4
ISC; BSD-2-Clause
Used by 1 other packages
bag
Bags (aka multisets)
1.0.0
LGPL-2.1-only
Used by 0 other packages
baguette_sharp
The Baguette# Interpreter REPL
2.0.4
MIT
Used by 0 other packages
balancer
A collection of load balancing algorithms implemented in pure Ocaml
1.0
MIT
Used by 0 other packages
bamboo
A compiler targeting Ethereum Virtual Machine
0.0.03
Apache-2.0
Used by 0 other packages
bap
Binary Analysis Platform
2.5.0
MIT
Used by 6 other packages
bap-abi
BAP ABI integration subsystem
2.5.0
MIT
Used by 12 other packages
bap-analyze
Implements the analyze command
2.5.0
MIT
Used by 1 other packages
bap-api
A pass that adds parameters to subroutines based on known API
2.5.0
MIT
Used by 7 other packages
bap-arm
BAP ARM lifter and disassembler
2.5.0
MIT
Used by 4 other packages
bap-beagle
BAP obfuscated string solver
2.5.0
MIT
Used by 2 other packages
bap-beagle-strings
Finds strings of characters using microexecution
2.5.0
MIT
Used by 1 other packages
bap-bil
Controls the BIL transformation pipeline
2.5.0
MIT
Used by 1 other packages
bap-build
BAP build automation tools
2.5.0
MIT
Used by 3 other packages
bap-bundle
BAP bundler
2.5.0
MIT
Used by 4 other packages
bap-byteweight
BAP facility for indentifying code entry points
2.5.0
MIT
Used by 2 other packages
bap-byteweight-frontend
BAP Toolkit for training and controlling Byteweight algorithm
2.5.0
MIT
Used by 2 other packages
bap-c
A C language support library for BAP
2.5.0
MIT
Used by 9 other packages
bap-cache
BAP caching service
2.5.0
MIT
Used by 1 other packages
bap-callgraph-collator
Collates programs based on their callgraphs
2.5.0
MIT
Used by 1 other packages
bap-callsites
Inject data definition terms at callsites
2.5.0
MIT
Used by 1 other packages
bap-constant-tracker
Constant Tracking Analysis based on Primus
2.5.0
MIT
Used by 1 other packages
bap-core
Binary Analysis Platform
2.5.0
MIT
Used by 1 other packages
bap-core-theory
BAP Semantics Representation
2.5.0
MIT
Used by 28 other packages
bap-cxxfilt
A demangler that relies on a c++filt utility
2.5.0
MIT
Used by 1 other packages
bap-dead-code-elimination
A BAP plugin that removes dead IR code
1.4.0
MIT
Used by 1 other packages
bap-demangle
Provides names service and demangling facilities
2.5.0
MIT
Used by 4 other packages
bap-dependencies
Analyzes program dependencies
2.5.0
MIT
Used by 1 other packages
bap-disassemble
Implements the disassemble command
2.5.0
MIT
Used by 1 other packages
bap-dump-symbols
BAP plugin that dumps symbols information from a binary
2.5.0
MIT
Used by 1 other packages
bap-dwarf
BAP DWARF parsing library
2.5.0
MIT
Used by 1 other packages
bap-elementary
BAP floating point approximations of elementary functions
2.5.0
MIT
Used by 1 other packages
bap-elf
BAP ELF parser and loader written in native OCaml
2.5.0
MIT
Used by 1 other packages
bap-emacs-dot
Will automatically detect graph specifications in a dot syntax and display them using overlaying
0.1
MIT
Used by 1 other packages
bap-emacs-goodies
A collection of useful Emacs tools for BAP
bap-emacs-mode
Emacs major mode for reading and analyzing programs in BAP's IR
bap-extra
Binary Analysis Platform
2.5.0
MIT
Used by 0 other packages
bap-flatten
A BAP plugin, that translates a program into the flatten form
2.5.0
MIT
Used by 1 other packages
bap-frames
A data format for storing execution traces
2.1.2
MIT
Used by 0 other packages
bap-frontc
A C language frontend for based on FrontC library
2.5.0
MIT
Used by 1 other packages
bap-frontend
BAP frontend
2.5.0
MIT
Used by 1 other packages
bap-fsi-benchmark
BAP function start identification benchmark game
2.5.0
MIT
Used by 0 other packages
bap-future
A library for asynchronous values
2.5.0
MIT
Used by 16 other packages
bap-ghidra
BAP Ghidra backend
2.5.0
MIT
Used by 1 other packages
bap-glibc-runtime
Detects the presence of glibc runtime
2.5.0
MIT
Used by 1 other packages
bap-ida
An IDA Pro integration library
2.5.0
MIT
Used by 1 other packages
bap-ida-plugin
Plugins for IDA and BAP integration
2.5.0
MIT
Used by 1 other packages
bap-ida-python
A BAP - IDA Pro integration library
2.3.0
MIT
Used by 1 other packages
bap-knowledge
Knowledge Representation Library
2.5.0
MIT
Used by 28 other packages
bap-llvm
BAP LLVM backend
2.5.0
MIT
Used by 3 other packages
bap-main
Build BAP Main Framework Configuration Library
2.5.0
MIT
Used by 36 other packages
bap-mc
BAP machine instruction playground
2.5.0
MIT
Used by 1 other packages
bap-microx
A micro execution framework
2.5.0
MIT
Used by 3 other packages
bap-mips
BAP MIPS lifter
2.5.0
MIT
Used by 1 other packages
bap-objdump
Extract symbols from binary, using binutils objdump
2.5.0
MIT
Used by 1 other packages
bap-optimization
A BAP plugin that removes dead IR code
2.5.0
MIT
Used by 1 other packages
bap-patterns
Applies semantic actions to the matching byte patterns
2.5.0
MIT
Used by 1 other packages
bap-phoenix
BAP plugin that dumps information in a phoenix decompiler format
2.5.0
MIT
Used by 0 other packages
bap-piqi
BAP plugin for serialization based on piqi library
2.5.0
MIT
Used by 0 other packages
bap-plugins
BAP plugins support library
2.5.0
MIT
Used by 5 other packages
bap-powerpc
BAP PowerPC lifter
2.5.0
MIT
Used by 2 other packages
bap-primus
The BAP Microexecution Framework
2.5.0
MIT
Used by 29 other packages
bap-primus-dictionary
BAP Primus Lisp library that provides dictionaries
2.5.0
MIT
Used by 1 other packages
bap-primus-exploring-scheduler
Evaluates all machines, prioritizing the least visited
2.5.0
MIT
Used by 1 other packages
bap-primus-greedy-scheduler
Evaluates all machines in the DFS order
2.5.0
MIT
Used by 1 other packages
bap-primus-limit
Ensures termination by limiting Primus machines
2.5.0
MIT
Used by 1 other packages
bap-primus-lisp
BAP Primus Lisp Runtime
2.5.0
MIT
Used by 1 other packages
bap-primus-loader
Generic program loader for Primus
2.5.0
MIT
Used by 1 other packages
bap-primus-mark-visited
Registers the bap:mark-visited component
2.5.0
MIT
Used by 1 other packages
bap-primus-powerpc
Performs the PowerPC target specific setup
2.5.0
MIT
Used by 1 other packages
bap-primus-print
Prints Primus states and observations
2.5.0
MIT
Used by 1 other packages
bap-primus-promiscuous
Enables the promiscuous mode of execution
2.5.0
MIT
Used by 1 other packages
bap-primus-propagate-taint
A compatibility layer between different taint analysis frameworks
2.5.0
MIT
Used by 1 other packages
bap-primus-random
Provides components for Primus state randomization
2.5.0
MIT
Used by 1 other packages
bap-primus-region
Provides a set of operations to store and manipulate interval trees
2.5.0
MIT
Used by 1 other packages
bap-primus-round-robin-scheduler
Evaluates all machines in the BFS order
2.5.0
MIT
Used by 1 other packages
bap-primus-support
Provides supporting components for Primus
2.5.0
MIT
Used by 2 other packages
bap-primus-symbolic-executor
Primus Symbolic Executor
2.5.0
MIT
Used by 1 other packages
bap-primus-systems
Loads Primus systems and registers them in the system repository
2.5.0
MIT
Used by 1 other packages
bap-primus-taint
A taint analysis control interface
2.5.0
MIT
Used by 1 other packages
bap-primus-test
BAP Primus Testing and Program Verification module
2.5.0
MIT
Used by 1 other packages
bap-primus-track-visited
Tracks basic blocks visited by Primus
2.5.0
MIT
Used by 2 other packages
bap-primus-wandering-scheduler
Evaluates all machines while
2.5.0
MIT
Used by 1 other packages
bap-primus-x86
The x86 CPU support package for BAP Primus CPU emulator
2.5.0
MIT
Used by 1 other packages
bap-print
Print plugin - print project in various formats
2.5.0
MIT
Used by 1 other packages
bap-radare2
Extract symbols from binary using radare2
2.5.0
MIT
Used by 1 other packages
bap-raw
Provides a loader for raw binaries
2.5.0
MIT
Used by 1 other packages
bap-recipe
Stores command line parameters and resources in a single file
2.5.0
MIT
Used by 3 other packages
bap-recipe-command
Provides commands to manipulate the recipe subsystem
2.5.0
MIT
Used by 1 other packages
bap-relation
A set of relations (bimap)
2.5.0
MIT
Used by 7 other packages
bap-relocatable
Extracts symbolic information from the program relocations
2.5.0
MIT
Used by 1 other packages
bap-report
A BAP plugin that reports program status
2.5.0
MIT
Used by 1 other packages
bap-riscv
BAP RISCV lifter and disassembler
2.5.0
MIT
Used by 1 other packages
bap-run
A BAP plugin that executes a binary
2.5.0
MIT
Used by 1 other packages
bap-saluki
A verification framework for detecting vulnerability patterns in binaries
bap-1.6
MIT
Used by 0 other packages
bap-server
BAP RPC server
0.3.0
MIT
Used by 0 other packages
bap-signatures
A data package with binary signatures for BAP
2.5.0
MIT
Used by 1 other packages
bap-specification
Implements the specification command
2.5.0
MIT
Used by 1 other packages
bap-ssa
A BAP plugin, that translates a program into the SSA form
2.5.0
MIT
Used by 1 other packages
bap-std
The Binary Analysis Platform Standard Library
2.5.0
MIT
Used by 87 other packages
bap-strings
Text utilities useful in Binary Analysis and Reverse Engineering
2.5.0
MIT
Used by 5 other packages
bap-stub-resolver
Identifies and manages stub functions in a binary
2.5.0
MIT
Used by 1 other packages
bap-symbol-reader
BAP plugin that reads symbol information from files
2.5.0
MIT
Used by 1 other packages
bap-systemz
A target support package for the Systemz (Z9) ISA
2.5.0
MIT
Used by 1 other packages
bap-taint
BAP Taint Analysis Framework
2.5.0
MIT
Used by 3 other packages
bap-taint-propagator
BAP Taint propagation engine using based on microexecution
2.5.0
MIT
Used by 1 other packages
bap-term-mapper
A BAP DSL for mapping program terms
2.5.0
MIT
Used by 1 other packages
bap-thumb
A target support package for the Thumb instruction set
2.5.0
MIT
Used by 1 other packages
bap-toplevel
BAP toplevel, baptop
2.5.0
MIT
Used by 1 other packages
bap-trace
A plugin to load and run program execution traces
2.5.0
MIT
Used by 1 other packages
bap-traces
BAP Library for loading and parsing execution traces
2.5.0
MIT
Used by 5 other packages
bap-trivial-condition-form
Eliminates complex conditionals in branches
2.5.0
MIT
Used by 1 other packages
bap-veri
BAP Instruction Semantics Verification Tool
0.2.5
MIT
Used by 0 other packages
bap-warn-unused
Emit a warning if an unused result may cause a bug or security issue
2.5.0
MIT
Used by 1 other packages
bap-x86
BAP x86 lifter
2.5.0
MIT
Used by 3 other packages
bare
BAP Rule Engine Library
2.5.0
MIT
Used by 2 other packages
bare_encoding
BARE encoding, see https://baremessages.org/
0.3
MIT
Used by 0 other packages
bark
Unofficial OCaml port of elm/parser (v1.1.0)
0.1.4
BSD-3-Clause
Used by 0 other packages
base
Full standard library replacement for OCaml
v0.15.1~5.0preview
MIT
Used by 189 other packages
base-bytes
Bytes library distributed with the OCaml compiler
base
Used by 172 other packages
base-implicits
Dummy base package for compilers with modular implicits support.
base
Used by 1 other packages
base-metaocaml-ocamlfind
Findlib toolchain configuration for MetaOCaml
base
Used by 2 other packages
base-native-int63
Virtual package for enabling native int63 support in Base
0.1
Apache-2.0
Used by 0 other packages
base32
Base32 encoding for OCaml
1.0.0
ISC
Used by 0 other packages
base58
Base58 encoding and decoding
0.1.2
Artistic-2.0
Used by 0 other packages
base64
Base64 encoding for OCaml
base_bigstring
String type based on [Bigarray], for use in I/O and C-bindings
v0.15.0
MIT
Used by 3 other packages
base_quickcheck
Randomized testing framework, designed for compatibility with Base
v0.15.0
MIT
Used by 8 other packages
bastet
An OCaml library for category theory and abstract algebra
2.0.0
BSD-3-Clause
Used by 2 other packages
bastet_async
Async implementations for bastet
0.1.0
BSD-3-Clause
Used by 0 other packages
bastet_lwt
Lwt implementations for bastet
0.1.0
BSD-3-Clause
Used by 0 other packages
batch_jaro_winkler
Fast batch jaro winkler distance implementation in C99
0.1.1
MIT
Used by 0 other packages
batsh
A (C-like syntax) programming language that compiles to Bash and Windows Batch.
0.0.6
MIT
Used by 0 other packages
batteries
A community-maintained standard library extension
3.5.1
LGPL-2.1-or-later with OCaml-LGPL-linking-exception
Used by 75 other packages