ShellCheck, a static analysis tool for shell scripts

Parsing, analyzing, and comparing source code across many languages

A strongly-typed language that compiles to JavaScript

A friendly programming language from the future

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

Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.

Functional Programming Course

Cryptographic currency implementing Ouroboros PoS protocol

A modern proof language

The core of xmonad, a small but functional ICCCM-compliant tiling window manager

A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.

A RESTful Haskell web framework built on WAI.

What I Wish I Knew When Learning Haskell

The engine for haskell ide-integration. Not an IDE

C to Rust translator

A multilingual package manager for Arch Linux and the AUR.

A declarative Unix terminal UI library written in Haskell

Research language for array processing in the Haskell/ML family

Haskell source code suggestions

Haskell to VHDL/Verilog/SystemVerilog compiler

elm-format formats Elm source code according to a standard set of rules based on the official Elm Style Guide

Miscellaneous articles. The readme is the table of contents.

Liquid Types For Haskell

Interactive programs without callbacks or side-effects. Functional Reactive Programming (FRP) uses composable events and time-varying values to describe interactive systems as pure functions. Just …

A terminal interface for Tetris

Project: M36 Relational Algebra Engine

Espial is an open-source, web-based bookmarking server.

Haskell API search engine

Algebraic graphs

a small .pdf management tool with a command-line UI