431 Search Results
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-lib
The Alt-Ergo SMT prover library
2.4.2
OCamlPro Non-Commercial Purpose License, version 1
Used by 3 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
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
annot
annotation parser for external editors and IDEs
archsat
A first-order theorem prover with formal proof output
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
balancer
A collection of load balancing algorithms implemented in pure Ocaml
bare_encoding
BARE encoding, see https://baremessages.org/
bastet
An OCaml library for category theory and abstract algebra
bastet_async
Async implementations for bastet
bastet_lwt
Lwt implementations for bastet
bech32
Bech32 addresses for OCaml (see
https://github.com/bitcoin/bips/blob/master/bip-0173.mediawiki)
benchmark
Benchmark running times of code
1.6
LGPL-3.0-only WITH OCaml-LGPL-linking-exception
Used by 12 other packages
bimage
A simple, efficient image-processing library
bimage-display
Window system for Bimage
bimage-gtk
Bimage_gtk allows images to be displayed in GTK windows
bimage-io
Input/output for Bimage using OpenImageIO
bimage-lwt
A simple, efficient image-processing library (LWT bindings)
bimage-sdl
Bimage_gtk allows images to be displayed using SDL
bimage-unix
Bimage_unix provides methods for encoding/decoding images in many formats using ImageMagick/stb_image
binsec
Semantic analysis of binary executables
binary code analysis
symbolic execution
deductive
program verification
formal specification
automated theorem prover
plugins
abstract interpretation
dataflow analysis
linking
disassembly
Adel Djoudi
Benjamin Farinier
Frédéric Recoules
Josselin Feist
Lesly-Ann Daniel
Manh-Dung Nguyen
Mathilde Ollivier
Matthieu Lemerre
Olivier Nicole
Richard Bonichon
Robin David
Ta Thanh Dinh
Yaëlle Vinçont
Guillaume Girol
0.5.0
LGPL-2.1-or-later
Used by 0 other packages
bitwuzla
SMT solver for AUFBVFP
bitwuzla-bin
Bitwuzla SMT solver executable
bitwuzla-c
SMT solver for AUFBVFP (C API)
bos
Basic OS interaction for OCaml
broken
The Broken package is a simple testsuite framework.
brotli
Bindings to Google's Brotli compresion algorithm
brr
Browser programming toolkit for OCaml
bsbnative
bsb-native is BuckleScript's bsb but for ocamlc and ocamlopt
calculon
Library for writing IRC bots in OCaml and a collection of plugins
calculon-redis-lib
A library to interact with Calculon via Redis
calculon-web
A collection of web plugins for Calculon
calipso
Rewrites C programs to remove non-structured control-flow
cconv
Combinators for Type Conversion in OCaml
cconv-ppx
Combinators for Type Conversion in OCaml
cdrom
Query the state and contents of CDROM devices under Linux
cgroups
An OCaml interface for the Linux control groups
cmdliner
Declarative definition of command line interfaces for OCaml
cohttp
An OCaml library for HTTP clients and servers
Anil Madhavapeddy
Stefano Zacchiroli
David Sheets
Thomas Gazagnaire
David Scott
Rudi Grinberg
Andy Ray
5.0.0
ISC
Used by 76 other packages
cohttp-async
CoHTTP implementation for the Async concurrency library
Anil Madhavapeddy
Stefano Zacchiroli
David Sheets
Thomas Gazagnaire
David Scott
Rudi Grinberg
Andy Ray
5.0.0
ISC
Used by 18 other packages
cohttp-lwt
CoHTTP implementation using the Lwt concurrency library
Anil Madhavapeddy
Stefano Zacchiroli
David Sheets
Thomas Gazagnaire
David Scott
Rudi Grinberg
Andy Ray
5.0.0
ISC
Used by 40 other packages
cohttp-lwt-jsoo
CoHTTP implementation for the Js_of_ocaml JavaScript compiler
Anil Madhavapeddy
Stefano Zacchiroli
David Sheets
Thomas Gazagnaire
David Scott
Rudi Grinberg
Andy Ray
5.0.0
ISC
Used by 3 other packages
cohttp-lwt-unix
CoHTTP implementation for Unix and Windows using Lwt
Anil Madhavapeddy
Stefano Zacchiroli
David Sheets
Thomas Gazagnaire
David Scott
Rudi Grinberg
Andy Ray
5.0.0
ISC
Used by 77 other packages
cohttp-lwt-unix-nossl
CoHTTP implementation for Unix and Windows using Lwt
Anil Madhavapeddy
Stefano Zacchiroli
David Sheets
Thomas Gazagnaire
David Scott
Rudi Grinberg
Andy Ray
3.0.0
ISC
Used by 2 other packages
cohttp-lwt-unix-ssl
CoHTTP implementation for Unix and Windows using Lwt
Anil Madhavapeddy
Stefano Zacchiroli
David Sheets
Thomas Gazagnaire
David Scott
Rudi Grinberg
Andy Ray
3.0.0
ISC
Used by 0 other packages
cohttp-mirage
CoHTTP implementation for the MirageOS unikernel
cohttp-top
CoHTTP toplevel pretty printers for HTTP types
Anil Madhavapeddy
Stefano Zacchiroli
David Sheets
Thomas Gazagnaire
David Scott
Rudi Grinberg
Andy Ray
5.0.0
ISC
Used by 0 other packages
conf-opencc0
Virtual package relying on opencc v0 (libopencc.so.1) installation
conf-opencc1
Virtual package relying on opencc v1 (libopencc.so.2) installation
conf-opencc1_1
Virtual package relying on opencc v1.1 (libopencc.so.1.1) installation
configuration
Analyse configuration files
conjury
Conjury library for OMake
containers
A modular, clean and powerful extension of the OCaml standard library
containers-data
A set of advanced datatypes for containers
containers-thread
An extension of containers for threading
coq-of-ocaml
Compile a subset of OCaml to Coq
core-and-more
Includes core, and some more useful extensions
corecount
Get count of cores on machine
crlibm
Binding to CRlibm, a correctly rounded math lib
cstruct
Access C-like structures directly from OCaml
Anil Madhavapeddy
Richard Mortier
Thomas Gazagnaire
Pierre Chambart
David Kaloper
Jeremy Yallop
David Scott
Mindy Preston
Thomas Leonard
Anton Kochkov
Etienne Millon
6.1.1
ISC
Used by 225 other packages
cstruct-async
Access C-like structures directly from OCaml
Anil Madhavapeddy
Richard Mortier
Thomas Gazagnaire
Pierre Chambart
David Kaloper
Jeremy Yallop
David Scott
Mindy Preston
Thomas Leonard
Etienne Millon
6.1.1
ISC
Used by 2 other packages
cstruct-lwt
Access C-like structures directly from OCaml
Anil Madhavapeddy
Richard Mortier
Thomas Gazagnaire
Pierre Chambart
David Kaloper
Jeremy Yallop
David Scott
Mindy Preston
Thomas Leonard
Etienne Millon
6.1.1
ISC
Used by 27 other packages
cstruct-sexp
S-expression serialisers for C-like structures
Anil Madhavapeddy
Richard Mortier
Thomas Gazagnaire
Pierre Chambart
David Kaloper
Jeremy Yallop
David Scott
Mindy Preston
Thomas Leonard
Anton Kochkov
Etienne Millon
6.1.1
ISC
Used by 7 other packages
cstruct-unix
Access C-like structures directly from OCaml
Anil Madhavapeddy
Richard Mortier
Thomas Gazagnaire
Pierre Chambart
David Kaloper
Jeremy Yallop
David Scott
Mindy Preston
Thomas Leonard
Etienne Millon
6.1.1
ISC
Used by 12 other packages
csv
A pure OCaml library to read and write CSV files
2.4
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 19 other packages
csv-lwt
A pure OCaml library to read and write CSV files, LWT version
2.4
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 0 other packages
csvtool
Command line tool for handling CSV files
2.4
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 0 other packages
ctoxml
Parses a C program into Cabs AST and dumps as an XML document
ctypes
Combinators for binding to C libraries without writing any C
ctypes-foreign
Virtual package for enabling the ctypes.foreign subpackage.
cue_sheet_maker
A library to create cue sheet
cviode
Contact variational integrators - native ocaml version
disml
An OCaml library for interfacing with the Discord API
dns-async
DNS implementation using the Async concurrency framework
Anil Madhavapeddy
Tim Deegan
Richard Mortier
Haris Rotsos
David Sheets
Thomas Gazagnaire
Luke Dunstan
David Scott
1.1.3
ISC
Used by 0 other packages
dns-lwt
DNS implementation in portable Lwt
Anil Madhavapeddy
Tim Deegan
Richard Mortier
Haris Rotsos
David Sheets
Thomas Gazagnaire
Luke Dunstan
David Scott
1.1.3
ISC
Used by 3 other packages
dns-lwt-unix
DNS implementation for Unix and Windows using Lwt_unix
Anil Madhavapeddy
Tim Deegan
Richard Mortier
Haris Rotsos
David Sheets
Thomas Gazagnaire
Luke Dunstan
David Scott
1.1.3
ISC
Used by 0 other packages
doc-ock-html
From doc-ock to HTML
dockerfile
Dockerfile eDSL in OCaml
dockerfile-cmd
Dockerfile eDSL - generation support
dolmen
A parser library for automated deduction
dolmen_bin
A linter for logic languages
dolmen_loop
A tool library for automated deduction tools
dolmen_lsp
A LSP server for automated deduction languages
dolmen_type
A typechecker for automated deduction languages
domainslib
Parallel Structures over Domains for Multicore OCaml
dream
Tidy, feature-complete Web framework
drom
The drom tool is a wrapper over opam/dune in an attempt to provide a cargo-like user experience
0.6.0
LGPL-2.1-only with OCaml-LGPL-linking-exception
Used by 0 other packages
drom_lib
The drom tool is a wrapper over opam/dune in an attempt to provide a cargo-like user experience
0.6.0
LGPL-2.1-only with OCaml-LGPL-linking-exception
Used by 1 other packages
dropbox
Binding to the Dropbox Remote API
0.2
LGPL-3.0-only WITH OCaml-LGPL-linking-exception
Used by 1 other packages
dropbox_lwt_unix
Binding to the Dropbox Remote API (Unix)
0.2
LGPL-3.0-only WITH OCaml-LGPL-linking-exception
Used by 0 other packages
dyntype
syntax extension which makes OCaml types and values easier to manipulate programmatically
enumerators
Finite lazy enumerators
erssical
Converting RSS event feeds to ical
ez_cmdliner
Easy interface to Cmdliner à la Arg.parse with sub-commands
0.4.3
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 4 other packages
ez_config
Easy management of configuration files
0.2.0
LGPL-2.1-only with OCaml-LGPL-linking-exception
Used by 3 other packages
ez_file
Easy file manipulation (read_file, write_file, etc.)
0.3.0
LGPL-2.1-only with OCaml-LGPL-linking-exception
Used by 2 other packages
ez_hash
Hash functions: sha3, sha256, blake2b
0.2.0
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 1 other packages
ez_opam_file
Package ez_opam_file is a simple compatibility layer on top of opam-file-format
0.1.0
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 2 other packages
ez_search
The ez_search library
0.2.2
LGPL-2.1-only with OCaml-LGPL-linking-exception
Used by 1 other packages
ez_subst
Ez_subst is a simple module to perform string substitutions
0.2.1
LGPL-2.1-only with OCaml-LGPL-linking-exception
Used by 2 other packages
ezcurl
Friendly wrapper around OCurl
ezcurl-lwt
Friendly wrapper around OCurl, Lwt version
ezdl
Easy dynamic linking of C functions from ocaml
ezjsonm
Simple interface on top of the Jsonm JSON library
ezjsonm-lwt
Simple Lwt-based interface to the Jsonm JSON library
ezxmlm
Combinators for parsing and selection of XML structures
FrontC
Parses C programs to an abstract syntax tree
farmhash
Bindings for Google's farmhash library
0.4
LGPL-2.1-only with OCaml-LGPL-linking-exception
Used by 0 other packages
fat-filesystem
Pure OCaml implementation of the FAT filesystem
fd-send-recv
Bindings for sendmsg/recvmsg that allow Unix.file_descrs to be sent and received over Unix domain sockets
frama-c
Platform dedicated to the analysis of source code written in C
deductive
program verification
formal specification
automated theorem prover
interactive theorem prover
C
plugins
abstract interpretation
slicing
weakest precondition
ACSL
dataflow analysis
runtime verification
Michele Alberti
Thibaud Antignac
Gergö Barany
Patrick Baudin
Thibaut Benjamin
Allan Blanchard
Lionel Blatter
François Bobot
Richard Bonichon
Quentin Bouillaguet
David Bühler
Zakaria Chihani
Loïc Correnson
Julien Crétin
Pascal Cuoq
Zaynah Dargaye
Basile Desloges
Jean-Christophe Filliâtre
Philippe Herrmann
Maxime Jacquemin
Florent Kirchner
Tristan Le Gall
Jean-Christophe Léchenet
Matthieu Lemerre
Dara Ly
David Maison
Claude Marché
André Maroneze
Thibault Martin
Fonenantsoa Maurica
Melody Méaulle
Benjamin Monate
Yannick Moy
Anne Pacalet
Valentin Perrelle
Guillaume Petiot
Dario Pinto
Virgile Prevosto
Armand Puccetti
Félix Ridoux
Virgile Robles
Muriel Roger
Julien Signoles
Kostyantyn Vorobyov
Boris Yakobowski
25.0
LGPL-2.1-only
Used by 3 other packages
frama-c-base
Platform dedicated to the analysis of source code written in C.
deductive
program verification
formal specification
automated theorem prover
interactive theorem prover
C
plugins
abstract interpretation
slicing
weakest precondition
ACSL
dataflow analysis
runtime verification
Michele Alberti
Gergö Barany
Patrick Baudin
François Bobot
Richard Bonichon
David Bühler
Loïc Correnson
Julien Crétin
Pascal Cuoq
Zaynah Dargaye
Jean-Christophe Filliâtre
Philippe Herrmann
Florent Kirchner
Tristan Le Gall
Jean-Christophe Léchenet
Matthieu Lemerre
David Maison
Claude Marché
André Maroneze
Benjamin Monate
Yannick Moy
Anne Pacalet
Valentin Perrelle
Guillaume Petiot
Virgile Prevosto
Armand Puccetti
Muriel Roger
Julien Signoles
Kostyantyn Vorobyov
Boris Yakobowski
15.0
LGPL-2.1-only
Used by 2 other packages
frama-c-e-acsl
This package contains the Frama-C's E-ACSL plug-in.
frama-c-lannotate
Lannotate plugin of Frama-C, part of the LTest suite
0.1
LGPL-2.1-only
Used by 0 other packages
frama-c-luncov
Luncov plugin of Frama-C, part of the LTest suite
0.1
LGPL-2.1-only
Used by 0 other packages
frama-c-metacsl
MetACSL plugin of Frama-C for writing pervasives properties
funfields
Functional bit field library
gammu
Cell phone and SIM card access
0.9.4
LGPL-3.0-only WITH OCaml-LGPL-linking-exception
Used by 0 other packages
gasoline
Unix-ish application development framework
genet
Genet is tool to build a continuous integration platform.
getopts
Analyse command line arguments
gg
Basic types for computer graphics in OCaml
github
GitHub APIv3 OCaml library
Anil Madhavapeddy
David Sheets
Andy Ray
Jeff Hammerbacher
Thomas Gazagnaire
Rudi Grinberg
Qi Li
Jeremy Yallop
Dave Tucker
4.4.1
MIT
Used by 6 other packages
github-data
GitHub APIv3 data library
Anil Madhavapeddy
David Sheets
Andy Ray
Jeff Hammerbacher
Thomas Gazagnaire
Rudi Grinberg
Qi Li
Jeremy Yallop
Dave Tucker
4.4.1
MIT
Used by 1 other packages
github-jsoo
GitHub APIv3 JavaScript library
Anil Madhavapeddy
David Sheets
Andy Ray
Jeff Hammerbacher
Thomas Gazagnaire
Rudi Grinberg
Qi Li
Jeremy Yallop
Dave Tucker
4.4.1
MIT
Used by 0 other packages
github-unix
GitHub APIv3 Unix library
Anil Madhavapeddy
David Sheets
Andy Ray
Jeff Hammerbacher
Thomas Gazagnaire
Rudi Grinberg
Qi Li
Jeremy Yallop
Dave Tucker
4.4.1
MIT
Used by 5 other packages
glical
Glical: glancing at iCalendar data.
glMLite
OpenGL bindings for OCaml
grib
Bindings for the ECMWF GRIB API
hdfs
Bindings to libhdfs
hdr_histogram
OCaml bindings to Hdr Histogram
higher
Library for higher-kinded programming.
hmap
Heterogeneous value maps for OCaml
http_async
Async web toolkit
hyper
Web client with HTTP/1, HTTP/2, TLS, and WebSocket support
i3ipc
A pure OCaml implementation of the i3 IPC protocol
immutable
Pure Reason implementation of persistent immutable data structures.
integration1d
Collection of 1D numerical integration routines
interface-prime
Interfaces for common design patterns
interface-prime-lwt
Interfaces for common design patterns (LWT implementation)
interval
An interval arithmetic library for OCaml (meta package)
Jean-Marc Alliot <jean-marc.alliot@irit.fr>
Jean-Baptiste Gotteland <gottelan@recherche.enac.fr>
Christophe Troestler <Christophe.Troestler@umons.ac.be>
1.5.1
LGPL-3.0-only
Used by 0 other packages
interval_base
An interval library for OCaml (base package)
Jean-Marc Alliot <jean-marc.alliot@irit.fr>
Jean-Baptiste Gotteland <gottelan@recherche.enac.fr>
Christophe Troestler <Christophe.Troestler@umons.ac.be>
1.5.1
LGPL-3.0-only
Used by 3 other packages
interval_crlibm
An interval library for OCaml (crlibm version)
Jean-Marc Alliot <jean-marc.alliot@irit.fr>
Jean-Baptiste Gotteland <gottelan@recherche.enac.fr>
Christophe Troestler <Christophe.Troestler@umons.ac.be>
1.5.1
LGPL-3.0-only
Used by 1 other packages
interval_intel
An interval library for OCaml
Jean-Marc Alliot <jean-marc.alliot@irit.fr>
Jean-Baptiste Gotteland <gottelan@recherche.enac.fr>
Christophe Troestler <Christophe.Troestler@umons.ac.be>
1.5.1
LGPL-3.0-only
Used by 1 other packages
ipaddr
A library for manipulation of IP (and MAC) address representations
ipaddr-cstruct
A library for manipulation of IP address representations using Cstructs
ipaddr-sexp
A library for manipulation of IP address representations using sexp
iri
Implementation of Internationalized Resource Identifiers (IRIs)
javascriptcore
OCaml bindings to JavaScriptCore
jemalloc
Bindings to jemalloc mallctl api
jsonm
Non-blocking streaming JSON codec for OCaml
junit_alcotest
JUnit XML reports generation for alcotest tests
2.0.2
LGPL-3.0-or-later WITH OCaml-LGPL-linking-exception
Used by 9 other packages
lablgtk-extras
A collection of additional tools and libraries to develop ocaml applications based on Lablgtk2.
labrys
A toy language based on LLVM that implements the System Fω type-system
lbfgs
Bound-constrainted optimization in many variables
0.9.3
LGPL-3.0-only WITH OCaml-LGPL-linking-exception
Used by 2 other packages
libra-tk
Learning and inference with discrete probabilistic models
1.1.2
BSD-2-clause
Used by 0 other packages
libssh
Bindings to libssh
libvhd
OCaml bindings for the C library 'libvhd' which allows the manipulation
libvirt
Libvirt is a portable toolkit to interact with the virtualisation capabilities of Linux, Solaris and other operating systems.
lilac
Get the value of any field in a YAML file as a string
lilis
Library to Interpret Lindenmayer Systems
llopt
Just a tiny LLVM-IR optimizer for testing stuff.
llvmgraph
Ocamlgraph overlay for llvm
lmdb
Bindings for LMDB, a fast in-file database with ACID transactions
lru-cache
A simple implementation of a LRU cache.
lutin
Lutin: modeling stochastic reactive systems
lwt-pipe
An alternative to `Lwt_stream` with interfaces for producers and consumers and a bounded internal buffer
lz4
Bindings to the LZ4 compression algorithm
macaddr
A library for manipulation of MAC address representations
macaddr-cstruct
A library for manipulation of MAC address representations using Cstructs
macaddr-sexp
A library for manipulation of MAC address representations using sexp
maki
Persistent incremental computations, for repeatable tests and benchmarks.
mastodon-archive-viewer
View your Mastodon archive offline
maxminddb
Bindings to Maxmind.com's libmaxminddb library, like geoip2
mc2
A mcsat-based SMT solver in pure OCaml
mechaml
A functional web scraping library
mesh-triangle
Binding to the triangle mesh generator
message-switch
A simple store-and-forward message switch.
mindstorm-lwt
Drive Lego Mindstorms bricks from OCaml (LWT version)
0.8.1
LGPL-2.1
Used by 0 other packages
minima-theme
OCaml port of the Jekyll Minima theme
mirage
The MirageOS library operating system
Thomas Gazagnaire
Anil Madhavapeddy
Gabriel Radanne
Mindy Preston
Thomas Leonard
Nicolas Ojeda Bar
Dave Scott
David Kaloper
Hannes Mehnert
Richard Mortier
4.2.0
ISC
Used by 4 other packages
mirage-block-xen
MirageOS block driver for Xen that implements the blkfront/back protocol
mirage-clock-xen
A Mirage-compatible Clock library for Xen
mirage-console
Implementations of Mirage console devices
mirage-console-lwt
Implementation of Mirage consoles using Lwt
mirage-console-unix
Implementation of Mirage consoles for Unix
mirage-console-xen
Implementation of Mirage console for Xen
mirage-console-xen-backend
Implementation of Mirage console backend for Xen
mirage-console-xen-cli
Libraries for interacting with the Xen console command-line interface.
mirage-console-xen-proto
Implementation of Mirage console protocol for Xen
mirage-http
MirageOS-compatible implementation of the Cohttp interfaces
mirage-net-socket
Socket-based networking stack compatible with Mirage
0.9.4
Used by 1 other packages
mirage-runtime
The base MirageOS runtime library, part of every MirageOS unikernel
Thomas Gazagnaire
Anil Madhavapeddy
Gabriel Radanne
Mindy Preston
Thomas Leonard
Nicolas Ojeda Bar
Dave Scott
David Kaloper
Hannes Mehnert
Richard Mortier
4.2.0
ISC
Used by 10 other packages
mirage-types
Module type definitions for MirageOS applications
Thomas Gazagnaire
Anil Madhavapeddy
Gabriel Radanne
Mindy Preston
Thomas Leonard
Nicolas Ojeda Bar
Dave Scott
David Kaloper
Hannes Mehnert
Richard Mortier
3.10.8
ISC
Used by 5 other packages
mirage-types-lwt
Lwt module type definitions for MirageOS applications
mirror
Mirror upstream OPAM package distribution files
monomorphic
A small library used to shadow polymorphic operators (and functions) contained in the stdlib
msat
Library containing a SAT solver that can be parametrized by a theory
msgpck
Fast MessagePack (http://msgpack.org) library
mtime
Monotonic wall-clock time for OCaml
nbd
Network Block Device (NBD) protocol implementation
4.0.3
LGPL-2.0-only WITH OCaml-LGPL-linking-exception
Used by 3 other packages
nlopt
OCaml bindings to the NLOpt optimization library
Michał Kurcewicz <michal.kurcewicz@gmail.com>
Christophe Troestler <Christophe.Troestler@umons.ac.be>
0.6.1
LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
Used by 1 other packages
note
Declarative events and signals for OCaml
oasis-mirage
This is a fork of OASIS with support for native output-obj.
obi
interface to OCaml Build Infrastructure
ocaml-migrate-parsetree
Convert OCaml parsetrees between different versions
2.4.0
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 13 other packages
ocaml-migrate-parsetree-ocamlbuild
Ocamlbuild plugin for ocaml-migrate-parsetree
ocaml-r
Objective Caml bindings for the R interpreter
ocaml-top
The OCaml interactive editor for education
ocaml-version
Manipulate, parse and generate OCaml compiler version strings
ocamlbuild-pkg
An ocamlbuild plugin that helps packaging softwares.
ocamlfind-lint
Simple tool performing checks on installed findlib META files
ocamlgraph_gtk
Displaying graphs using OCamlGraph and GTK
2.0.0
LGPL-2.1-only
Used by 1 other packages
ocamlsdl2-image
Interface to the SDL2_image library
ocamlsdl2-ttf
Interface to the SDL2_ttf library
ocb-stubblr
OCamlbuild plugin for C stubs
ocf
OCaml library to read and write configuration files in JSON syntax
ocp-browser
Console browser for the documentation of installed OCaml libraries
ocp-indent
A simple tool to indent OCaml programs
1.8.1
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 11 other packages
ocp-indent-nlfork
ocp-indent library, "newline tokens" fork
Grégoire Henry <gregoire.henry@ocamlpro.com>
Louis Gesbert <louis.gesbert@ocamlpro.com>
Thomas Gazagnaire <thomas@gazagnaire.org>
Jun Furuse
1.5.4
LGPL-3.0-or-later
Used by 2 other packages
ocp-index
Lightweight completion and documentation browsing for OCaml libraries
1.3.3
LGPL-2.1-only with OCaml-LGPL-linking-exception; GPL-3.0-only
Used by 5 other packages
ocp-pack-split
ocp-pack and ocp-split