ShellCheck, a static analysis tool for shell scripts

A strongly-typed language that compiles to JavaScript

The Haskell Tool Stack

Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python

Haskell to JavaScript compiler, based on GHC

Huge list of videos, talks, courses for Haskell programming language.

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 …

The Egison Programming Language

Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup

The Software Analysis Workbench

Interactive development tool that makes it easy to develop and debug Elm programs.

Web applications without callbacks or side-effects. Reflex-DOM brings the power of functional reactive programming (FRP) to the web. Build HTML and other Document Object Model (DOM) data with a pur…

Command line tool to share Elm libraries

An alternative approach to food

Make Document Object Model (DOM) apps that run in any browser and natively using WebKitGtk

Hoed - A Lightweight Haskell Tracer and Debugger

A Brainfuck to WebAssembly compiler written in Haskell