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.
GTK+ based tool to make annotations on screen with multiple pointers

gromit-mpx

GTK+ based tool to make annotations on screen with multiple pointers

Gromit-MPX enables you to make annotations on your screen using multiple pointing devices at once.

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.