Pinned Repositories
bolt
Launcher wrapper for a lightning fast Unix workflow
leansat
This package provides an interface and foundation for verified SAT reasoning
nixpkgs
Nix Packages collection
octo.nvim
Edit and review GitHub issues and pull requests from the comfort of your favorite editor
rustlings
:crab: Small exercises to get you used to reading and writing Rust code!
lehmer-rs
An implementation of Lehmer RNGs for a university project.
leansat
This package provides an interface and foundation for verified SAT reasoning
octo.nvim
Edit and review GitHub issues and pull requests from the comfort of your favorite editor
Daniel1854's Repositories
Daniel1854/rustlings
:crab: Small exercises to get you used to reading and writing Rust code!
Daniel1854/bolt
Launcher wrapper for a lightning fast Unix workflow
Daniel1854/leansat
This package provides an interface and foundation for verified SAT reasoning
Daniel1854/nixpkgs
Nix Packages collection
Daniel1854/octo.nvim
Edit and review GitHub issues and pull requests from the comfort of your favorite editor