ShellCheck, a static analysis tool for shell scripts

Dockerfile linter, validate inline bash, written in Haskell

A friendly programming language from the future

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

A Haskell library that simplifies access to remote data, such as databases or web-based services.

Linux VR Desktop

Official Haskell IDE support via the language server protocol (LSP)

Haskell to JavaScript compiler, based on GHC

Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!

A proper subset of Haskell that compiles to JavaScript

Educational computer programming environment using Haskell

Haskell library for building declarative animations based on SVG graphics

♊ higher-order, no-boilerplate monads

A peer-to-peer stack for code collaboration

Crucible is a library for symbolic simulation of imperative programs

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

Simple blockchain server written in Haskell for educational purposes

🕵️ Haskell STatic ANalyser

Introduction to parsing with Haskell and Parsec

Tart - draw ASCII art in the terminal with your mouse!

The Ivory EDSL

Call Haskell functions from any programming language via serialization and dynamic libraries

🎮 NES Emulator written in Haskell

A reference library for constraint-solving with propagators and CDCL.

Arduino programming without the hassle of C.

haskell, opengl, toy project

A (Haskell DSL) stream language for generating hard real-time C code.

Well-Typed Typing Tutor where you Type Types... in space... yup, you heard me

A drawing engine in Haskell

A PureScript interpreter in Haskell