用空档接龙的方式背单词 | Spider Solitaire × Anki — a card game for vocabulary learning

IDE-like breadcrumbs, out of the box

Python logging made (stupidly) simple

graphics framework for sveltejs

Using SVM to classify human/AI-generated creative writing text

A minimalistic, self-hosted, end-to-end encrypted group messaging system built on MLS (RFC 9420).

simple yet useful ai agent that just use `bash`

The control room for your Django app

A reactive notebook for Haskell

Native PC gaming with Steam, Epic, GOG and Amazon integrations on Android

Very low feature GHCi based IDE

Proxifier Alternative to redirect any Windows/MacOS/Linux TCP and UDP traffic to HTTP/Socks5 proxy

A fast type checker and language server for Python

a small kvm-based hypervisor

Your browser catches homograph attacks. Your terminal doesn't. Tirith guards the gate and intercepts suspicious URLs, ANSI injection, and pipe-to-shell attacks before they execute.

Port of org-roam to neovim using orgmode

Decompress / compress mozlz4 files, with precompiled binaries for Windows and Linux

A shell script which checks your $HOME for unwanted files and directories.

Rust Language Cheat Sheet - https://cheats.rs

The pure asynchronous runtime for Scala

This project visualizes Fediverse instances as stars in a 3D galaxy

The most comprehensive authentication framework for TypeScript

🤱🏻 Turn any webpage into a desktop app with one command.

Keeping track of companies that "care about your data 🥺"

An experiment in scalable routing as an encrypted IPv6 overlay network

eBPF-based Linux high-performance transparent proxy solution.

yu-gi-oh! deck builder

Hiqlite - highly-available, embeddable, raft-based SQLite + cache

aiogram is a modern and fully asynchronous framework for Telegram Bot API written in Python using asyncio

Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.