There are no reviews yet. Be the first to send feedback to the community and the maintainers!
git-submodule-action
A GitHub Action for bumping submoduleshaskell-lint-action
github action for running hlintfp-in-idris
Functional Programing in Scala (in Idris) [Idris]cassava-conduit
Conduit interface for cassava [Haskell]ultra
Place to put things i think are missing from some libraries i use, but things im not sure are actually useful or just dont want to push on anyone [Haskell]logic-idris
proposition combinators in [Idris]preamble
prelude [Haskell]validation-idris
Port of the Validation Library to IdrishaskellSkeleton
A starting skeleton for Haskell Projects using CMakecabalSkeleton.g8
Template Haskell Cabal Projectlab
testing libraries helpers and helpers i dont want to push on QuickCheck [Haskell]learn-lens
Working through the lens basics [Haskell]haskell-coq
Common Haskell type classes written up in the Coq (GALLINA) theorem prover language for proving properties about Haskell data types and functions [Coq]forgetful-functor
My blog [Haskell + Hakyll]okasaki
My Code-A-Long while reading through Purely Functional Data Structures [Haskell]data-filepath-lens
Lenses for data-filepath [Haskell]contrapplicative
A form of Applicative for Contravariant Functors [Haskell]heroku-buildpack-ghc-env
heroku build pack that sets up the ghc environment and cached sandbox but hands over the build part to the repohs-workcraft
Blog web app backend [Haskell]fp-course-notebooks
Jupyter Notebooks for the Data61 FP Coursecpdt-idris
Code-A-Long for Certified Programming with Dependent Types [Idris]yesod-postgres.g8
Haskell Yesod Giter8 Templatefree-th
Template Haskell to generate Free Monads from Functors [Haskell]literate-haskell-slides.g8
Giter8 Template for generating slides out of Literate Haskell modulesfpsyd-liquid-haskell
Refinement Types and Liquid Haskell Talk for FP-Syd [Haskell]bolton
Command line app to manage Haskell apps installed from hackage [Haskell]haskell-curio
A bit of a sandbox where I muck about and put Haskell modules that have no immediate use but are worth keeping for educational or entertainment value [Haskell]restspect
Another REST API spec languageelimination-prelude
A Comparison of Elimination Patterns and Sum Types.[Haskell]Love Open Source and this site? Check out how you can help us