Pinned Repositories
agda-2020-21
agda-2023-24
dotfiles
fp-lab-2021-22
fp-lab-2022-23
fp-pract1819
lcpt-1920
lec-type-extensions-23022022
servant-elm-street
polysemy
:gemini: higher-order, no-boilerplate monads
googleson78's Repositories
googleson78/fp-lab-2022-23
googleson78/agda-2023-24
googleson78/fp-lab-2021-22
googleson78/should-i-build-with-rules_haskell
googleson78/dotfiles
googleson78/cabal
Official upstream development repository for Cabal and cabal-install
googleson78/clc-stackage
googleson78/containers
Assorted concrete container types
googleson78/core-libraries-committee
googleson78/cornelis
agda-mode for neovim
googleson78/crypton
lowlevel set of cryptographic primitives for haskell
googleson78/data-interval
Interval datatype, interval arithmetic, and interval-based containers for Haskell
googleson78/fp-lab-2022-23-tasks-the-root
googleson78/fp-lab-2023-24
googleson78/gazelle_cabal
A gazelle extension to produce Haskell rules from cabal files
googleson78/ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
googleson78/hatgame
An online version of the celebrities/hat game.
googleson78/helic
Clipboard synchronization tool
googleson78/hlint
Haskell source code suggestions
googleson78/impaler
googleson78/nixos-status
The website showing an overview status of NixOS infra and CI.
googleson78/NixOS-Users-Against-MIC-Sponsorship.github.io
googleson78/nixpkgs
Nix Packages collection
googleson78/optparse-generic
Auto-generate a command-line parser for your datatype
googleson78/pandoc
Universal markup converter
googleson78/protopit
So alpha
googleson78/rules_proto
Protocol buffer rules for Bazel
googleson78/rust-analyzer-bazel-gen-repro
googleson78/students-utils
googleson78/subflake-dirty