Search:
Search Results
sci-mathematics/frama-c-scope
Scope plugin for frama-c
sci-mathematics/frama-c-rtegen
Runtime error annotation (RTE) generation plugin for frama-c
sci-mathematics/frama-c-slicing
Slicing plugin for frama-c
sci-mathematics/frama-c-studia
Studia plugin for frama-c
sci-mathematics/frama-c-sparecode
Spare code plugin for frama-c
sci-mathematics/frama-c-variadic
Variadic function transformation plugin for frama-c
sci-mathematics/frama-c-users
Users plugin for frama-c
dev-ml/core_extended
Extra components that are not as closely vetted or as stable as Core
dev-ml/delimited_parsing
Parsing of character (e.g., comma) separated and fixed-width values
dev-ml/record_builder
A library which provides traversal of records with an applicative
dev-ml/pcre2-ocaml
OCaml bindings to PCRE (Perl Compatibility Regular Expressions)