Universal markup converter

ShellCheck, a static analysis tool for shell scripts

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

Ethereum smart contract fuzzer

A static website compiler library in Haskell

Terminal-based presentations using Pandoc

C to Rust translator

Homomorphic machine learning

A feature-rich Unix terminal client for the Mattermost chat system

A peer-to-peer stack for code collaboration

Main source code repository of the Tamarin prover for security protocol verification.

🎮 NES Emulator written in Haskell

Use snippets of Rust inline in your Haskell programs

A Haskell syntax highlighting library with tokenizers derived from KDE syntax highlighting descriptions

Become a conflict resolution hero

hastatic is a tiny static content web server for Docker

library to manipulate git repositories in haskell (no bindings)

Automatic code formatter for the Nix programming language

pure Haskell CommonMark parser

Exercises and solutions from the book Haskell Programming from First Principles (http://haskellbook.com)