Disable Haskell’s “layout rule”

An hspec hook that lets hspec catch and pretty-print `HUnitFailure`, the exception that is thrown when a test assertion fails

Divide without division

A pedagogical functional programming language.

Haskell Bindings for the OpenCASCADE CAD Kernel + A Declarative CAD/Solid Modeling Library

Use leanDojo and ReProver to prove theorems

A theory‑backed, type‑safe algebraic effects

To be filled by anyone who fucks up using Nix.

todo and unimplemented, robustly implemented

A friendly programming language from the future

Require that callers propagate `HasCallStack` constraints

An `hspec` formatter for Github Actions Annotations

Comma runs software without installing it. [maintainers=@Artturin,@burke,@DavHau]

Код към лекциите и упражненията на курса по Функционално програмиране на спец. Информатика, спец. Компютърни науки (2 поток) и избираема дисциплина, 2023/24 г.

PhD course on Functional Programming and Climate Impact Research

Post-modern configuration management

CS316 "Functional Programming" lecture notes

GHC plugin for hlint

Run unpatched dynamic binaries on NixOS [maintainer=@Mic92]

Slides for my talk at the GHC contributors' workshop (2023)

⚡A CLI tool for code structural search, lint and rewriting. Written in Rust

A tool for visualising and exploring Bazel Skyframe graphs.

Benchmark a given function for variable input sizes and find out its time complexity

A type-level, statically-verified Haskell embedded domain specific language (EDSL) for writing guitar tablature.

Source files for the book "NixOS in Production"

Tvix - A Rust implementation of Nix. Read-only mirror of https://code.tvl.fyi/tree/tvix

Tagref helps you manage cross-references in your code.

Using Nix to put NPM and Yarn in a coffin

Seamless integration of https://pre-commit.com git hooks with Nix.