Universal markup converter

SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!

A strongly-typed language that compiles to JavaScript

Compiler for Elm, a functional language for reliable webapps.

A friendly programming language from the future

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

A modern proof language

A Dependently Typed Functional Programming Language

Linux VR Desktop

A shell script which checks your $HOME for unwanted files and directories.

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

Pattern language

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

The engine for haskell ide-integration. Not an IDE

A formatter for Haskell source code

A visual Haskell

An easy to use, cross platform, GUI library for writing Haskell applications.

A Haskell library for typesafe music composition

A Haskell CheatSheet in PDF and literate source formats.

Previous version of LambdaCube 3D as Embedded Domain Specific Language in Haskell. Check the latest system:

Projects and channels that have decided to leave Freenode. (Final leave count: 1056)

Vintage BASIC Interpreter

music sequencer and generalized notation