coq
proof assistant for higher-order logic (toplevel and compiler)
Coq is a proof assistant for higher-order logic, which allows the
development of computer programs consistent with their formal
specification. It is developed using Objective Caml and Camlp5.
libgedit-tepl-6-3
Text editor library for GTK
libgedit-tepl is a library that eases the development of GtkSourceView-based
text editors and IDEs. Tepl is the acronym for “Text editor product line”. It
serves as an incubator for GtkSourceView.
python-kivy-examples
Kivy - Multimedia / Multitouch framework in Python (examples)
Kivy is an open source library for developing multi-touch applications. It is
completely cross platform (Linux/OSX/Win/Android) and released under the terms
of the MIT license.
libeclipse-ltk-ui-refactoring-java
Eclipse Refactoring UI
Eclipse JDT UI implements the user interface for the Java IDE. It provides
several workbench contributions for viewing and manipulating Java code:
* Package Explorer View - shows the Java element tree as defined
by a project's build class path
* Type Hierarchy View - shows the sub- and supertype hierarchies
* Java Outline View - shows the structure of a Java compilation unit
or class file
* Java Browsing Perspecitve - allows navigating the Java model using
separate views for projects, packages, types and members.
* Wizards for creating Java elements - Java project, package, class,
interface
* Java Editor - syntax coloring, content specific code assist, code
resolve, method level edit, import assistance, quick fix and quick
assist
kodi-imagedecoder-heif
HEIF image decoder for Kodi
Kodi, formerly known as XBMC is an award winning free and
open source software media-player and entertainment hub for all your digital
media. Kodi is available for Linux, Mac OS X (Leopard, Tiger and Apple TV)
and Microsoft Windows, as well as the original Xbox game console. Created in
2003 by a group of like minded programmers, Kodi is a non-profit project run
and developed by volunteers located around the world. More than 50 software
developers have contributed to Kodi, and 100-plus translators have worked to
expand its reach, making it available in more than 30 languages.
python3-ewah-bool-utils
EWAH Bool Array compression
EWAH Bool Array compression is a repackaging and Python-exposed
version of "Enhanced Word-Aligned Hybrid" (EWAH) compression. It's a
Python wrapper to a compressed bitarray method, for storing large
bitsets.