A strongly-typed language that compiles to JavaScript

A statically typed lisp, without a GC, for real-time applications.

The Eta Programming Language, a dialect of Haskell on the JVM

🍜 A tasty Haskell front-end framework

A declarative Unix terminal UI library written in Haskell

Liquid Types For Haskell

Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns

🌀 Safe, performant, user-friendly and lightweight Haskell standard library

A native compiler backend for PureScript (via C++ or Golang)

React bindings for Haskell

Haskell Cabal services for Mac OS X

A domain-specific language for testing programs using Behavior-Driven Development (BDD) process in Haskell

A proof-of-concept compiler targeting SPIR-V for a toy ML functional shading language

An experimental Clojure backend for PureScript

Terminal feed aggregator and launcher for Youtube channels

Inference Llama 2 in one file of pure Haskell (A port of llama2.c from Andrej Karpathy)

Specification language for Haskell programs of type 'IO ()'