Pinned Repositories
gitu
A TUI Git client inspired by Magit
Polar
Polar is a secure and scalable knowledge graph framework, designed to address the challenges posed by building big data systems in highly regulated environments, and improve observability for DevSecOps Organizations.
mermaid.cli
Command-line interface for mermaid
nix-neovim
nixos
Nixos Stuff
uberspark
UberSpark: Composable Verification of Commodity System Software
lunatic-rs
This library contains higher level Rust wrappers for low level Lunatic syscalls.
maestro
Unix-like kernel written in Rust
coreutils
Cross-platform Rust rewrite of the GNU coreutils
daveman1010221's Repositories
daveman1010221/mermaid.cli
Command-line interface for mermaid
daveman1010221/nix-neovim
daveman1010221/nixos
Nixos Stuff
daveman1010221/uberspark
UberSpark: Composable Verification of Commodity System Software