Skip to content
View hmenke's full-sized avatar

Organizations

@NixOS @espressomd @TRIQS @contextgarden @pairinteraction @spack @pgf-tikz

Block or report hmenke

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results

C-Reduce, a C and C++ program reducer

C++ 1,640 138 Updated Jun 1, 2024

Semantics of C in K

C 322 45 Updated Feb 1, 2022

Ab initio electronic structure beyond density function theory

C++ 29 9 Updated Feb 4, 2026

A collection of Fortran compiler bug examples and tests

Fortran 38 7 Updated Feb 12, 2026

Haule's Repository for combination of Density Functional Theory and Embedded Dynamical Mean Field Theory implementation (Python3 version)

C++ 36 6 Updated Feb 23, 2025

Online compiler for HIP and NVIDIA® CUDA® code to WebGPU

C++ 207 6 Updated Jan 8, 2025

Less cows, more chads.

Shell 84 5 Updated May 16, 2025

A breadth-first version of the UNIX find command

C 1,194 42 Updated Feb 16, 2026

static podman binaries and container image

Dockerfile 408 72 Updated Feb 14, 2026

Docuum performs least recently used (LRU) eviction of Docker images. 🗑️

Rust 682 42 Updated Dec 12, 2025

A fast, small C/C++ function call tracer for x86-64/Linux, supports clang & gcc, ftrace, threads, exceptions & shared libraries

C++ 194 2 Updated Mar 25, 2025

A Fortran linter, written in Rust and installable with Python.

Rust 184 19 Updated Feb 13, 2026

Fast passive subdomain enumeration tool.

Go 13,082 1,507 Updated Feb 11, 2026

Directory/File, DNS and VHost busting tool written in Go

Go 13,415 1,552 Updated Feb 10, 2026

A tool for debugging and assessing floating point precision and reproducibility.

C 93 27 Updated Jan 26, 2026

Memory Debugger for Windows, Linux, Mac, and Android

C 2,699 289 Updated Dec 13, 2025

floating-point errors checker

C 67 16 Updated Feb 16, 2026

Dynamic verifier for MPI programs

Python 11 1 Updated May 29, 2021

WARP wireguard config generator in POSIX Shell

Shell 559 115 Updated Aug 9, 2025

rustic - fast, encrypted, and deduplicated backups powered by Rust

Rust 2,885 117 Updated Feb 12, 2026

GitHub CLI extension to list and delete GitHub Actions artifacts based on new retention policy

Shell 16 Updated Feb 25, 2025

Vulkan/CUDA/HIP/OpenCL/Level Zero/Metal Fast Fourier Transform library

C++ 1,734 127 Updated Apr 16, 2025

Run Windows apps such as Microsoft Office/Adobe in Linux (Ubuntu/Fedora) and GNOME/KDE as if they were a part of the native OS, including Nautilus integration.

Shell 10,167 452 Updated Aug 18, 2024

This repository mirrors the principal Gitlab repository of the Chebyshev Accelerated Subspace iteration Eigensolver. If you want to contribute as developer to this project please contact e.di.napol…

C++ 19 6 Updated Feb 16, 2026

Cross-platform GUI written in Rust using ADB to debloat non-rooted Android devices. Improve your privacy, the security and battery life of your device.

Rust 5,882 237 Updated Feb 16, 2026

Cross-platform GUI written in Rust using ADB to debloat non-rooted android devices. Improve your privacy, the security and battery life of your device.

Rust 18,800 990 Updated Aug 2, 2024

The book "Performance Analysis and Tuning on Modern CPU"

TeX 3,473 239 Updated Jun 9, 2025

A Rust NFS Server implementation

Rust 715 82 Updated Sep 23, 2024

RetroWrite -- Retrofitting compiler passes through binary rewriting

Python 735 83 Updated Apr 26, 2025
Python 10 1 Updated Oct 31, 2024
Next