Block or Report
Block or report brprice
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse-
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection
-
haskell-hedgehog-classes Public
Forked from hedgehogqa/haskell-hedgehog-classesHedgehog will eat your typeclass bugs
Haskell BSD 3-Clause "New" or "Revised" License UpdatedAug 17, 2023 -
-
hazel-metatheory Public
Forked from hazelgrove/agda-popl17Mechanization of Hazelnut
Agda MIT License UpdatedApr 24, 2023 -
selda Public
Forked from valderman/seldaA type-safe, high-level SQL library for Haskell
Haskell MIT License UpdatedApr 11, 2023 -
logging-effect Public
Forked from ocharles/logging-effectA very general logging effect for Haskell
Haskell BSD 3-Clause "New" or "Revised" License UpdatedMar 20, 2023 -
-
haskell-dangerous-functions Public
Forked from NorfairKing/haskell-dangerous-functionsDocumentation about Haskell's dangerous functions and a hlint config file to warn about them
Haskell UpdatedJan 25, 2023 -
-
haskell-language-server Public
Forked from haskell/haskell-language-serverOfficial haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
Haskell Apache License 2.0 UpdatedJun 23, 2022 -
hlint Public
Forked from ndmitchell/hlintHaskell source code suggestions
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJun 17, 2022 -
deploy-rs Public
Forked from serokell/deploy-rsA simple multi-profile Nix-flake deploy tool.
Rust Mozilla Public License 2.0 UpdatedJul 23, 2021 -
threepenny-gui Public
Forked from HeinrichApfelmus/threepenny-guiGUI framework that uses the web browser as a display.
Haskell Other UpdatedMay 27, 2020 -
alarm-PKGBUILDs Public
Forked from archlinuxarm/PKGBUILDsPKGBUILDs modified to build on Arch Linux ARM
Shell UpdatedAug 6, 2019 -
ghcid Public
Forked from ndmitchell/ghcidVery low feature GHCi based IDE
Haskell BSD 3-Clause "New" or "Revised" License UpdatedMar 10, 2019 -
Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haske…
Haskell Other UpdatedNov 11, 2018 -
-
MSPweb Public
Forked from msp-strath/MSPwebbeing the shared sources and generated html for the MSP website
HTML UpdatedMay 25, 2016 -
-
A textbook on informal homotopy type theory
TeX UpdatedJul 1, 2014