Search:
Search Results
sci-mathematics/frama-c-from
From analysis plugin for frama-c
sci-mathematics/frama-c-loopanalysis
Loop analysis plugin for frama-c
sci-mathematics/frama-c-impact
Impact plugin for frama-c
sci-mathematics/frama-c-inout
In/out analysis plugin for frama-c
sci-mathematics/frama-c-instantiate
Instantiate analysis plugin for frama-c
sci-mathematics/frama-c-obfuscator
Obfuscator plugin for frama-c
sci-mathematics/frama-c-metrics
Metrics plugin for frama-c
sci-mathematics/frama-c-nonterm
Nonterm plugin for frama-c
sci-mathematics/frama-c-occurrence
Occurrence analysis plugin for frama-c
sci-mathematics/frama-c-pdg
Program dependence graph plugin for frama-c
sci-mathematics/frama-c-qed
Qed plugin for frama-c
sci-mathematics/frama-c-printapi
Plugin generating .mli interface files for plugin APIs for frama-c
sci-mathematics/frama-c-reduc
frama-c plugin to generate ACSL annotations from Eva information
sci-mathematics/frama-c-postdominators
Postdominators plugin for frama-c
sci-mathematics/frama-c-rtegen
Runtime error annotation (RTE) generation plugin for frama-c
sci-mathematics/frama-c-scope
Scope plugin for frama-c
sci-mathematics/frama-c-report
Report plugin for frama-c
sci-mathematics/frama-c-server
Server plugin for frama-c
sci-mathematics/frama-c-security-slicing
Security slicing plugin for frama-c
sci-mathematics/frama-c-slicing
Slicing plugin for frama-c
sci-mathematics/frama-c-sparecode
Spare code plugin for frama-c
sci-mathematics/frama-c-studia
Studia plugin for frama-c
sci-mathematics/frama-c-users
Users plugin for frama-c
sci-mathematics/frama-c-variadic
Variadic function transformation plugin for frama-c
www-apps/soupault
Static website generator based on HTML rewriting
dev-ml/asetmap
Alternative, compatible, OCaml standard library Sets and Maps
dev-ml/tsdl
Thin bindings to SDL for OCaml
dev-ml/gavl
OCaml bindings to Gavl video manipulation library
dev-ml/magic
OCaml bindings to libmagic
dev-ml/alsa
OCaml bindings to alsa-lib
dev-ml/ao
OCaml bindings to libao
dev-ml/arp
Address Resolution Protocol purely in OCaml
dev-ml/asn1-combinators
Embed typed ASN.1 grammars in OCaml
dev-ml/backoff
Exponential backoff mechanism for OCaml
dev-ml/async_ssl
An Async-pipe-based interface with OpenSSL
dev-ml/bechamel
Agnostic benchmark in OCaml
dev-ml/bjack
OCaml blocking JACK API
dev-ml/bheap
OCaml binary heap implementation
dev-ml/ca-certs
Detect root CA certificates from the operating system
dev-ml/ca-certs-nss
X.509 trust anchors extracted from Mozilla's NSS
dev-ml/camlimages
An image manipulation library for ocaml
dev-ml/cohttp
OCaml library for HTTP clients and servers
dev-ml/containers
Standard library extension and interfaces to various libraries
dev-ml/conduit
A network connection establishment library
dev-ml/cry
OCaml native module for icecast/shoutcast source protocols
dev-ml/data-encoding
Type-safe encoding to and decoding from JSON
dev-ml/domain-local-await
Scheduler independent blocking
dev-ml/dns
OCaml implementation of the DNS protocol
dev-ml/domain-local-timeout
A scheduler independent timeout mechanism
dev-ml/domain-name
RFC 1035 Internet domain names