Starred repositories
A gazelle extension to produce Haskell rules from cabal files
Tricorder provides simple, fast, focused feedback when hacking on Haskell (with or without LLM agents).
SécurixOS is a NixOS-based secure operating system tailored for small to medium-sized teams. It provides a minimal, hardened environment with strong isolation, reproducibility, and policy-driven co…
gotchamana / wiwinwlh
Forked from sdiehl/wiwinwlhWhat I Wish I Knew When Learning Haskell
Thomas BAGREL PhD manuscript on _Formalization and Implementation of Safe Destination Passing in Pure Functional Programming Settings_
A fast, safe, and intuitive DataFrame library.
Interactively browse dependency graphs of Nix derivations.
A special-purpose processor for pure, non-strict functional languages
Generating type families for field selectors via TemplateHaskell
Where Lions Roam: RISC-V on the VELDT
TextMate is a graphical text editor for macOS 10.12 or later
Course for learning how to apply property-based state-machine testing
High performance, streaming and concurrent functional programming in Haskell
kazu-yamamoto / crypton
Forked from haskell-crypto/cryptonitelowlevel set of cryptographic primitives for haskell
A simple library for reporting compiler/interpreter errors
📜 Haskell course info, plan, video lectures, slides
A stream-based runtime-verification framework for generating hard real-time C code.
🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness
Haskell library for space- and time-efficient operations over Unicode text.