A modern proof language

Linux VR Desktop

Easy dependency management for Nix projects

Research language for array processing in the Haskell/ML family

Haskell to VHDL/Verilog/SystemVerilog compiler

Functional reactive web and mobile applications, with batteries included.

Embedded language for high-performance array computations

FPGA Haskell machine with game changing performance. Reduceron is Matthew Naylor, Colin Runciman and Jason Reich's high performance FPGA softcore for running lazy functional programs, including har…

HVM3

Strongly-typed System F in Haskell

IETF QUIC library in Haskell

Fine-grained Haskell builds with Nix's dynamic derivations

FFT library for Haskell based on the embedded array language Accelerate

A C to MIPS compiler.

An extensible EDSL for high-performance computing.