googleson78

placeholder

todo and unimplemented, robustly implemented

unison

A friendly programming language from the future

require-callstack

Require that callers propagate `HasCallStack` constraints

hspec-formatter-github

An `hspec` formatter for Github Actions Annotations

comma

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

fp-2023-24

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

FPClimate

PhD course on Functional Programming and Climate Impact Research

wrapper-manager

Post-modern configuration management

cs316-functional-programming

CS316 "Functional Programming" lecture notes

hlint-plugin

GHC plugin for hlint

nix-ld

Run unpatched dynamic binaries on NixOS

ghc-renamer

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

ast-grep

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

skyscope

A tool for visualising and exploring Bazel Skyframe graphs.

tasty-bench-fit

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

necrophagy

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

nixos-in-production

Source files for the book "NixOS in Production"

tvix

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

tagref

Tagref helps you manage cross-references in your code.

floco

Using Nix to put NPM and Yarn in a coffin

git-hooks.nix

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

string-syntax

static-haskell-nix

easily build most Haskell programs into fully static Linux executables

crem

Compositional Representable Executable Machines

brisk-rows

A practical and inflexible implementation of row types

rhine

Haskell Functional Reactive Programming framework with type-level clocks

monadic-bang

GHC plugin to desugar ! into do-notation

undotree

neovim undotree written in lua

hspec

A Testing Framework for Haskell

nix

Nix, the purely functional package manager