Pinned Repositories
angband
A free, single-player roguelike dungeon exploration game
ascii-canvas
simple canvas for drawing lines and styled text and emitting to the terminal
cargo-crev
A cryptographically verifiable code review system for the cargo (Rust) package manager.
cascade
A high level language for SELinux policy
dburgener.github.io
Daniel's blog
lalrpop
LR(1) parser generator for Rust
parse-rosetta-rs
Comparing parser APIs
quick-xml
Rust high performance xml reader and writer
refpolicy
SELinux Reference Policy
selint
Static code analysis of refpolicy style SELinux policy
dburgener's Repositories
dburgener/cascade
A high level language for SELinux policy
dburgener/angband
A free, single-player roguelike dungeon exploration game
dburgener/dburgener.github.io
Daniel's blog
dburgener/lalrpop
LR(1) parser generator for Rust
dburgener/refpolicy
SELinux Reference Policy
dburgener/ascii-canvas
simple canvas for drawing lines and styled text and emitting to the terminal
dburgener/cargo-crev
A cryptographically verifiable code review system for the cargo (Rust) package manager.
dburgener/parse-rosetta-rs
Comparing parser APIs
dburgener/quick-xml
Rust high performance xml reader and writer
dburgener/refpolicy3
SELinux Reference Policy v3 pre-alpha
dburgener/selint
Static code analysis of refpolicy style SELinux policy
dburgener/setools
SELinux Policy Analysis Tools
dburgener/ena
An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.
dburgener/rust-landlock
A Rust library for the Linux Landlock sandboxing feature
dburgener/selinux-notebook
The SELinux Notebook