ShellCheck, a static analysis tool for shell scripts
- haskell
- shell
- static-analysis
- bash
Repository Index
85,081 visible repositories in the index
1–24 of 37 · Most stars
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
Dockerfile linter, validate inline bash, written in Haskell
- dockerfile
- linter
- shellcheck
- haskell
A Haskell library that simplifies access to remote data, such as databases or web-based services.
Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.
Linux VR Desktop
Agda is a dependently typed programming language / interactive theorem prover.
- dependent-types
- programming-language
- proof-assistant
- agda
A static website compiler library in Haskell
Terminal-based presentations using Pandoc
- pandoc
- haskell
- presentation
- markdown
A wiki using HAppS, pandoc, and git
Easy dependency management for Nix projects
- nix
- package-manager
- versioning
Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)
Official upstream development repository for Cabal and cabal-install
- cabal
- haskell
- hackage
Research language for array processing in the Haskell/ML family
Haskell to VHDL/Verilog/SystemVerilog compiler
Future-proof note-taking and publishing based on Zettelkasten (superseded by Emanote: https://github.com/srid/emanote)
Simple clipboard manager to be integrated with rofi - Static binary available
Fast, portable and reliable dependency analysis for any codebase. Supports license & vulnerability scanning for large monoliths. Language-agnostic; integrates with 20+ build systems.
- open-source-licensing
- open-source-vulnerabilities
Cryptol: The Language of Cryptography
HStreamDB is an open-source, cloud-native streaming database for IoT and beyond. Modernize your data stack for real-time applications.
A comprehensive Amazon Web Services SDK for Haskell.
- haskell
- aws
Compositional pipelines
:tv: A free and simple to use video player made with Haskell.
- haskell
- haskell-gi
- gstreamer
- gtk
Packages for defining APIs, running them, generating client code and documentation.