11 search results for "tag:"program""
Showing 1 - 11
-
binsec
No documentation
Semantic analysis of binary executables0.10.1LGPL-2.1-or-laterUsed by 0 other packages01 Jul 2025 -
A lightweight library for combinatory logic1.0.0MITUsed by 0 other packages10 Apr 2024
-
frama-c
No documentation
Platform dedicated to the analysis of source code written in C31.0LGPL-2.1-onlyUsed by 3 other packages29 Jun 2025 -
frama-c-metacsl
No documentation
MetAcsl plugin of Frama-C for writing pervasives properties0.9~betaLGPL-2.1-onlyUsed by 0 other packages23 Jun 2025 -
Static analysis framework for C2.5.0MITUsed by 0 other packages28 Nov 2024
-
A micro library for simple parsing combinators0.1.2MITUsed by 0 other packages31 Jul 2024
-
quill
No documentation
Interactive notebook for OCaml data science1.0.0~alpha0ISCUsed by 1 other packages05 Jul 2025 -
Waylaunch is a program launcher for Wayland0.3.0GPL-3.0-or-laterUsed by 0 other packages16 Jan 2024
-
why3
No documentation
Why3 environment for deductive program verification1.8.1LGPL-2.1-onlyUsed by 7 other packages09 Jun 2025 -
why3-coq
No documentation
Why3 environment for deductive program verification1.8.1LGPL-2.1-onlyUsed by 0 other packages09 Jun 2025 -
why3-ide
No documentation
Why3 environment for deductive program verification1.8.1LGPL-2.1-onlyUsed by 0 other packages09 Jun 2025