Starred repositories
A plugin for working with Aiken on Vim / NeoVim.
batteries-included nix-based haskell project template
Lark is a parsing toolkit for Python, built with a focus on ergonomics, performance and modularity.
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…
An experimental programming language that's made to be powerful, productive, and predictable
