A friendly programming language from the future

A modern proof language

The engine for haskell ide-integration. Not an IDE

Easy dependency management for Nix projects

Haskell to VHDL/Verilog/SystemVerilog compiler

Future-proof note-taking and publishing based on Zettelkasten (superseded by Emanote: https://github.com/srid/emanote)

The official formatter for Nix code

Functional reactive web and mobile applications, with batteries included.

Applied Functional Programming Course - Move from exercises to a working app!

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

Use snippets of Rust inline in your Haskell programs

A typed, polyglot, functional language

Linter for the Nix expression language

Convert Pandoc Markdown-style footnotes into sidenotes

Show Haskell type annotations when doing code review on Github

Yet another static site generator - non-opinionated, value-level. Less magic == easier to understand

Reasoning about resource usage in Liquid Haskell