ShellCheck, a static analysis tool for shell scripts
- haskell
- shell
- static-analysis
- bash
47,133 repositories indexed
1–23 of 23 · Most stars
ShellCheck, a static analysis tool for shell scripts
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
A strongly-typed language that compiles to JavaScript
Terminal-based presentations using Pandoc
The Eta Programming Language, a dialect of Haskell on the JVM
:ramen: A tasty Haskell web and mobile framework
Easy dependency management for Nix projects
Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building.
😎 The open-source, Haskell-built video editor for GIF makers.
Interactively browse dependency graphs of Nix derivations.
Espial is an open-source, web-based bookmarking server.
HStreamDB is an open-source, cloud-native streaming database for IoT and beyond. Modernize your data stack for real-time applications.
Generator of runtime monitors for flight and robotics applications.
Compositional pipelines
Functional Reactive Programming domain-specific language for efficient hybrid systems
Haskell GraphQL Api, Client and Tools
A concise and readable language for Firestore security rules, similar to Firebase Bolt.
Automates certain common tasks that you do during programming competitions
Experimental Malfunction backend for Idris
Generate Elm types, encoders, and decoders from Haskell types
"Hack" like a programmer in movies and games! Inspired by hackertyper.net
Haskell library implementing OpenFlow protocol versions 1.0 and 1.3
Experiment to compile something Elm-ish to Wasm