Daniel Soukup's repositories
octo.nvim
Edit and review GitHub issues and pull requests from the comfort of your favorite editor
Language:LuaMIT000
leansat
This package provides an interface and foundation for verified SAT reasoning
Language:LeanApache-2.0000
bolt
Launcher wrapper for a lightning fast Unix workflow
Language:ShellGPL-3.0000
nixpkgs
Nix Packages collection
MIT000