interception-caps2esc

interception plugin for dual function Esc/Ctrl key at CapsLock

Using caps2esc with interception-tools offers the optimal keyboard experience for vi/Vim/NeoVim aficionados under Wayland/X/Linux console.

elpa-bazel-mode

Bazel support for GNU Emacs

This repository provides support for Bazel in GNU Emacs. It consists of a single file, bazel.el, which only depends on GNU Emacs and not on other libraries.

libcoq-libhyps

Tactics on hypotheses in Coq

This package provides tactics and tacticals to work with hypotheses during a Coq proof.

librnd3-hid-gtk2-gl

GUI: gtk2, opengl

Hardware accelerated (opengl) rendering on gtk2.

python3-asfsmd

ASF Sentinel-1 Metadata Download tool

Small Python tool (`asfsmd`) that allows one to download XML files containing Sentinel-1 products metadata from the ASF archive.

asfsmd

ASF Sentinel-1 Metadata Download tool - CLI tool

Small Python tool (`asfsmd`) that allows one to download XML files containing Sentinel-1 products metadata from the ASF archive.