Learn Git by reimplementing it from scratch

OpenSSL compatibility layer for the Rust SSL/TLS stack

Minimal single-machine issue tracker for AI agents

OxiZ is a high-performance Satisfiability Modulo Theories (SMT) solver written entirely in Rust. This project is part of an initiative to reimplement Z3 in Pure Rust. Pure Rust is a fundamental req…

A small, spec-compliant JavaScript engine written in MoonBit, inspired by QuickJS

The c compiler optimized for speed written in MoonBit

A fast XML parser for MoonBit, inspired by quick-xml

A curated collection of resources for the Boolean Satisfiability Problem (SAT).

A tool designed to streamline the CI/CD of ESP-IDF projects, with support for both GitLab CI/CD and GitHub Actions.

A Wasm VM written in MoonBit

Implementation of "Pattern Matching in Trees", in OCaml.

A safe JavaScript interop tool for MoonBit

High-performance INI parser for MoonBit with nested section support.

XLeRobot: Practical Dual-Arm Mobile Home Robot for $660

油猴脚本：知乎备份剪藏，将你喜欢的回答/文章/想法保存为 markdown / zip / png

Scalable, fast, and disk-friendly vector search in Postgres, the successor of pgvecto.rs.

🙌 OpenHands: AI-Driven Development

A slow and insecure runtime for WebAssembly

An efficient, reliable parser for CommonMark, a standard dialect of Markdown

A pure Rust YAML implementation.

An implementation and definition of the Rust trait system using a PROLOG-like logic solver

智能的 Pixiv 自动化下载工具 | Intelligent Pixiv Automation Downloader

WASI Preview 1 implementation for moonbit