ShrykeWindgrace's repositories
csclub-coq-course-spring-2021
A course on formal verification at https://compsciclub.ru/en, Spring term 2021
Language:Java000
hledger-iadd
A terminal UI as drop-in replacement for hledger add.
LedgerTools
A SublimeText pluggin for Ledger CLI
Monalog
Terminal logs observer
Language:HaskellMIT000
optparse-applicative
Applicative option parser
snake-fury
a challenge for Haskell beginners
Terminal-Icons
A PowerShell module to show file and folder icons in the terminal
weederwrong-attribution
Wrong weed attribution
Language:Haskell000