Universal markup converter

ShellCheck, a static analysis tool for shell scripts

A friendly programming language from the future

A modern proof language

The core of xmonad, a small but functional ICCCM-compliant tiling window manager

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

Ethereum smart contract fuzzer

Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python

A wiki using HAppS, pandoc, and git

C to Rust translator

Dapp, Seth, Hevm, and more

lamdu - towards the next generation IDE

📜 Haskell course info, plan, video lectures, slides

Site infrastructure for gwern.net. Custom Hakyll website with unique link archiving, popup UX, transclusions/collapses, dark+reader mode, bidirectional backlinks, and typography (sidenotes, dropcap…

haskell source code formatter

Linear algebra and numerical computation

Symbolic and concrete EVM execution engine

Web3 API for Haskell

Haskell implementation of open games

A bytecode compiler for Python 3

Generate a mindmap from an org-mode file. Complete with annotations.

Write LaTeX theorems in Pandoc Markdown

A 16-bit CPU and self-hosting Forth system for the Lattice ICE40 FPGA, written in Haskell.

Research wiki

A terminal client for Up Bank written in Haskell ⚡.

The monorepo of YulDSL (a DSL for Solidity/Yul), YulDSL/Haskell (Embedding YulDSL in Haskel), and Yolc (a safe, expressive, fun language for Ethereum, powered by YulDSL/Haskell).

Generate and apply diffs between JSON documents.

Easy, Fast and Type-Safe Web Application Framework

Type Theory with Indexed Equality

Maximally decentralized cryptocurrency