69 search results for "author:"eir""

Showing 51 - 69
  1. 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
    Added to opam-repository
  2. passmaker
    Documentation
    Library for generating memorable passphrases
    Dario Teixeira <dario.teixeira@nleyten.com>
    1.0
    ISC
    Used by 1 other packages
    Added to opam-repository
  3. passmakercmd
    Documentation
    Command line utility for generating memorable passphrases
    Dario Teixeira <dario.teixeira@nleyten.com>
    1.0
    ISC
    Used by 0 other packages
    Added to opam-repository
  4. piaf
    Documentation
    An HTTP library with HTTP/2 support written entirely in OCaml
    Antonio Nuno Monteiro <anmonteiro@gmail.com>
    0.2.0
    BSD-3-clause
    Used by 0 other packages
    Added to opam-repository
  5. 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
    Added to opam-repository
  6. reactjs-jsx-ppx
    Documentation
    ReactJS JSX PPX
    Antonio Nuno Monteiro <anmonteiro@gmail.com>
    1.0.0
    LGPL-2.1-or-later
    Used by 2 other packages
    Added to opam-repository
  7. rescript-syntax
    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
    Added to opam-repository
  8. 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
    Added to opam-repository
  9. serial
    Documentation
    Serial communication module
    eir
    0.1.0
    GPL-2.0-only
    Used by 0 other packages
    Added to opam-repository
  10. 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 14 other packages
    Added to opam-repository
  11. smtml
    Documentation
    An SMT solver frontend for OCaml
    João Pereira <joaomhmpereira@tecnico.ulisboa.pt> Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt> Hichem Rami Ait El Hara <hra@ocamlpro.com> redianthus <redopam@pm.me> Arthur Carcano <arthur.carcano@ocamlpro.com> et al.
    0.29.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  12. 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
    Added to opam-repository
  13. 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
    Added to opam-repository
  14. 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
    Added to opam-repository
  15. 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
    Added to opam-repository
  16. 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
    Added to opam-repository
  17. 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
    Added to opam-repository
  18. 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
    Added to opam-repository
  19. 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
    Added to opam-repository
1 2