ShellCheck, a static analysis tool for shell scripts
- haskell
- shell
- static-analysis
- bash
Repository Index
58,632 visible repositories in the index
1–8 of 8 · Most stars
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
Terminal-based presentations using Pandoc
- pandoc
- haskell
- presentation
- markdown
Generator of runtime monitors for flight and robotics applications.
- assurance
- autonomy
- cfs
- embedded-systems
Functional Reactive Programming domain-specific language for efficient hybrid systems
- haskell
- frp
- yampa
- game
Experimental Malfunction backend for Idris
"Hack" like a programmer in movies and games! Inspired by hackertyper.net
- haskell
- joke
- hacking
- typing
Experiment to compile something Elm-ish to Wasm