Manage GPU clusters for running LLMs

A library for efficient similarity search and clustering of dense vectors.

Hiragana/Katakana Speed Reading Quiz in Command Line !! 😎

A protocol for secure client/server connections over UDP

A simple semi-reliable UDP protocol for multiplayer games

A purely functional programming language with first class types

The Grammar Checker for Developers

Common Lisp editor/IDE with high expansibility

A template literal tag that sanitizes interpolations.

Temporary repository for Kind2's refactor based on HVM2

A massively parallel, high-level programming language

A modern proof language

A modern proof language

a mailer library for Rust

xv6 OS

A minimal proof language.

naive dns client library in zig

[Semi unmaintained] Dynamic Universal Music Bibliotheque - DUMB - Module/tracker based music format parser and player library -- Please consider using libopenmpt instead of this, it's considerably …

Flexible and Constant Time Programming Language

Language for high-assurance and high-speed cryptography

数字极权时代生存手记 https://git.io/JtbpR

《数字极权时代生存手记》的工具包

Easily and securely send things from one computer to another 🐊 📦

A fast static code analyzer & language server for Python

BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more

A list of tech coops and resources concerning tech coops and worker owned cooperatives in general.

RISC-V machine code monitor

flannel is a network fabric for containers, designed for Kubernetes

Run Kubernetes on MySQL, Postgres, sqlite, dqlite, not etcd.