domdere/free-th

Stars
1
Language
Haskell
Created over 10 years ago
Updated over 10 years ago

domdere/free-th

domdere

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Template Haskell to generate Free Monads from Functors [Haskell]

git-submodule-action

A GitHub Action for bumping submodules

haskell-lint-action

github action for running hlint

fp-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 Idris

haskellSkeleton

A starting skeleton for Haskell Projects using CMake

cabalSkeleton.g8

Template Haskell Cabal Project

lab

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 repo

hs-workcraft

Blog web app backend [Haskell]

bindings-py

Low level bindings to the Python C API [Haskell]

fp-course-notebooks

Jupyter Notebooks for the Data61 FP Course

Jupyter Notebook

cpdt-idris

Code-A-Long for Certified Programming with Dependent Types [Idris]

yesod-postgres.g8

Haskell Yesod Giter8 Template

literate-haskell-slides.g8

Giter8 Template for generating slides out of Literate Haskell modules

fpsyd-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 language

elimination-prelude

A Comparison of Elimination Patterns and Sum Types.[Haskell]