Starred repositories
8
results
for source starred repositories
written in Haskell
Clear filter
ShellCheck, a static analysis tool for shell scripts
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
Research language for array processing in the Haskell/ML family
Command line client for Nix binary cache hosting:
A stream-based runtime-verification framework for generating hard real-time C code.
Generator of runtime monitors for flight and robotics applications.