Giters
Daniel Soukup (Daniel1854)

Daniel1854

Geek Repo

3

followers

3

following

29

stars

Location:Munich, Germany

Github PK Tool:Github PK Tool

Daniel Soukup's repositories

octo.nvim

Edit and review GitHub issues and pull requests from the comfort of your favorite editor

Language:LuaLicense:MITStargazers:0Issues:0Issues:0

leansat

This package provides an interface and foundation for verified SAT reasoning

Language:LeanLicense:Apache-2.0Stargazers:0Issues:0Issues:0

bolt

Launcher wrapper for a lightning fast Unix workflow

Language:ShellLicense:GPL-3.0Stargazers:0Issues:0Issues:0

nixpkgs

Nix Packages collection

License:MITStargazers:0Issues:0Issues:0

rustlings

:crab: Small exercises to get you used to reading and writing Rust code!

Language:RustLicense:MITStargazers:1Issues:0Issues:0