Universal markup converter

Parsing, analyzing, and comparing source code across many languages

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

The Haskell Tool Stack

A modern proof language

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

A Dependently Typed Functional Programming Language

A static website compiler library in Haskell

Agda is a dependently typed programming language / interactive theorem prover.

Terminal-based presentations using Pandoc

What I Wish I Knew When Learning Haskell

🍜 A tasty Haskell web framework

A wiki using HAppS, pandoc, and git

Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens

DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc

Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!

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

Miscellaneous articles. The readme is the table of contents.

Liquid Types For Haskell

Educational computer programming environment using Haskell

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

Pandoc filter for cross-references

Project management directly from the TODOs in your codebase

Project: M36 Relational Algebra Engine

A peer-to-peer stack for code collaboration

A visual Haskell

Course materials for Stanford CS240h, "Functional Systems in Haskell"

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

Extremely modular text editor built in Haskell