Pinned Repositories
dimensioned
Compile-time dimensional analysis for various unit systems using Rust's type system.
dimensioned-examples
Examples for using dimensioned
dotfiles
Some of my config files and scripts I find useful.
minsky
A Minsky Machine in Rust's type system
peano
The peano numbers implemented in Rust's type system.
playlister
An app to keep a Spotify playlist up-to-date with r/listentothis
ranged
Numeric types for Rust with values constrained by a range.
rustybar
A status bar using dzen2 written in Rust.
subenum
A Rust macro to make enums with a subset of values of the parent
typenum
Compile time numbers in Rust.
paholg's Repositories
paholg/typenum
Compile time numbers in Rust.
paholg/dimensioned
Compile-time dimensional analysis for various unit systems using Rust's type system.
paholg/subenum
A Rust macro to make enums with a subset of values of the parent
paholg/rustybar
A status bar using dzen2 written in Rust.
paholg/dotfiles
Some of my config files and scripts I find useful.
paholg/babys-first-proc-macro
A literate tutorial of Rust proc-macros
paholg/gam
Gam!
paholg/tch-distr-rs
paholg/attic-image
Testing test things test test
paholg/cache-testing
paholg/cleanrl
High-quality single file implementation of Deep Reinforcement Learning algorithms with research-friendly features (PPO, DQN, C51, DDPG, TD3, SAC, PPG)
paholg/cyberpunk2077
Cyberpunk 2077 tweaks
paholg/dfdx
Deep learning in Rust, with shape checked tensors and neural networks
paholg/display-switch
Turn a $30 USB switch into a full-featured multi-monitor KVM switch
paholg/getting-started
Accompanying example for Developer's Docs Getting Started section.
paholg/helix
A post-modern modal text editor.
paholg/hello-garnix
paholg/home-manager
Manage a user environment using Nix
paholg/imdb-rename
A command line tool to rename media files based on titles from IMDb.
paholg/jwt-cli
A super fast CLI tool to decode and encode JWTs built in Rust
paholg/learnit
paholg/nixpkgs
Nix Packages collection
paholg/paholg.github.io
paholg/ra-multiplex
share one rust-analyzer server instance between multiple LSP clients to save resources
paholg/regex
An implementation of regular expressions for Rust. This implementation uses finite automata and guarantees linear time matching on all inputs.
paholg/related_post_gen
paholg/rhai
Rhai - An embedded scripting language for Rust.
paholg/rurel
Flexible, reusable reinforcement learning (Q learning) implementation in Rust
paholg/rust-typed-builder
Compile-time type-checked builder derive
paholg/VPG-PyTorch
Minimalistic implementation of Vanilla Policy Gradient with PyTorch