OCaml Packages · Search Result

avro

Runtime library for encoding/decoding Avro

Simon Cruanes

0.1

MIT

Used by 0 other packages

avro-compiler

Schema compiler for Avro

Simon Cruanes

0.1

MIT

Used by 1 other packages

bare_encoding

BARE encoding, see https://baremessages.org/

encoding binary bare

simon cruanes

0.3

MIT

Used by 0 other packages

benchpress

Tool to run one or more logic programs, on a set of files, and collect the results

Simon Cruanes Guillaume Bury

0.1

Used by 1 other packages

benchpress-server

Server and web UI for benchpress

Simon Cruanes Guillaume Bury

0.1

Used by 0 other packages

bencode

Bencode (`.torrent` file format) reader/writer in OCaml

Rudi Grinberg Simon Cruanes

2.0

MIT

Used by 2 other packages

bigstring

A set of utils for dealing with `bigarrays` of `char`

bigstring bigarray

Simon Cruanes <simon.cruanes.2007@m4x.org>

0.3

Used by 9 other packages

bigstring-unix

I/O functions for bigstrings using file descriptors and memory-maps

bigstring bigarray

Simon Cruanes <simon.cruanes.2007@m4x.org>

0.3

Used by 1 other packages

cconv

Combinators for Type Conversion in OCaml

conversion gadt serialization

Simon Cruanes

0.5

Used by 4 other packages

cconv-ppx

Combinators for Type Conversion in OCaml

conversion gadt serialization ppx-deriving

Simon Cruanes

0.5

Used by 0 other packages

choice

Choice monad, for easy backtracking

Simon Cruanes <simon.cruanes.2007@m4x.org>

0.4

Used by 0 other packages

conf-rust

Virtual package relying on cargo (rust build system)

Simon Cruanes

0.1

MIT

Used by 6 other packages

conf-rust-2018

Virtual package relying on cargo (rust build system)

Simon Cruanes

1

MIT

Used by 2 other packages

containers

A modular, clean and powerful extension of the OCaml standard library

stdlib containers iterators list heap queue

Simon Cruanes

3.9

BSD-2-Clause

Used by 63 other packages

containers-data

A set of advanced datatypes for containers

containers RAL functional vector okasaki

Simon Cruanes

3.9

BSD-2-Clause

Used by 5 other packages

containers-thread

An extension of containers for threading

containers thread semaphore blocking queue

Simon Cruanes

3.9

BSD-2-Clause

Used by 0 other packages

datalog

An in-memory datalog implementation for OCaml

datalog relational query prolog

Simon Cruanes

0.6

BSD-2-Clause

Used by 0 other packages

decoders-bencode

Bencode backend for decoders

Simon Cruanes <simon@imandra.ai>

1.0.0

ISC

Used by 0 other packages

decoders-msgpck

Msgpck backend for decoders

Matt Bray <mattjbray@gmail.com> Simon Cruanes <simon@imandra.ai>

1.0.0

ISC

Used by 0 other packages

eprover

E Theorem Prover

Stephan Schulz Simon Cruanes Petar Vukmirovic Mohamed Bassem Martin Moehrmann

2.6

LGPL-2.1-or-later; GPL-2.0-or-later

Used by 0 other packages

ezcurl

Friendly wrapper around OCurl

curl web http client

Simon Cruanes

0.2.1

MIT

Used by 3 other packages

ezcurl-lwt

Friendly wrapper around OCurl, Lwt version

curl web http client lwt

Simon Cruanes

0.2.1

MIT

Used by 0 other packages

gen

Iterators for OCaml, both restartable and consumable

gen iterator iter fold

Simon Cruanes ELLIOTTCABLE

1.0

BSD-2-Clause

Used by 13 other packages

irc-client

IRC client library - core functionality

John Else Simon Cruanes

0.7.0

MIT

Used by 5 other packages

irc-client-lwt

IRC client library - Lwt implementation

John Else Simon Cruanes

0.7.0

MIT

Used by 1 other packages

irc-client-lwt-ssl

IRC client library - Lwt SSL implementation

Simon Cruanes

0.7.0

MIT

Used by 1 other packages

irc-client-tls

IRC client library - TLS implementation

John Else Simon Cruanes

0.7.0

MIT

Used by 1 other packages

irc-client-unix

IRC client library - Unix implementation

John Else Simon Cruanes

0.7.0

MIT

Used by 0 other packages

iter

Simple abstraction over `iter` functions, intended to iterate efficiently on collections while performing some transformations

iter iterator iter fold

Simon Cruanes Gabriel Radanne

1.5

BSD-2-clause

Used by 21 other packages

junit_ounit

JUnit XML reports generation for OUnit tests

junit jenkins ounit

Louis Roché <louis@louisroche.net> Simon Cruanes <simon.cruanes.2007@m4x.org>

2.0.2

LGPL-3.0-or-later WITH OCaml-LGPL-linking-exception

Used by 0 other packages

jupyter-kernel

Library to write jupyter kernels (interactive notebooks)

jupyter ipython

Simon Cruanes Andrew Ray

0.8

BSD-2-Clause

Used by 0 other packages

libzipperposition

Library for Zipperposition

logic unification term superposition prover

Simon Cruanes Petar Vukmirovic Alexander Bentkamp Sophie Tourret Visa Nummelin

2.1

BSD-2-Clause

Used by 2 other packages

linenoise

Lightweight readline alternative

Edgar Aroutiounian <edgar.factorial@gmail.com> Simon Cruanes

1.4.0

BSD-3-clause

Used by 11 other packages

linol

LSP server library

lsp server lwt

Simon Cruanes

0.4

MIT

Used by 2 other packages

linol-lwt

LSP server library (with Lwt for concurrency)

lsp server lwt linol

Simon Cruanes

0.4

MIT

Used by 1 other packages

logtk

Core types and algorithms for logic

logic unification term

Simon Cruanes Petar Vukmirovic Alexander Bentkamp Sophie Tourret Visa Nummelin

2.1

BSD-2-Clause

Used by 3 other packages

lwt-pipe

An alternative to `Lwt_stream` with interfaces for producers and consumers and a bounded internal buffer

lwt pipe stream blocking

Simon Cruanes

0.1

Used by 0 other packages

maki

Persistent incremental computations, for repeatable tests and benchmarks.

incremental persistent memoization

Simon Cruanes

0.2

Used by 0 other packages

mc2

A mcsat-based SMT solver in pure OCaml

sat smt mcsat

Simon Cruanes Guillaume Bury

0.1

Apache

Used by 0 other packages

msat

Library containing a SAT solver that can be parametrized by a theory

sat smt cdcl functor

Simon Cruanes Guillaume Bury

0.9.1

Apache-2.0

Used by 4 other packages

msat-bin

SAT solver binary based on the msat library

sat

Simon Cruanes Guillaume Bury

0.9.1

Apache-2.0

Used by 0 other packages

nunchaku

A counter-example finder for higher-order logic, designed to be used from various proof assistants

Simon Cruanes Jasmin Blanchette

0.6

Used by 0 other packages

olinq

LINQ inspired queries on in-memory data

linq query join group collection

Simon Cruanes

0.3

Used by 0 other packages

oseq

Simple list of suspensions, as a composable lazy iterator that behaves like a value

sequence iterator seq pure list

Simon Cruanes

0.4.1

BSD-2-clause

Used by 11 other packages

printbox

Allows to print nested boxes, lists, arrays, tables in several formats

print box table tree

Simon Cruanes Guillaume Bury

0.6.1

BSD-2-Clause

Used by 5 other packages

printbox-html

Printbox unicode handling

print box table tree

Simon Cruanes Guillaume Bury

0.6.1

BSD-2-Clause

Used by 0 other packages

printbox-text

Text renderer for printbox, using unicode edges

print box table tree

Simon Cruanes Guillaume Bury

0.6.1

BSD-2-Clause

Used by 1 other packages

qbf

QBF solving in OCaml, including bindings to solvers

clib:quantor clib:qdpll clib:picosat

Simon Cruanes

0.3

BSD-3-clause

Used by 0 other packages

qtest

Lightweight inline test extraction from comments

test property quickcheck

Vincent Hugot <vincent.hugot@gmail.com> Simon Cruanes <simon.cruanes.2007@m4x.org

2.11.2

Used by 22 other packages

sequence

Simple and lightweight sequence abstract data type.

sequence iterator iter fold

Simon Cruanes

1.1

BSD-2-Clause

Used by 10 other packages

smbc

Experimental model finder/SMT solver for functional programming

logic narrowing model smt

Simon Cruanes

0.6.1

Used by 0 other packages

smtlib-utils

Parser for SMTLIB2

SMTLIB smt2 parse logic

Simon Cruanes

0.4

BSD-2-Clause

Used by 0 other packages

sqlite3_utils

High-level wrapper around ocaml-sqlite3

sqlite3 gadt typed sql

Simon Cruanes

0.5

MIT

Used by 0 other packages

tiny_httpd

Minimal HTTP server using good old threads

http thread server tiny_httpd http_of_dir simplehttpserver

Simon Cruanes

0.12

MIT

Used by 2 other packages

tiny_httpd_camlzip

Interface to camlzip for tiny_httpd

http thread server gzip camlzip

Simon Cruanes

0.12

MIT

Used by 1 other packages

tip-parser

Parser for https://tip-org.github.io/format.html

TIP parse inductive logic

Simon Cruanes

0.6

Used by 1 other packages

zipperposition

A fully automatic theorem prover for typed higher-order and beyond

logic unification term superposition prover

Simon Cruanes Petar Vukmirovic Alexander Bentkamp Sophie Tourret Visa Nummelin

2.1

BSD-2-Clause

Used by 0 other packages

zipperposition-tools

Support tools for Zipperposition

Simon Cruanes Petar Vukmirovic Alexander Bentkamp Sophie Tourret Visa Nummelin

2.1

BSD-2-Clause

Used by 0 other packages

58 Search Results