A strongly-typed language that compiles to JavaScript

A friendly programming language from the future

🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness

Functional Programming Course

A peer-to-peer stack for code collaboration

Experimental implementation of Cubical Type Theory

🚧 a work in progress effect system for Haskell 🚧

Comparing many FRP implementations by reimplementing the same toy app in each.

An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.

A slack bot to help with FOMO.

Guess-A-Number game in Haskell using Polysemy

twitter bot of images of chinese paintings

Exercises and solutions from the book Haskell Programming from First Principles (http://haskellbook.com)