Dockerfile linter, validate inline bash, written in Haskell

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.

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

Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.

A Dependently Typed Functional Programming Language

💥💻💥 A data-parallel functional programming language

Research language for array processing in the Haskell/ML family

Haskell to VHDL/Verilog/SystemVerilog compiler

The Haskell-Scriptable Editor

Deep Learning in Haskell

Educational computer programming environment using Haskell

The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen

Shell programming, Haskell style

A visual Haskell

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

A full stack, reactive architecture for general purpose programming. Algebraic and monadically composable primitives for concurrency, parallelism, event handling, transactions, multithreading, Web,…

The full power of R in Haskell.

A Programming Language for Deep Learning

Don't Fear the Profunctor Optics!

Efficient Haskell Arrays featuring Parallel computation

Functional workflows

✏️ 📊 - The Haskell code editor focused on interactive development.

Nix backend for PureScript. Transpile PureScript code to Nix.

Simple shell like scripting from Haskell

Auto-generate a command-line parser for your datatype

The Haskell LaTeX library.

Typed and composable spreadsheets

CQL: Categorical Query Language implementation in Haskell