philderbeast

awesome-cabal

💫 A curated list of awesome resources for the Haskell Cabal build tool.

cabal-auto-expose

cabal-edit

A utility for managing Hackage dependencies and manipulating Cabal files from the command line.

cah6.github.io

cedille

Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations

clay-dhall

C Layer for Dhall Language

docs

Repository for Scarf's documentation website

floskell

Floskell is a flexible Haskell source code pretty printer.

ghc-proposals

Proposed compiler and language changes for GHC and GHC/Haskell

git-octopus

The continuous merge workflow

haskell-packages

Haskell-Typed-Spreadsheet-Library

Typed and composable spreadsheets

hie-bios

keyboardio

Paket

A dependency manager for .NET with support for NuGet packages and GitHub repositories.

philderbeast

pier

Yet another Haskell build system.

porcupine

Express parametrable, composable and portable data pipelines

reflex-tutorial

rules_haskell

Haskell rules for Bazel.

scarf-js

Installation analytics for your npm package

servant-auth

sg-69f6f45b

sixty

Dependent type checker using normalisation by evaluation

SpanAlgebra

Simple library to compute intersections and unions on list of spans.

tasty-laws

Tasty test runners for checking common laws

tcplugins-zurihac2020

ZuriHac 2020 GHC typechecker plugins project

time-ghc-modules

Analyze GHC .dump-timings files

validation-selective

💂‍♂️ Lightweight pure validation based on Applicative and Selective functors

zero-bullshit-haskell

Learn Haskell, without the bullshit.