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.