Staging repo for development of native port of TypeScript

Wireshark for Docker containers

A distributed C++ compiler: like distcc, but faster

lapisla is a *battery-pluggable* theorem prover and ecosystem designed for everyone. Greetings! 👋

Archive of https://bitbucket.org/plan9-from-bell-labs/u9fs/

Task runner in JS monorepos

Scalar: A set of tools and extensions for Git to allow very large monorepos to run on Git without a virtualization layer

Magic to turn Cursor/Windsurf as 90% of Devin

FFMPEG Assembly Language Lessons

Distributed Systems Labs and Framework

A tiling Wayland compositor for education

pingcap/autoflow is a Graph RAG based and conversational knowledge base tool built with TiDB Serverless Vector Storage. Demo: https://tidb.ai

A flow-style query language for SQL engines

The Gosub browser engine

Minimalistic web UI for Task warrior

A tool for analyzing the size of compiled Go binaries, offering cross-platform support, detailed breakdowns, and multiple output formats.

RunCVM (Run Container VM) is an experimental open-source Docker container runtime, for launching standard container workloads - as well as Systemd, Docker, even OpenWrt - in VMs using 'docker run`

『Binary Hacks Rebooted』のサポートリポジトリ

RSSのdescriptionを記事の日本語要約(AI生成)に差し替えるWebサーバー

Virtual Machine for the Web

A syntax-highlighting pager for git, diff, grep, and blame output

東京工業大学 traP Kaggle班「機械学習講習会」の資料

Functional programming toolkit for building server applications in Scala.

Proxmox Resources Managed by Terraform

No-std, no-unsafe and no-dependencies WebAssembly 1.0 runtime for Rust

Generate comprehensive PDFs of entire websites, ideal for RAG.