Skip to content
View yrke's full-sized avatar

Organizations

@f-klubben @TAPAAL @DEIS-Tools @Ecdar @opaal-modelchecker @CEDARDK

Block or report yrke

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 is supported. 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
7 stars written in Rust
Clear filter

A post-modern modal text editor.

Rust 44,167 3,439 Updated Apr 28, 2026

A new type of shell

Rust 39,250 2,114 Updated Apr 29, 2026

🤖 Just a command runner

Rust 33,239 770 Updated Apr 28, 2026

a structural diff that understands syntax 🟥🟩

Rust 25,173 469 Updated Apr 29, 2026

A simple, secure and modern file encryption tool (and Rust library) with small explicit keys, no config options, and UNIX-style composability.

Rust 3,448 150 Updated Apr 22, 2026

A proof-of-concept microkernel that implements a WebAssembly "usermode" that runs in Ring 0.

Rust 2,351 72 Updated Feb 28, 2023

Paper backup generator suitable for long-term storage.

Rust 1,456 57 Updated Oct 30, 2025