12 search results for "tag:"program""

bsbnative
bsb-native is BuckleScript's bsb but for ocamlc and ocamlopt
1.9.4
SEE LICENSE IN LICENSE
Used by 0 other packages
Last published 10 Oct 2017
frama-c-e-acsl
This package contains the Frama-C's E-ACSL plug-in.
0.5
LGPL-2.1-only
Used by 0 other packages
Last published 28 Jul 2015
frama-c-metacsl
MetAcsl plugin of Frama-C for writing pervasives properties
0.4
LGPL-2.1-only
Used by 0 other packages
Last published 09 Dec 2022
waylaunch
Waylaunch is a program launcher for Wayland
0.2.0
GPL-3.0-or-later
Used by 0 other packages
Last published 26 Oct 2020