gcli

Git Forge CLI

This is a command line tool to interact with various Git forges, such as Gitea, GitLab and Microsoft® GitHub™.

libghc-copilot-c99-prof

Compiler for Copilot targeting C99; profiling libraries

This package is a back-end from Copilot to C.

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.