6 Search Results
javascriptcore
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
leaflet
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
ojs-base
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
ojs_base
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
ppx_jsobject_conv
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
why
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