ozkutuk

jj

A Git-compatible VCS that is both simple and powerful

eol-dr

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

disko

Declarative disk partitioning and formatting using nix [maintainer=@Lassulus]

kitten

A statically typed concatenative systems programming language.

lanzaboote

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

ghc-proposals

Proposed compiler and language changes for GHC and GHC/Haskell

lambda-8cc

x86 C compiler written in untyped lambda calculus

elaboration-zoo

Minimal implementations for dependent type checking and elaboration

treefmt

one CLI to format your repo

haskell-tools.nvim

🦥 Supercharge your Haskell experience in neovim!

CS410-17

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

sbv

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

tagref

Tagref helps you manage cross-references in your code.

hs-opt-handbook.github.io

The Haskell Optimization Handbook

lambda-n-ways

Benchmarks for capture-avoiding substitution

bruijn

:abacus: Programming with pure lambda calculus

logical_verification_2023

Hitchhiker's Guide to Logical Verification (2023 Edition)

haskell-optimization

A beginner's guide to Haskell optimization

acts

Haskell library for semigroup actions and torsors

FPClimate

PhD course on Functional Programming and Climate Impact Research

metis

An automatic theorem prover for first order logic with equality

spsir

Implementation of "Single-pass stratified importance resampling"

puresheet

Spreadsheet management application on Halogen

cabal-audit

audit your cabal projects for haskell-specific security-advisories

typefuck-haskell

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

WasmCert-Isabelle

A mechanisation of Wasm in Isabelle.

h10

A Haskell 2010 type checker

isabelle-lambda-calculus

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

PeepingTom

A virtual memory scanner

isabelle-lsp.nvim