Higher-kinded data via generics

Example language server (LSP) implementation for a toy language

A habit tracker you can use in your browser without a server

End to End typesafe GraphQL with PureScript

Classy error-handling (and dispatching!) in Haskell.

A brief example of Servant with Persistent

Parsing, analyzing, and comparing source code across many languages

A formatter for Haskell source code

Standard module for type-level programming in Haskell

Presentations with Reveal.js and Purescript

Exemplary real world application built with PureScript + Halogen

"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory

A List of Foundational Haskell Papers

I use Makefile as a sort of command dispatcher/secondary memory, this is a repo of the common ones I keep reusing

Moot is a CFP and event management system!

A Coq layer for Spacemacs

Slides and projects for LambdaConf 2018 Workshop

DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc

Haskell/GHC symbol search cheatsheet

My self-built emacs configuration

A curated list of PureScript packages

Minimal Haskell+Purescript WebSockets example

Connecting Haskell projects, mentors, and learners!

📺 A free and simple to use video player made with Haskell.

Very basic parser/renderer to convert raw HTML into valid PureScript Halogen syntax

Picks from #purescript channel in functionalprogramming slack

Building blocks for common selection user interfaces in PureScript & Halogen

A structured logging framework for Haskell