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/agda-2020-21
googleson78/lec-type-extensions-23022022
googleson78/agda-2020-21-draft
googleson78/playground
googleson78/polysemy-acquire
googleson78/fp-lab-2021-22-tasks-tkyurkchiev
googleson78/agda
Agda is a dependently typed programming language / interactive theorem prover.
googleson78/bindthegap.github.io
Bind The Gap webpage source
googleson78/entropy
Easy entropy source for Haskell users.
googleson78/esqueleto
New home of Esqueleto, please file issues so we can get things caught up!
googleson78/first-class-families
First-class type families
googleson78/fmi-fp-typeinference
googleson78/fp-2020-21
Repository for the "Functional Programming" course at FMI of Sofia University for the academic year 2020-21
googleson78/gazelle_cabal
A gazelle extension to produce Haskell rules from cabal files
googleson78/ghc-prim-hsc-bug
googleson78/ghcide842
googleson78/hatgame
An online version of the celebrities/hat game.
googleson78/heap-console-maybe-bug
googleson78/hls-repro-0
googleson78/Idris2
A purely functional programming language with first class types
googleson78/linear-base
Standard library for linear types in Haskell.
googleson78/liquidhaskell
Liquid Types For Haskell
googleson78/persistent
Persistence interface for Haskell allowing multiple storage methods.
googleson78/repro1638
googleson78/rules_proto
Protocol buffer rules for Bazel
googleson78/stackage
"Stable Hackage": vetted consistent packages from Hackage
googleson78/th-env
Template Haskell splice that expands to an environment variable
googleson78/type-errors-pretty
💄🐞 Combinators for writing pretty type errors easily
googleson78/wai
Haskell Web Application Interface
googleson78/yesod
A RESTful Haskell web framework built on WAI.