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.