An experimental proof assistant based on a type theory for synthetic ∞-categories.

Haskell library to load & save pictures

Embedded domain-specific language for declarative vector graphics (wrapper package)

The LLVM LHC Haskell Optimization System

A library of functions for vector calculus, calculation of electric field, electric flux, magnetic field, and other quantities in mechanics and electromagnetic theory.

A black hole raytracer written in Haskell

Core library of new GPipe, encapsulating OpenGl and providing a type safe minimal library

gRPC library binding for Haskell.

Proof that Haskell can look and act like an imperative language.

music sequencer and generalized notation

HTTP/3 library in Haskell

Graphics for kids and artists. Processing implemented in Haskell

🖼️ the compiling to closed categories compiler

Modular softsynth

A modular synth and sequencer for live coding music (in) time

A framework for generative art.

Haskell package for representation, parsing, and pretty-printing of GLSL

Brainf*ck interpreter written in Haskell