🌈 Roc package for styling terminal contents with ANSI, 256 bit color and Truecolor

Conveniently and reasonably harden NixOS.

🦥 Supercharge your Haskell experience in neovim!

A statically typed concatenative systems programming language.

audit your cabal projects for haskell-specific security-advisories

Spreadsheet management application on Halogen

Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)

A Git-compatible VCS that is both simple and powerful

Secure Boot for NixOS [maintainers=@blitz @raitobezarius @nikstur]

A Haskell 2010 type checker

one CLI to format your repo [maintainers=@zimbatm,@brianmcgee]

A virtual memory scanner

PhD course on Functional Programming and Climate Impact Research

Hitchhiker's Guide to Logical Verification (2023 Edition)

Declarative disk partitioning and formatting using nix [maintainers=@Lassulus @Enzime @iFreilicht]

A formal definition and verification of System F. To be extended to System Fc

A mechanisation of Wasm in Isabelle.

🕊️ A crowd-sourced guide to help techs help their non-tech spouses / partners / parents / kids when we are at the end-of-life

🧮 Programming with pure lambda calculus

Tagref helps you manage cross-references in your code.

being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathclyde

Minimal implementations for dependent type checking and elaboration

Benchmarks for capture-avoiding substitution

Proposed compiler and language changes for GHC and GHC/Haskell

x86 C compiler written in untyped lambda calculus

Haskell library for semigroup actions and torsors

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

The Haskell Optimization Handbook

Implementation of "Single-pass stratified importance resampling"