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.
azure-vm-utils
Core utilities and configuration for Linux VMs on Azure
This package provides a home for core utilities, udev rules and other
configuration to support Linux VMs on Azure.
libastcenc5d
ASTC image compression and decompression library
The Adaptive Scalable Texture Compression (ASTC) format, developed by
Arm® and AMD, has been adopted as an official extension to the Open GL®,
OpenGL ES, and Vulkan® graphics APIs. It provides a major step forward
both in terms of image quality at a given bitrate, and in terms of the
format and bitrate flexibility available to content creators. This
allows more assets to use compression, often at a reduced bitrate
compared to legacy formats, reducing memory bandwidth and energy
consumption.
dosbox-x
DOS emulator with complete, accurate hardware emulation
DOSBox-X is a comprehensive DOS emulator, supporting DOS applications
including Windows 3.x and Windows 9x, and striving to provide accurate
hardware emulation. It is based on the original DOSBox and includes
features from a number of forks including SVN Daum, ECE, DOSBox
Staging, DOSVAX, and vDosPlus.
libectrans-0
Spherical Harmonics Transforms library
ecTrans is the global spherical Harmonics transforms library,
extracted from the IFS weather model from ECMWF.
It uses a hybrid of MPI and OpenMP parallelisation strategies.
The package contains both single- and double precision Fortran
libraries (trans_sp, trans_dp), as well as a C interface to the
double-precision version (transi_dp).
ECMWF is the European Centre for Medium-Range Weather Forecasts.
kissat
Keep it simple and clean bare metal SAT solver
Kissat is a "keep it simple and clean bare metal SAT solver" written
in C. It is a port of CaDiCaL back to C with improved data structures,
better scheduling of inprocessing and optimized algorithms and
implementation.