74 search results for "author:"eir""

Showing 51 - 74
  1. melange

    No documentation

    Toolchain to produce JS from Reason/OCaml
    Antonio Nuno Monteiro <anmonteiro@gmail.com>
    4.0.1-52
    LGPL-2.1-or-later
    Used by 18 other packages
    11 Jun 2024
  2. melange-compiler-libs
    Documentation
    Compiler libraries for Melange, a toolchain to produce JavaScript from OCaml
    Antonio Nuno Monteiro <anmonteiro@gmail.com>
    0.0.1-414
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    18 Oct 2022
  3. 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
  4. 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
  5. 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
  6. 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
  7. passmaker
    Documentation
    Library for generating memorable passphrases
    Dario Teixeira <dario.teixeira@nleyten.com>
    1.0
    ISC
    Used by 1 other packages
    10 May 2018
  8. 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
  9. 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
    07 Sep 2024
  10. 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
  11. 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
  12. 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
  13. 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
  14. serial
    Documentation
    Serial communication module
    eir
    0.1.0
    GPL-2.0-only
    Used by 0 other packages
    07 Oct 2024
  15. 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
  16. smtml
    Documentation
    A Front-end library for SMT solvers in OCaml
    João Pereira <joaomhmpereira@tecnico.ulisboa.pt> Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt> Hichem Rami Ait El Hara <hra@ocamlpro.com> Léo Andrès <contact@ndrs.fr> Arthur Carcano <arthur.carcano@ocamlpro.com> et al.
    0.3.1
    MIT
    Used by 1 other packages
    06 Nov 2024
  17. 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
  18. 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
  19. 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
  20. 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
  21. 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
  22. 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
  23. 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
  24. 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