Haskell to VHDL/Verilog/SystemVerilog compiler
Pattern language
Fast, portable and reliable dependency analysis for any codebase
A static analysis tool for shell scripts
Ethereum smart contract fuzzer
Wire back-end services
A type-safe, non-TH Haskell SQL library and ORM
A data-parallel functional programming language
A strongly-typed language that compiles to JavaScript
Robust, fast, intuitive plain text accounting tool with CLI
Maintainable configuration files
A programming language that understands what a web app is
elm-format formats Elm source code
Haskell source code suggestions
Web3 API for Haskell
Bluespec Compiler (BSC)
Platform-independent library for basic file system operations
Blazing fast, instant realtime GraphQL APIs on your DB
The official formatter for Nix code
A functional, systems programming language with linear types
Haskell code prettifier
A formatter for Haskell source code
Upstream development repository for Cabal and cabal-install
Dockerfile linter, validate inline bash, written in Haskell
A tasty Haskell front-end framework