A friendly programming language from the future

A modern proof language

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

Cryptol: The Language of Cryptography

High performance, concurrent functional programming abstractions

Automatic testing of Haskell programs.

Haskell-based shell scripting language

Write type-safe GraphQL services in Haskell

Haskell JIT

Generate Erlang VM byte code from Haskell

A bytecode compiler for Python 3

An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.

A Python 3 compiler that anyone can understand.

NES programming in Haskell? No way!

My xmonad configuration.