Pinned Repositories
acm-icpc-cheat-sheet
To commemorate my ACM-ICPC.
alacritty-theme
Collection of Alacritty color schemes
asld
A* on Linked Data
IIC2613-2021-2-Slides
monea
Monea: the secure, private, untraceable cryptocurrency
nix-home
os-test
Random tests on system calls
qmk_firmware
keyboard controller firmware for Atmel AVR and ARM USB families
sbpl
Search-Based Planning Library
Search-py
Search algorithm implementations meant for teaching
Dietr1ch's Repositories
Dietr1ch/Search-py
Search algorithm implementations meant for teaching
Dietr1ch/IIC2613-2021-2-Slides
Dietr1ch/alacritty-theme
Collection of Alacritty color schemes
Dietr1ch/nix-home
Dietr1ch/qmk_firmware
keyboard controller firmware for Atmel AVR and ARM USB families
Dietr1ch/ancora
Dietr1ch/bnt162b2
Markdown version of Reverse Engineering the source code of the BioNTech/Pfizer SARS-CoV-2 Vaccine
Dietr1ch/capnproto-rust-hello-world
Dietr1ch/confesionesAdminless
Un bot para https://t.me/confesionesadminless
Dietr1ch/darkreader
Dark Reader Chrome and Firefox extension
Dietr1ch/Dietr1ch.github.io
My personal website
Dietr1ch/home-manager
Manage a user environment using Nix
Dietr1ch/ipfs-docs
📚IPFS documentation platform
Dietr1ch/llama.cpp
Port of Facebook's LLaMA model in C/C++
Dietr1ch/minigrep
Dietr1ch/nixos-config
An attempt at maintaing a small and modular system-level config for NixOS
Dietr1ch/nixos-hardware
A collection of NixOS modules covering hardware quirks.
Dietr1ch/nushell
A new type of shell
Dietr1ch/resume
My résumé. LaTeX two-column one-pager.
Dietr1ch/rfc4122bis
revision to RFC4122
Dietr1ch/Rust
All Algorithms implemented in Rust
Dietr1ch/rust-by-example
Learn Rust with examples (Live code editor included)
Dietr1ch/rustyping
A prettier lightweight colored ping utility written in Rust
Dietr1ch/spacemacs-layer-direnv
Dietr1ch/spacemacs-layer-envrc
Dietr1ch/ssh-keys
Please add these to authorized_keys ;)
Dietr1ch/tmux-pain-control
standard pane key-bindings for tmux
Dietr1ch/tmux-zen
Achieve true terminal zen with tmux and Oh My Fish.
Dietr1ch/tonic-hello-world
Dietr1ch/tree-sitter-ezml
ezML wants to be a compact XML-like language when it grows up