libevdi1
Extensible Virtual Display Interface driver client library
The Extensible Virtual Display Interface (EVDI) is a Linux kernel
module that enables management of multiple screens, allowing user-space
programs to take control over what happens with the image. It is
essentially a virtual display you can add, remove and receive
screen updates for, in an application that uses the libevdi library.
libghc-copilot-core-prof
Intermediate representation for Copilot.; 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-interpreter-prof
Interpreter for Copilot.; 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-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.