71 search results for "author:"eir""

Showing 51 - 71
  1. melange-fetch
    Documentation
    Fetch API support for Melange
    Antonio Nuno Monteiro <anmonteiro@gmail.com>
    0.1.0
    MIT
    Used by 1 other packages
    28 Sep 2023
  2. meldep
    Documentation
    Melange counterpart to `ocamldep` that understands Melange-specific constructs
    Antonio Nuno Monteiro <anmonteiro@gmail.com>
    0.3.2
    LGPL-2.1-or-later
    Used by 1 other packages
    24 Nov 2022
  3. nuscr
    Documentation
    A tool to manipulate and validate Scribble-style multiparty protocols
    Francisco Ferreira Fangyi Zhou Simon Castellan Benito Echarren
    2.1.1
    GPL-3.0-or-later
    Used by 0 other packages
    19 Jul 2022
  4. ocplib-simplex
    Documentation
    A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities
    Mohamed Iguernlala <iguer@functori.com> Hichem Ait El Hara <hichem.ait-el-hara@ocamlpro.com> Steven de Oliveira <steven.de-oliveira@ocamlpro.com> Guillaume Bury <guillaume.bury@ocamlpro.com> Pierre Villemot <pierre.villemot@ocamlpro.com>
    0.5.1
    LGPL-2.1-or-later
    Used by 1 other packages
    02 Apr 2024
  5. passmaker
    Documentation
    Library for generating memorable passphrases
    Dario Teixeira <dario.teixeira@nleyten.com>
    1.0
    ISC
    Used by 1 other packages
    10 May 2018
  6. passmakercmd
    Documentation
    Command line utility for generating memorable passphrases
    Dario Teixeira <dario.teixeira@nleyten.com>
    1.0
    ISC
    Used by 0 other packages
    10 May 2018
  7. piaf
    Documentation
    An HTTP library with HTTP/2 support written entirely in OCaml
    Antonio Monteiro <anmonteiro@gmail.com>
    0.1.0
    BSD-3-clause
    Used by 3 other packages
    05 Feb 2021
  8. pilat

    No documentation

    Polynomial invariant generator
    Steven De Oliveira <de.oliveira.steven@gmail.com>
    1.6
    LGPL-2.1-only
    Used by 0 other packages
    22 Aug 2022
  9. reactjs-jsx-ppx

    No documentation

    ReactJS JSX PPX
    Antonio Nuno Monteiro <anmonteiro@gmail.com>
    1.0.0
    LGPL-2.1-or-later
    Used by 2 other packages
    02 Jun 2023
  10. rescript-syntax

    No documentation

    ReScript syntax packaged as an opam library
    Antonio Nuno Monteiro <anmonteiro@gmail.com>
    1.0.0
    LGPL-2.1-or-later
    Used by 0 other packages
    02 Jun 2023
  11. safepass
    Documentation
    Facilities for the safe storage of user passwords
    Dario Teixeira <dario.teixeira@nleyten.com>
    3.1
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 4 other packages
    20 Mar 2021
  12. serial
    Documentation
    Serial communication module
    eir
    0.0.2
    GPL-2.0-only
    Used by 0 other packages
    09 Jun 2020
  13. sha
    Documentation
    Binding to the SHA cryptographic functions
    Vincent Hanquez Thomas Gazagnaire Goswin von Brederlow Eric Cooper Florent Monnier et al.
    1.15.4
    ISC
    Used by 16 other packages
    23 Jan 2023
  14. solidity-alcotest
    Documentation
    The ocaml-solidity project
    org:OCamlPro
    David Declerck <david.declerck@ocamlpro.com> Steven De Oliveira <steven.de-oliveira@ocamlpro.com>
    0.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    27 Apr 2021
  15. solidity-common
    Documentation
    The ocaml-solidity project
    org:OCamlPro
    David Declerck <david.declerck@ocamlpro.com> Steven De Oliveira <steven.de-oliveira@ocamlpro.com>
    0.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 4 other packages
    27 Apr 2021
  16. solidity-parser
    Documentation
    The ocaml-solidity project
    org:OCamlPro
    David Declerck <david.declerck@ocamlpro.com> Steven De Oliveira <steven.de-oliveira@ocamlpro.com>
    0.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 3 other packages
    27 Apr 2021
  17. solidity-test
    Documentation
    The ocaml-solidity project
    org:OCamlPro
    David Declerck <david.declerck@ocamlpro.com> Steven De Oliveira <steven.de-oliveira@ocamlpro.com>
    0.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    27 Apr 2021
  18. solidity-typechecker
    Documentation
    The ocaml-solidity project
    org:OCamlPro
    David Declerck <david.declerck@ocamlpro.com> Steven De Oliveira <steven.de-oliveira@ocamlpro.com>
    0.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    27 Apr 2021
  19. subscriptions-transport-ws
    Documentation
    Websocket protocol for exchanging GraphQL requests and responses
    Antonio Nuno Monteiro <anmonteiro@gmail.com>
    0.1.0
    BSD-3-clause
    Used by 0 other packages
    07 May 2020
  20. vercel
    Documentation
    A custom runtime for Vercel.com (Now v2) written in OCaml
    Antonio Nuno Monteiro <anmonteiro@gmail.com>
    0.1.0
    BSD-3-clause
    Used by 0 other packages
    18 Apr 2021
  21. vocal
    Documentation
    VOCaL -- The Verified OCaml Library
    Arthur Charguéraud Martin Clochard Jean-Christophe Filliâtre Léon Gondelman Armaël Guéneau et al.
    0.1
    MIT
    Used by 0 other packages
    25 Dec 2018
1 2