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.