77 search results for "author:"simon cruanes""
Showing 1 - 50
-
Runtime library for encoding/decoding Avro0.1MITUsed by 0 other packages12 Dec 2021
-
Schema compiler for Avro0.1MITUsed by 1 other packages12 Dec 2021
-
0.3.1MITUsed by 0 other packages07 Sep 2023
-
Tool to run one or more logic programs, on a set of files, and collect the results0.1Used by 1 other packages30 Jul 2020
-
Server and web UI for benchpress0.1Used by 0 other packages30 Jul 2020
-
Bencode (`.torrent` file format) reader/writer in OCaml2.0MITUsed by 2 other packages11 Dec 2019
-
A set of utils for dealing with `bigarrays` of `char`0.3Used by 10 other packages04 Feb 2020
-
I/O functions for bigstrings using file descriptors and memory-maps0.3Used by 1 other packages04 Feb 2020
-
0.5Used by 4 other packages09 Mar 2019
-
0.5Used by 0 other packages09 Mar 2019
-
Choice monad, for easy backtracking0.4Used by 0 other packages11 Nov 2019
-
Virtual package relying on cargo (rust build system)0.1MITUsed by 7 other packages05 Dec 2018
-
Virtual package relying on cargo (rust build system)1MITUsed by 2 other packages08 Feb 2019
-
Virtual package relying on cargo (rust build system)1MITUsed by 7 other packages13 Oct 2022
-
3.12BSD-2-ClauseUsed by 0 other packages06 Jun 2023
-
0.6BSD-2-ClauseUsed by 0 other packages13 Mar 2019
-
Bencode backend for decoders1.0.0ISCUsed by 0 other packages09 Aug 2022
-
Msgpck backend for decoders1.0.0ISCUsed by 0 other packages09 Aug 2022
-
eprover
No documentation
E Theorem Prover3.1LGPL-2.1-or-later OR GPL-2.0-or-laterUsed by 0 other packages13 May 2024 -
0.2.4MITUsed by 5 other packages27 Nov 2023
-
0.2.4MITUsed by 2 other packages27 Nov 2023
-
A simple IO and concurrency library for OCaml 50.1MITUsed by 1 other packages27 Feb 2024
-
0.1MITUsed by 0 other packages27 Feb 2024
-
Iterators for OCaml, both restartable and consumable1.1BSD-2-ClauseUsed by 13 other packages16 Mar 2023
-
0.3MITUsed by 2 other packages16 Aug 2024
-
0.3MITUsed by 1 other packages16 Aug 2024
-
IRC client library - core functionality0.7.1MITUsed by 5 other packages27 Feb 2023
-
IRC client library - Lwt implementation0.7.1MITUsed by 1 other packages27 Feb 2023
-
IRC client library - Lwt SSL implementation0.7.1MITUsed by 1 other packages27 Feb 2023
-
IRC client library - TLS implementation0.7.1MITUsed by 1 other packages27 Feb 2023
-
IRC client library - Unix implementation0.7.1MITUsed by 0 other packages27 Feb 2023
-
Simple abstraction over `iter` functions, intended to iterate efficiently on collections while performing some transformations1.8BSD-2-clauseUsed by 22 other packages21 Nov 2023
-
JUnit XML reports generation for OUnit tests2.0.2LGPL-3.0-or-later WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages13 Feb 2020
-
0.8BSD-2-ClauseUsed by 0 other packages19 Nov 2021
-
Library for Zipperposition2.1BSD-2-ClauseUsed by 2 other packages05 Sep 2021
-
Lightweight readline alternative1.5.1BSD-3-clauseUsed by 12 other packages21 Mar 2024
-
LSP server library0.6MITUsed by 2 other packages03 Jun 2024
-
LSP server library (with Lwt for concurrency)0.6MITUsed by 0 other packages03 Jun 2024
-
Core types and algorithms for logic2.1BSD-2-ClauseUsed by 3 other packages05 Sep 2021
-
An alternative to `Lwt_stream` with interfaces for producers and consumers and a bounded internal buffer0.1Used by 0 other packages30 Jan 2020
-
maki
No documentation
Persistent incremental computations, for repeatable tests and benchmarks.0.2Used by 0 other packages26 Feb 2017 -
0.1ApacheUsed by 0 other packages18 Nov 2020
-
0.7MITUsed by 2 other packages10 Sep 2024
-
Async IO for moonpool, relying on picos (experimental)0.7MITUsed by 0 other packages10 Sep 2024
-
Event loop for moonpool based on Lwt-engine (experimental)0.7MITUsed by 0 other packages10 Sep 2024
-
Library containing a SAT solver that can be parametrized by a theory0.9.1Apache-2.0Used by 5 other packages24 Mar 2021
-
0.9.1Apache-2.0Used by 0 other packages24 Mar 2021
-
nunchaku
No documentation
A counter-example finder for higher-order logic, designed to be used from various proof assistants0.6Used by 0 other packages24 Oct 2018 -
Pure OCaml compiler for .proto files3.1.1MITUsed by 5 other packages22 Jul 2024
-
0.3Used by 0 other packages09 Mar 2019