Stars
Dockerfile linter, validate inline bash, written in Haskell
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
Parsing, analyzing, and comparing source code across many languages
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
A Haskell library that simplifies access to remote data, such as databases or web-based services.
Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with th…
A shell script which checks your $HOME for unwanted files and directories.
Agda is a dependently typed programming language / interactive theorem prover.
Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python
Research language for array processing in the Haskell/ML family
Haskell to VHDL/Verilog/SystemVerilog compiler
Huge list of videos, talks, courses for Haskell programming language.
A stream-based runtime-verification framework for generating hard real-time C code.
A formal logic framework that runs in the browser
Haskell IRC library and console client - Join us on libera.chat #glirc
A user-configurable utility for GPU vendor drivers enabling the registration of arbitrary mdev types with the VFIO-Mediated Device framework.