Daniel1854

Munich, Germany

Pinned Repositories

bolt
Launcher wrapper for a lightning fast Unix workflow
Language:Shell00
leansat
This package provides an interface and foundation for verified SAT reasoning
Language:Lean00
nixpkgs
Nix Packages collection
Language:Nix00
octo.nvim
Edit and review GitHub issues and pull requests from the comfort of your favorite editor
Language:Lua00
rustlings
:crab: Small exercises to get you used to reading and writing Rust code!
Language:Rust1 1 00
lehmer-rs
An implementation of Lehmer RNGs for a university project.
Language:Rust0 3 00
leansat
This package provides an interface and foundation for verified SAT reasoning
Language:Lean48 4 96
octo.nvim
Edit and review GitHub issues and pull requests from the comfort of your favorite editor
Language:Lua2.3k 13 299125

Daniel1854's Repositories

Daniel1854/rustlings
:crab: Small exercises to get you used to reading and writing Rust code!
Language:Rust1 1 00
Daniel1854/bolt
Launcher wrapper for a lightning fast Unix workflow
Language:Shell00
Daniel1854/leansat
This package provides an interface and foundation for verified SAT reasoning
Language:Lean00
Daniel1854/nixpkgs
Nix Packages collection
Language:Nix00
Daniel1854/octo.nvim
Edit and review GitHub issues and pull requests from the comfort of your favorite editor
Language:Lua00