#
Starred repositories
Thunderbifd extension to provide Addy.io / AnonAddy functionality when composing messages in Thunderbird
An open source flight dynamics & control software library
A lightweight and full-featured cross-platform desktop client for self-hosted music servers
Introductory Haskell course materials (originally CIS 194 @ UPenn)
Agda formalisation of second-order abstract syntax
Shantell Sans, from Shantell Martin, is a marker-style font built for creative expression, typographic play, and animation.
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
A slow-paced introduction to reflection in Agda. ---Tactics!
Convert Haskell source code to Template Haskell expressions using GHC's parser
A Language with Dependent Data and Codata Types
DOMPurify - a DOM-only, super-fast, uber-tolerant XSS sanitizer for HTML, MathML and SVG. DOMPurify works with a secure default, but offers a lot of configurability and hooks. Demo:
Emacs Plus formulae for the Homebrew package manager
🦥 Supercharge your Haskell experience in neovim!
Compatibility tool for Steam Play based on Wine and additional components
Purely functional GLL parser combinators for Haskell
BinderDavid / helium
Forked from Helium4Haskell/heliumThe Helium compiler, Helium-as-a-library, and the texthint interpreter
minimal example of running nightly builds
Scripts and instructions for using CI services (e.g. Travis CI or Appveyor) with multiple GHC configurations
First Person Mod for The Elder Scrolls V: Skyrim - Special Edition
A really small example of the Backpack module system for Haskell