kmonad / kmonad
An advanced keyboard manager
See what the GitHub community is most excited about today.
An advanced keyboard manager
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
The Plutus language implementation and tools
A statically typed lisp, without a GC, for real-time applications.
🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness
The symbolic execution engine powering the K Framework
Fast, portable and reliable dependency analysis for any codebase. Supports license & vulnerability scanning for large monoliths. Language-agnostic; integrates with 20+ build systems.
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
Liquid Types For Haskell
REST API for any Postgres database
Dockerfile linter, validate inline bash, written in Haskell
Parsing, analyzing, and comparing source code across many languages
⚙️ SimpleXMQ - A reference implementation of the SimpleX Messaging Protocol for simplex queues over public networks.
A shell script which checks your $HOME for unwanted files and directories.
Koka language compiler and interpreter
SystemVerilog to Verilog conversion
Official upstream development repository for Cabal and cabal-install
ShellCheck, a static analysis tool for shell scripts
Easy dependency management for Nix projects