59 Search Results
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
conf-rust-2021
Virtual package relying on cargo (rust build system)
TriliTech 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.10
BSD-2-Clause
Used by 66 other packages
containers-data
A set of advanced datatypes for containers
containers RAL functional vector okasaki
Simon Cruanes
3.10
BSD-2-Clause
Used by 5 other packages
containers-thread
An extension of containers for threading
containers thread semaphore blocking queue
Simon Cruanes
3.10
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.6
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 12 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