This is a staging site. Uploads will not persist. Testing only.
lomiri-docviewer-app
Document Viewer App for Lomiri Operating Environment
This app is a core app for Ubuntu Touch's shell Lomiri. Ubuntu Touch is
a mobile OS developed by the UBports Foundation. Lomiri is its operating
environment optimized for touch based human-machine interaction, but
also supports convergence (i.e. switching between tablet/phone and
desktop mode).
libinspector0
GWorkspace inspector framework (shared library)
GWorkspace is the official GNUstep workspace manager. The Inspector
framework is a core part of it allowing specialized inspection of
files with different filetypes.
libghc-copilot-theorem-prof
k-induction for Copilot.; profiling libraries
Some tools to prove properties on Copilot programs with k-induction model
checking.
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.