🚧 a work in progress effect system for Haskell 🚧

A post-modern modal text editor.

An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.

A modern proof language

A massively parallel, optimal functional runtime in Rust

derive(Error) for struct and enum error types

A refreshingly simple data-driven game engine built in Rust

Flexible concrete Error type built on std::error::Error

LR(1) parser generator for Rust

Create ridiculously fast Lexers

Native, lightweight modal code editor

ACT hardware description language and core tools.

Liquid Types For Haskell