🎓 Path to a free self-taught education in Computer Science!

Make Zotero effective for us LaTeX holdouts

Backend processor for BibLaTeX

A curated list of static web site generators.

It's not just a linter that annoys you!

Google Chromium, sans integration with Google

🏆 A ranked list of awesome projects related to Typst, or the charted dark matter in Typst Universe (TCDM). 🌌

‼️ No waybar here ‼️

⭐ Vim for Visual Studio Code

A Wayland window-stacking compositor

Desktop shell for wayland compositors built with Quickshell & GO, optimized for niri, hyprland, sway, MangoWC, and labwc.

A light weight music player written in GTK4, with a fluent adaptive user interface.

Opinionated hledger's journal files formatter

Verified Rust for low-level systems code

A simple and easy-to-use library to enjoy videogames programming

Main source code repository of the Tamarin prover for security protocol verification.

binary releases of VS Code without MS branding/telemetry/licensing

Mu-FRET adds refactoring functionality to the Formal Requirements Elicitation Tool (FRET). Originally this work was part of the VALU3S project, but it has continued on after VALU3S finished.

A hackable cli/tui launcher built for keyboard-centric wm users, featuring vi & emacs keybinds, ansi decoration, etc

Verified Software Toolchain

The CompCert formally-verified C compiler

Visual Studio Code extension for Coq

Visual Studio Code Extension and Language Server Protocol for Rocq / Coq

Neovim client for coq-lsp

CLI search and replace | Space Age seD

Interactive Coq Proofs in Vim

Tiled scrollable window management for GNOME Shell

AeroSpace is an i3-like tiling window manager for macOS

Control NetworkManager via dmenu