Julian Ospald's starred repositories
cabal-gild
:crown: Format Haskell package descriptions.
github-tui
🌒 A TUI for GitHub
awesome-runners
A curated list of awesome self-hosted GitHub Action runners in a large comparison matrix
Geometry-Nodes-LED-Display
A customizable and animatable Blender geometry nodes LED-Display
agda-language-server
Language Server for Agda
liquid-fixpoint
Horn Clause Constraint Solving for Liquid Types
ghc-wasm-bindists
Stable links for various GHC WASM bindists
Explorer-Keyboard-Mountian
a planck like ergo-keyboard for MX, choc, low profile switches.
fast-digits
Split integers into digits, blazingly fast
simplex-chat
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
haskell-estgi-debugger
A modern Haskell debugger