The easiest way to run WireGuard VPN + Web-based Admin UI.

Painless 2D vector graphics, animations and simulations.

Framework for Multiple Major Modes in Emacs (core library)

Compiling Agda code to readable Haskell

Generate all the things (focusing on research software)

CS410 "Advanced Functional Programming"

A formatter for Haskell source code

A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!

A theory‑backed, ultra type‑safe algebraic effects

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

Emacs mode for Haskell

Draw ▶─UNICODE diagrams─◀ within ▶─your texts─◀ in Emacs

Tidy, feature-complete Web framework

Library of the ##dependent distributed research support group

A gently curated list of companies using verification formal methods in industry

Yet Another Scroll Bar Mode

Interactive programs without callbacks or side-effects. Functional Reactive Programming (FRP) uses composable events and time-varying values to describe interactive systems as pure functions. Just …

An APL-like programming language

High-performance, Reliable, and Parallel APL

J engine source mirror

A template system for Emacs

This book will be a textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.

This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.

The agda-unimath library

The Agda standard library

A new Categories library for Agda

HCL parsing and encoding libraries for rust with serde support

Terminal-based HTTP/REST client

Wadler-style pretty-printing combinators in Rust