elpa-treemacs

tree layout file explorer for Emacs

Treemacs is a file and project explorer similar to NeoTree or vim’s NerdTree, but largely inspired by the Project Explorer in Eclipse. It shows the file system outlines of your projects in a simple tree layout allowing quick navigation and exploration, while also possessing basic file management utilities.

libqgis-3d3.28.12

QGIS - shared 3d library

QGIS is a Geographic Information System (GIS) which manages, analyzes and display databases of geographic information.

libcoq-corn

Coq Constructive Repository at Nijmegen

This library provides different theories for Coq: - an algebraic hierarchy with an axiomatic formalization of the most common algebraic structures, like setoids, monoids, groups, rings, fields, ordered fields, rings of polynomials and real and complex numbers; - a construction of the real numbers satisfying the above axiomatic description; - a proof of the fundamental theorem of algebra; - a collection of elementary results on real analysis including continuity, differentiability, integration, Taylor's theorems and the fundamental theorem of calculus; - tools for exact real computations like real numbers, functions, integrals, graph of functions and differential equations.

libgnuradio-video-sdl3.10.4

gnuradio video functions

Library for handling SDL (Simple DirectMedia Layer) video data. Implements input and output blocks. Part of the main gnuradio build.

libslow5-0t64

library for reading & writing SLOW5 files

Slow5lib is a software library for reading & writing SLOW5 files. Slow5lib is designed to facilitate use of data in SLOW5 format by third- party software packages. Existing packages that read/write data in FAST5 format can be easily modified to support SLOW5.

python3-adapt

Adapt Intent Parser (Python 3)

The Adapt Intent Parser is a flexible and extensible intent definition and determination framework. It is intended to parse natural language text into a structured intent (a json object) that can then be invoked programmatically.