kmonad / kmonad Haskell 5.1K 340 An advanced keyboard manager cross-platform haskell keyboard keyboard-layout
nasa / ogma Haskell 589 61 Generator of runtime monitors for flight and robotics applications. assurance autonomy cfs embedded-systems