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.