8000 axel-h (Axel Heider) / Starred · GitHub
[go: up one dir, main page]

Skip to content
View axel-h's full-sized avatar
  • Munich, DE
  • 03:43 (UTC +01:00)

Organizations

@seL4 @Hensoldt-Cyber

Block or report axel-h

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.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. This note will only be visible to you.
Report abuse

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

Report abuse
Showing results

Blazing 💥 fast terminal-ui for git written in rust 🦀

Rust 22,629 798 Updated Oct 6, 2026

The lazier way to manage everything docker

Go 53,282 1,709 Updated Apr 19, 2026

simple terminal UI for git commands

Go 83,696 3,244 Updated Nov 6, 2026

loader for CVItek/Sophgo SoCs (CV1800B, SG200x)

Rust 12 2 Updated Sep 4, 2025

Platform System Interface Specification Ψ📖

11 1 Updated Nov 2, 2026

RISC-V CPU simulator for education purposes

C++ 651 97 Updated Oct 29, 2026

A tiny RISC-V instruction decoder and instruction set simulator

Python 38 6 Updated Oct 24, 2025

A fast RISC-V emulator based on the RISC-V Sail model, and an experimental ARM one

C 96 13 Updated Jul 15, 2026

A secure, fast, and adaptable OS based on the seL4 microkernel

C 285 49 Updated Nov 4, 2026

32-bit RISC-V CPU in ~800 lines of C89

C 631 27 Updated Jun 3, 2025

The fastest RVA23 RISC-V sandbox

C++ 1,134 93 Updated Nov 5, 2026

Linux device manager for Logitech devices

Python 9,550 605 Updated Aug 18, 2026

A collection of Ascon implementations & documents (as submodules)

59 9 Updated Aug 26, 2026
C 5 1 Updated Apr 10, 2023

Double Commander is a free cross platform open source file manager with two panels side by side.

Pascal 4,734 379 Updated Nov 6, 2026

VisionFive 2 firmware loader

Rust 10 Updated Mar 2, 2023

Envision a future where everyone can read all the code of an educational operating system.

C 3,714 322 Updated Aug 16, 2026
Makefile 567 97 Updated Oct 28, 2025

Yet Another Picoprobe

C 221 27 Updated Oct 28, 2026

Firmware source and binaries for the RP2040-based Debug Probe accessory

C 1,283 379 Updated Oct 2, 2026

Verwaltung von Mannschaften und Spielergebnissen für einen Ligabetrieb

PHP 2 1 Updated Nov 4, 2026
HTML 63 33 Updated Nov 2, 2026

Microkit - A simple operating system framework for the seL4 microkernel

Rust 213 85 Updated Nov 2, 2026

RISC-V emulator for CLI and Web written in Rust with WebAssembly. It supports xv6 and Linux (ongoing).

Rust 964 76 Updated May 29, 2024

USB to dual UART / SPI / I2C / JTAG / FIFO / Bit-Bang...

155 51 Updated Nov 22, 2022

A bare metal USB driver for Raspberry Pi 1-3 written in C

C 2 1 Updated Apr 3, 2020
Next
0