clarkzjw

bubbletea

A powerful little TUI framework 🏗

textual

The lean application framework for Python. Build sophisticated user interfaces with a simple Python API. Run your apps in the terminal and a web browser.

pingora

A library for building fast, reliable and evolvable network services.

upx

UPX - the Ultimate Packer for eXecutables

NotepadNext

A cross-platform, reimplementation of Notepad++

sioyek

Sioyek is a PDF viewer with a focus on textbooks and research papers

ccf-deadlines

⏰ Collaboratively track deadlines of conferences recommended by CCF (Website, Python Cli, Wechat Applet) / If you find it useful, please star this project, thanks~

transformer-debugger

hickory-dns

A Rust based DNS client, server, and resolver

neomutt

✉️ Teaching an Old Dog New Tricks -- IRC: #neomutt on irc.libera.chat

sudo-rs

A memory safe implementation of sudo and su.

no-style-please

A (nearly) no-CSS, fast, minimalist Jekyll theme.

virtualbox-kvm

KVM Backend for VirtualBox. With our current development model, we cannot easily accept pull requests here. If you'd like to contribute, feel free to reach out to us, we are happy to find a solution.

Type-on-Strap

🎨 Simplistic, responsive jekyll based open source theme

caddy-l4

Layer 4 (TCP/UDP) app for Caddy

aho

A git implementation in awk

hashclash

Project HashClash - MD5 & SHA-1 cryptanalysis

xz

XZ Utils

zig-network

A smallest-common-subset of socket functions for crossplatform networking, TCP & UDP

alttab

The task switcher for minimalistic window managers or standalone X11 session

related_post_gen

Data Processing benchmark featuring Rust, Go, Swift, Zig, Julia etc.

libtailscale

Tailscale C library

FLT

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

cosmic

A Fedora Atomic based OSTree Image with the COSMIC desktop environment. Thanks to Drakulix for initial image.

guide-nitter-self-hosting

A guide for self-hosting a Nitter instance

symmetric_project

formalising-mathematics-2024

Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.

best-of-lean4

A list of awesome lean4 projects.

xz-backdoor-github-analysis

A simple Jupyter Notebook to graph a users commit history over time, specifically looking at the author of the xz backdoor.

CosmicBeats-Simulator

A space simulation platform that caters to individuals with diverse research interests, including networking, AI, computing, and more. Unlike traditional simulators tied to specific research applications, our design allows for seamless integration of various space-related research verticals.