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.
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.