A language with lexical effect handlers and lightweight effect polymorphism

Student PL Meetup web.

OAuth credential Manager

A project of short tutorials and how-to guides for Coq features and Coq Platform packages.

This is the repository for the Clowder project, an online collaborative resource for category theory and mathematics in general

Agda is a dependently typed programming language / interactive theorem prover.

The agda-unimath library

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

A community around PL at Prague.

HoTTEST Summer School materials

A port of Coq to Javascript -- Run Coq in your Browser

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.

EPIT 2020 - Spring School on Homotopy Type Theory

Nyxt - the hacker's browser.

Outliner for taking notes and managing to-do lists

A curation of awesome PureScript libraries, resources and shiny things.

[mirror] A non-monolithic Wayland compositor

JetBrains Mono – the free and open-source typeface for developers

Cross platform Neovim front-end UI, built with F# + Avalonia

Yet another cross-platform graphical process/system monitor.

🔔 Better solution for incremental narrowing in Emacs.

Nox is a lightweight, high-performance LSP client for Emacs

Comment stuff out. A port of vim-commentary

Manage a user environment using Nix [maintainer=@khaneliman, @rycee]

Parser for virtual terminal emulators

A cross-platform, OpenGL terminal emulator.

Nodejs extension host for vim & neovim, load extensions like VSCode and host language servers.

My configuration files