Universal markup converter

ShellCheck, a static analysis tool for shell scripts

Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with th…

Agda is a dependently typed programming language / interactive theorem prover.

Bluespec Compiler (BSC)

Parsing all context-free grammars using Earley's algorithm in Haskell.

Standard library for linear types in Haskell.

Classic Algorithm W for type inference.

Generates https://eel.is/c++draft

Symbolic formula representation and solver interaction library

Extensible records, variants, structs, effects, tangles

HTTP/3 library in Haskell

Overview of SQL concepts