The Lean Computer Science Library (CSLib)

Library of 45+ independent Lua modules improving Neovim experience with minimal effort

Jellyfin Desktop Client

A proof assistant and a dependently-typed language

A Torrent Client in Rust

A beautiful and feature-packed Apple Music CLI

a performant lsp for navigating typst notes

Fast Markdown linter and formatter written in Rust

A Pacman implementation in Rocq, extracted to C++ via Crane.

Neovim support for the Lean theorem prover

A functional programming language based on algebraic effect handlers

A radical OCaml build system

A sliding, tiling window manager for MacOS.

An extensible and keyboard-focused web browser

A Typst-friendly static Zettelkästen site generator.

Lean 4 programming language and theorem prover

And I say hey, what's going on?

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…

Vim syntax highlighting for the ott programming languages design tool

A simple Brainfuck interpreter in rust

Randomized Property-Based Testing Plugin for Coq

A lazy compiler for a subset of the Racket language

A post-modern modal text editor.