Jan Hrcek's repositories
udlbook
Understanding Deep Learning - Simon J.D. Prince
relation-explorer
A hobby project where I learn basic undegraduate math through programming
official-images
Primary source of truth for the Docker "Official Images" program
haskell-language-server
Integration point for ghcide and haskell-ide-engine. One IDE to rule them all.
HieDb
Generates a references DB from .hie files
claude-fun
Experiment with generating Elm apps with the help of Claude (LLM)
stylish-haskell
Haskell code prettifier
apply-refact
Refactor Haskell source files
constraints-extras
Convenience functions and template haskell for working with constraints
stackage
Stable Haskell package sets: vetted consistent packages from Hackage
cabal-fmt
An experiment of formatting .cabal files
text-rope
A wrapper around Text for fast line/column navigation and logarithmic concatenation
error-message-index
A community-driven collection of documentation for Haskell error messages and warnings
floskell
Floskell is a flexible Haskell source code pretty printer.
dependent-map
Dependently-typed finite maps (partial dependent products)
constraints
Tools for programming with ConstraintKinds in GHC
ghc-trace-events
ByteString/Text variants of Debug.Trace.traceEvent/traceMarker and binary event logging
boring
Boring and Absurd types
witherable
Filter with effects
indexed-traversable
FunctorWithIndex, FoldableWithIndex, TraversableWithIndex
lsp
Haskell library for the Microsoft Language Server Protocol
duckdb-web
DuckDB-Web - Source code of duckdb.org
elm-visualization
A data visualization library for Elm
AnkiPronHs
Tool for downloading audio files for Anki decks