59 search results for "author:"Simon Cruanes""

  1. avro
    Runtime library for encoding/decoding Avro
    Simon Cruanes
    0.1
    MIT
    Used by 0 other packages
    Last published 12 Dec 2021
  2. avro-compiler
    Schema compiler for Avro
    Simon Cruanes
    0.1
    MIT
    Used by 1 other packages
    Last published 12 Dec 2021
  3. bare_encoding
    BARE encoding, see https://baremessages.org/
    encoding binary bare
    simon cruanes
    0.3
    MIT
    Used by 0 other packages
    Last published 16 Feb 2022
  4. 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
    Last published 30 Jul 2020
  5. benchpress-server
    Server and web UI for benchpress
    Simon Cruanes Guillaume Bury
    0.1
    Used by 0 other packages
    Last published 30 Jul 2020
  6. bencode
    Bencode (`.torrent` file format) reader/writer in OCaml
    Rudi Grinberg Simon Cruanes
    2.0
    MIT
    Used by 2 other packages
    Last published 11 Dec 2019
  7. 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
    Last published 04 Feb 2020
  8. 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
    Last published 04 Feb 2020
  9. cconv
    Combinators for Type Conversion in OCaml
    conversion gadt serialization
    Simon Cruanes
    0.5
    Used by 4 other packages
    Last published 09 Mar 2019
  10. cconv-ppx
    Combinators for Type Conversion in OCaml
    conversion gadt serialization ppx-deriving
    Simon Cruanes
    0.5
    Used by 0 other packages
    Last published 09 Mar 2019
  11. choice
    Choice monad, for easy backtracking
    Simon Cruanes <simon.cruanes.2007@m4x.org>
    0.4
    Used by 0 other packages
    Last published 11 Nov 2019
  12. conf-rust
    Virtual package relying on cargo (rust build system)
    Simon Cruanes
    0.1
    MIT
    Used by 6 other packages
    Last published 05 Dec 2018
  13. conf-rust-2018
    Virtual package relying on cargo (rust build system)
    Simon Cruanes
    1
    MIT
    Used by 2 other packages
    Last published 08 Feb 2019
  14. conf-rust-2021
    Virtual package relying on cargo (rust build system)
    TriliTech Simon Cruanes
    1
    MIT
    Used by 3 other packages
    Last published 13 Oct 2022
  15. containers
    A modular, clean and powerful extension of the OCaml standard library
    stdlib containers iterators list heap queue
    Simon Cruanes
    3.11
    BSD-2-Clause
    Used by 67 other packages
    Last published 09 Feb 2023
  16. containers-data
    A set of advanced datatypes for containers
    containers RAL functional vector okasaki
    Simon Cruanes
    3.11
    BSD-2-Clause
    Used by 5 other packages
    Last published 09 Feb 2023
  17. containers-thread
    An extension of containers for threading
    containers thread semaphore blocking queue
    Simon Cruanes
    3.11
    BSD-2-Clause
    Used by 0 other packages
    Last published 09 Feb 2023
  18. datalog
    An in-memory datalog implementation for OCaml
    datalog relational query prolog
    Simon Cruanes
    0.6
    BSD-2-Clause
    Used by 0 other packages
    Last published 13 Mar 2019
  19. decoders-bencode
    Bencode backend for decoders
    Simon Cruanes <simon@imandra.ai>
    1.0.0
    ISC
    Used by 0 other packages
    Last published 09 Aug 2022
  20. 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
    Last published 09 Aug 2022
  21. 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
    Last published 21 Jan 2022
  22. ezcurl
    Friendly wrapper around OCurl
    curl web http client
    Simon Cruanes
    0.2.2
    MIT
    Used by 3 other packages
    Last published 13 Feb 2023
  23. ezcurl-lwt
    Friendly wrapper around OCurl, Lwt version
    curl web http client lwt
    Simon Cruanes
    0.2.2
    MIT
    Used by 0 other packages
    Last published 13 Feb 2023
  24. gen
    Iterators for OCaml, both restartable and consumable
    gen iterator iter fold
    Simon Cruanes ELLIOTTCABLE
    1.1
    BSD-2-Clause
    Used by 13 other packages
    Last published 16 Mar 2023
  25. irc-client
    IRC client library - core functionality
    John Else Simon Cruanes
    0.7.1
    MIT
    Used by 5 other packages
    Last published 27 Feb 2023
  26. irc-client-lwt
    IRC client library - Lwt implementation
    John Else Simon Cruanes
    0.7.1
    MIT
    Used by 1 other packages
    Last published 27 Feb 2023
  27. irc-client-lwt-ssl
    IRC client library - Lwt SSL implementation
    Simon Cruanes
    0.7.1
    MIT
    Used by 1 other packages
    Last published 27 Feb 2023
  28. irc-client-tls
    IRC client library - TLS implementation
    John Else Simon Cruanes
    0.7.1
    MIT
    Used by 1 other packages
    Last published 27 Feb 2023
  29. irc-client-unix
    IRC client library - Unix implementation
    John Else Simon Cruanes
    0.7.1
    MIT
    Used by 0 other packages
    Last published 27 Feb 2023
  30. 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
    Last published 21 Oct 2022
  31. 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
    Last published 13 Feb 2020
  32. 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
    Last published 19 Nov 2021
  33. 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
    Last published 05 Sep 2021
  34. linenoise
    Lightweight readline alternative
    Edgar Aroutiounian <edgar.factorial@gmail.com> Simon Cruanes
    1.4.0
    BSD-3-clause
    Used by 12 other packages
    Last published 15 Sep 2022
  35. linol
    LSP server library
    lsp server lwt
    Simon Cruanes
    0.4
    MIT
    Used by 2 other packages
    Last published 30 Jul 2021
  36. linol-lwt
    LSP server library (with Lwt for concurrency)
    lsp server lwt linol
    Simon Cruanes
    0.4
    MIT
    Used by 1 other packages
    Last published 30 Jul 2021
  37. 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
    Last published 05 Sep 2021
  38. 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
    Last published 30 Jan 2020
  39. maki
    Persistent incremental computations, for repeatable tests and benchmarks.
    incremental persistent memoization
    Simon Cruanes
    0.2
    Used by 0 other packages
    Last published 26 Feb 2017
  40. mc2
    A mcsat-based SMT solver in pure OCaml
    sat smt mcsat
    Simon Cruanes Guillaume Bury
    0.1
    Apache
    Used by 0 other packages
    Last published 18 Nov 2020
  41. 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
    Last published 24 Mar 2021
  42. 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
    Last published 24 Mar 2021
  43. 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
    Last published 24 Oct 2018
  44. olinq
    LINQ inspired queries on in-memory data
    linq query join group collection
    Simon Cruanes
    0.3
    Used by 0 other packages
    Last published 09 Mar 2019
  45. 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 13 other packages
    Last published 13 Jun 2022
  46. 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
    Last published 22 Feb 2022
  47. printbox-html
    Printbox unicode handling
    print box table tree
    Simon Cruanes Guillaume Bury
    0.6.1
    BSD-2-Clause
    Used by 0 other packages
    Last published 22 Feb 2022
  48. 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
    Last published 22 Feb 2022
  49. 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
    Last published 13 Jan 2021
  50. 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
    Last published 12 Feb 2021
  51. sequence
    Simple and lightweight sequence abstract data type.
    sequence iterator iter fold
    Simon Cruanes
    1.1
    BSD-2-Clause
    Used by 10 other packages
    Last published 15 Jul 2018
  52. smbc
    Experimental model finder/SMT solver for functional programming
    logic narrowing model smt
    Simon Cruanes
    0.6.1
    Used by 0 other packages
    Last published 14 Nov 2019
  53. smtlib-utils
    Parser for SMTLIB2
    SMTLIB smt2 parse logic
    Simon Cruanes
    0.4
    BSD-2-Clause
    Used by 0 other packages
    Last published 28 Jun 2022
  54. sqlite3_utils
    High-level wrapper around ocaml-sqlite3
    sqlite3 gadt typed sql
    Simon Cruanes
    0.5
    MIT
    Used by 0 other packages
    Last published 04 Jan 2022
  55. 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
    Last published 31 Mar 2022
  56. tiny_httpd_camlzip
    Interface to camlzip for tiny_httpd
    http thread server gzip camlzip
    Simon Cruanes
    0.12
    MIT
    Used by 1 other packages
    Last published 31 Mar 2022
  57. tip-parser
    Parser for https://tip-org.github.io/format.html
    TIP parse inductive logic
    Simon Cruanes
    0.6
    Used by 1 other packages
    Last published 09 Feb 2019
  58. 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
    Last published 05 Sep 2021
  59. 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
    Last published 05 Sep 2021