A prototype successor to Idris

Native, lightweight modal code editor

The video editor built for screencasters

High performance, concurrent functional programming abstractions

Extensible Effects: An Alternative to Monad Transformers

Repository for the Rust Language Server (aka RLS)

ripgrep recursively searches directories for a regex pattern while respecting your gitignore

An implementation of generic authenticated data structures in OCaml

Refined types

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

Hardcaml is an OCaml library for designing hardware.

xmonad with the X11 abstracted and configured with Idris

A functional programming language based on algebraic effect handlers

Property fuzzing for OCaml

Property fuzzing for OCaml

tired of typing afl-fuzz? try bun!

tired of typing afl-fuzz? try bun!

A Smart Ethernet Switch for Earth

A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs

The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)

Command Line Interface File Manager

Platform to host Capture the Flag competitions

A toolkit for embedding VPN capabilities in your application

The Frenetic Programming Language and Runtime System

A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.

Emacs mode for Haskell