irony-server
Emacs C/C++ minor mode powered by libclang (server)
irony-mode is an Emacs minor-mode that aims at improving the editing
experience for the C, C++ and Objective-C languages. It works by
using a combination of an Emacs package and a C++ program
(irony-server) that uses libclang.
libghc-copilot-language-prof
DSL for monitoring hard real-time distributed systems.; profiling libraries
The concrete syntax for Copilot.
libghc-copilot-libraries-prof
Libraries for the Copilot language.; profiling libraries
Copilot is a stream (i.e., infinite lists) domain-specific language (DSL) in
Haskell that compiles into embedded C. Copilot contains an interpreter,
multiple back-end compilers, and other verification tools.
libghc-copilot-theorem-prof
k-induction for Copilot.; profiling libraries
Some tools to prove properties on Copilot programs with k-induction model
checking.
libghc-copilot-c99-prof
Compiler for Copilot targeting C99; profiling libraries
This package is a back-end from Copilot to C.
librc1t64
dependency based service manager (runtime library)
OpenRC is a dependency based service manager. It provides support for System V
init, for booting, changing runlevels, starting and stopping services, and
shutting down.