Piazza Scraper

Multi-protocol chat bridge (IRC, Matrix, XMPP, Discord, Telegram, etc…)

LightweightVK is a deeply refactored bindless-only fork of https://github.com/facebook/igl. It provides a lean cross-platform graphics API running on top of Vulkan 1.3.

A colored progress bar for FFmpeg.

This repository represents the current SCION version deployed at SCIONLab.

Automate Docker container image updates

Easily portable doom

OpenToonz - アニメーション制作ツールのオープンソースプロジェクト

arm64 Linux patched to run programs for the Nintendo Switch’s Horizon OS

Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.

A Bevy CLI tool and linter.

A process for automating Docker container base image updates.

A type-safe hash map implementation for C

The Discord and IRC bridge with puppets! An IRC user is created for each Discord user, messages from IRC seamlessly appear on Discord, and Discord mentions are automagically converted to and from IRC.

Chromium fork for Windows XP/2003 and up

Identify email addresses or domains names that belong to colleges or universities. Help automate the process of approving or rejecting academic discounts.

The DINish font.

📊 Save matplotlib figures as TikZ/PGFplots for smooth integration into LaTeX.

Userspace eBPF VM

A Haskell library to add voice support to discord-haskell.

🌎 A federated blogging platform 🚀