6 search results for "tag:"Java""

Showing 1 - 6
  1. javascriptcore

    No documentation

    OCaml bindings to JavaScriptCore
    clib:javascriptcoregtk clib:c
    Edgar Aroutiounian <edgar.factorial@gmail.com>
    0.0.1
    BSD-3-Clause
    Used by 0 other packages
    27 Oct 2016
  2. leaflet
    Documentation
    Bindings for the Leaflet JavaScript library
    leaflet javascript bindings interactive map openstreetmap
    pukkamustard <pukkamustard@posteo.net> swrup <swrup@protonmail.com> Léo Andrès <contact@ndrs.fr>
    0.1
    BSD-2-Clause
    Used by 0 other packages
    16 Jun 2022
  3. ojs-base
    Documentation
    Base library for developing OCaml web apps based on websockets and js_of_ocaml
    javascript web components
    Zoggy <zoggy@bat8.org>
    0.6.0
    GPL-3.0-only
    Used by 0 other packages
    18 May 2021
  4. ojs_base
    Documentation
    Base library for developing OCaml web apps based on websockets and js_of_ocaml
    javascript web components
    Zoggy <zoggy@bat8.org>
    0.7.0
    GPL-3.0-only
    Used by 5 other packages
    15 Dec 2021
  5. ppx_jsobject_conv
    Documentation
    Ppx plugin for Typeconv to derive conversion from ocaml types to js objects to use with js_of_ocaml
    syntax jsoo javascript
    Roma Sokolov <sokolov.r.v@gmail.com>
    0.10.0
    MIT
    Used by 0 other packages
    21 Dec 2022
  6. why

    No documentation

    Why is a software verification platform.
    deductive program verification specification automated theorem prover interactive theorem prover Java JML C ACSL
    Jean-Christophe Filliâtre Claude Marché Yannick Moy Romain Bardou
    2.41
    LGPL-2.1-only
    Used by 0 other packages
    03 Jul 2018