haskell / haskell-language-server
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
See what the GitHub community is most excited about today.
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
A shell script which checks your $HOME for unwanted files and directories.
Official upstream development repository for Cabal and cabal-install
A Pandoc Markdown Anki collection compiler
A strongly-typed language that compiles to JavaScript
A component that follows the Cardano chain and stores blocks and transactions in PostgreSQL
This repository contains sources for the command-line interface (CLI) tool for interacting with the Cardano blockchain.
Universal markup converter
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
REST API for any Postgres database
ShellCheck, a static analysis tool for shell scripts
The Plutus language implementation and tools
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
This is scrive's common collection of function import we use the most.
Contributed modules for xmonad
Compiler for Elm, a functional language for reliable webapps.
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
{EPITECH} | Second year | Functionnal programming
Agda is a dependently typed programming language / interactive theorem prover.