Kuchma Andrey's starred repositories
megaparsec
Industrial-strength monadic parser combinator library
location-history-visualizer
Visualize your Google Location History using an interactive heatmap
haskell-backend
The symbolic execution engine powering the K Framework
shellcheck
ShellCheck, a static analysis tool for shell scripts
Anime-Girls-Holding-Programming-Books
Anime Girls Holding Programming Books
cardano-db-sync
A component that follows the Cardano chain and stores blocks and transactions in PostgreSQL
obsidian-releases
Community plugins list, theme list, and releases of Obsidian.
FP-Course-ITMO
Slides and other materials for functional programming lectures ITMO university