3 search results for "author:"Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt>""

Showing 1 - 3
  1. encoding
    Documentation
    Smt encoding library
    Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt>
    0.0.4
    GPL-3.0-only
    Used by 0 other packages
    05 Mar 2024
  2. owi

    No documentation

    OCaml toolchain to work with WebAssembly, including an interpreter
    owi ocaml webassembly wasm interpreter compiler
    Léo Andrès <contact@ndrs.fr> Pierre Chambart <pierre.chambart@ocamlpro.com> Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt> Eric Patrizio <epatrizio@mpns.fr> Arthur Carcano <arthur.carcano@ocamlpro.com
    0.2
    AGPL-3.0-or-later
    Used by 0 other packages
    26 Apr 2024
  3. smtml

    No 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.4.0
    MIT
    Used by 1 other packages
    02 Dec 2024