Sören Tempel's repositories
android-tools
Unoffical CMake-based build system for android command line utilities
angr-platforms
A collection of extensions to angr to handle new platforms
bitwuzla
Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name is derived from an Austrian dialect expression that can be translated as “someone who tinkers with bits”.
freer-simple
A friendly effect system for Haskell
guix-channel
A channel for the Guix package manager
libucontext
ucontext implementation featuring glibc-compatible ABI
openssh-portable
Portable OpenSSH
pinentry-bemenu
Pinentry based on bemenu
qemu-openrc
OpenRC init script for QEMU/KVM (for Gentoo and Alpine Linux)
srfi-214
Fork of <https://github.com/scheme-requests-for-implementation/srfi-214> for CHICKEN
srfi-214-upstream
Flexvectors
swaylock
Screen locker for Wayland
zk
A plain text note-taking assistant