Emacs' ivy interface to communicate with Music Player Daemon (MPD)

The music player and explorer for Emacs

Small languages in Makam language

The Makam Metalanguage

Retrie is a powerful, easy-to-use codemodding tool for Haskell.

Attempt at creating a tensor type in Idris with dimension-safe operations.

Generalization of the reflex collection functions

A compiler for functional programs on serialized data

General-purpose abstractions for incremental computing, in Rust

Material for Static Differentiation in Cache Transfer Style

A UI library based on the incremental lambda calculus

A framework for building fine-grained reactive datatypes

A tiny hardware-accelerated pixel frame buffer. 🦀

A native gRPC client & server implementation with async/await support.

async fn(Request) -> Result<Response, Error>

A cross-platform GUI library for Rust, inspired by Elm

Lean 3's obsolete mathematical components library: please use mathlib4

The Arend Proof Assistant

papers of Per Martin Löf

Minimal implementations for dependent type checking and elaboration

Row Polymorphism in Haskell

The multimode presheaf proof-assistant

A language for intent-centric and declarative decentralised applications

Declarative GTK+ programming in Haskell

🚧 Reflex-Dom utilites. Work in progress. 🚧

Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations

A collection of out-of-tree LLVM passes for teaching and learning