ShrykeWindgrace's repositories
choco-hledger
Pack hledger for chocolatey package manager
csclub-coq-course-spring-2021
A course on formal verification at https://compsciclub.ru/en, Spring term 2021
hledger-iadd
A terminal UI as drop-in replacement for hledger add.
hledger_site
The repo for hledger.org, the hledger project's website.
LedgerTools
A SublimeText pluggin for Ledger CLI
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