Haskell to VHDL/Verilog/SystemVerilog compiler

📜 Haskell course info, plan, video lectures, slides

A formatter for Haskell source code

Resource gathering + programming game

Algebraic graphs

Symbolic and concrete EVM execution engine

A quine generator

The next generation esoteric language

Defect Process (2d hack n' slash game) full source code

set of tools and services for highlighting shortcuts from applications and system with RGB keyboard

Library for invertible parsing and printing

Finite domain constraint solver in Haskell

A replacement for Haskell's Prelude library (the standard library) designed for teaching beginners, developed at the University of Kent.

A constraint solver for finite domains, written in Haskell.

Web frontend + API and Hackage-published library to evaluate complex expressions with significant figures.

Automatically deriving control-flow graph generators from operational semantics

Implements a type checker for a subset of https://www.cs.cornell.edu/andru/papers/gallifrey-types/.