Universal markup converter

A modern proof language

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…

The core component that is used to participate in a Cardano decentralised blockchain.

A static website compiler library in Haskell

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

What I Wish I Knew When Learning Haskell

Haskell to VHDL/Verilog/SystemVerilog compiler

Future-proof note-taking and publishing based on Zettelkasten (superseded by Emanote: https://github.com/srid/emanote)

The official formatter for Nix code

Liquid Types For Haskell

Command line client for Nix binary cache hosting:

Industrial-strength monadic parser combinator library

FPGA Haskell machine with game changing performance. Reduceron is Matthew Naylor, Colin Runciman and Jason Reich's high performance FPGA softcore for running lazy functional programs, including har…

Generate Nix build instructions from a Cabal file

HVM3

Fast parsing from bytestrings

Fine-grained Haskell builds with Nix's dynamic derivations

Projects to get started with Clash