Open Source H.265 / HEVC video encoder

Deterministic, AI-driven development flows.

ONNX runtime for Cats Effect Native

An open-source AI agent that brings the power of Gemini directly into your terminal.

在大陆地区使用普通银联信用卡通过 Apple Store 订阅 ChatGPT Plus 等产品的一些实践

AutoCLI is a Blazing fast, memory-safe command-line tool — Fetch information from any website with a single command. Covers Twitter/X, Reddit, YouTube, HackerNews, Bilibili, Zhihu, Xiaohongshu, and…

Lean 4 programming language and theorem prover

Wettkampf-App für Kunst- und Geräteturnen

Can Language Models Rebuild Programs From Scratch?

Browser-driven, LLM-directed DAST engine: confirm-by-execution, consent-gated; LLM-navigated two-identity IDOR on a thread-affine Playwright pool.

A fork of Apache Pekko, adding support for distributed actor garbage collection.

An example app that integrates pekko-http and scala-js to implement a websocket chat

Thread-affine resource pool for Pekko

MobileGym: A Verifiable and Highly Parallel Simulation Platform for Mobile GUI Agent Research · 浏览器里运行的安卓模拟器 · Browser-hosted Android Simulator · Verifiable Evaluation · Scalable Online RL Training

YugabyteDB - the cloud native distributed SQL database for mission-critical applications.

A zero cost type safe Apache Spark API

ShipReq

The most widely used Python to C compiler

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

The Programming Language for Agents

Conductor is an event driven agentic workflow engine providing durable and highly resilient execution engine for applications and AI Agents

A Rust implementation of the Starlark language

Code for My FFM Talk at JavaOne 2026

DeepSeek 4 Flash and PRO local inference engine for Metal, CUDA and ROCm

Chrome DevTools for coding agents