AI agents can now use real Android and iOS apps, just like a human.

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

💐 j is a subset of J, and an essay.

A minimal development of SSA theory

A Lean companion to Analysis I

Guide to extract authenticator tokens from the Authy iOS app with mitmproxy

The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)

Deezer source separation library including pretrained models.

基于ChatGPT的企业微信聊天应用

This is the homepage of a new book entitled "Mathematical Foundations of Reinforcement Learning."

The source code to the Voss II Hardware Verification Suite

StyleAutoEncoder for manipulating image attributes using pre-trained StyleGAN

Haskell implemented with combinators

Lightpanda: the headless browser designed for AI and automation

An AI Hedge Fund Team

Official Implementation of "Third Time's the Charm? Image and Video Editing with StyleGAN3" (AIM ECCVW 2022) https://arxiv.org/abs/2201.13433

Experiments with StyleCLIP

Expand human face editing via Global Direction of StyleCLIP, especially to maintain similarity during editing.

Programs equivalent to GNU coreutils, written in the Moonbit.

Transformer Explained Visually: Learn How LLM Transformer Models Work with Interactive Visualization

Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.

小麥注音輸入法

威注音輸入法 macOS 版，恐怕是截至目前為止在功能多樣性方面最強的第三方免費 macOS 系統專用輸入法，採純 Swift 語言寫就。威注音的著力點是盡可能在力所能及的範圍內將整個產品的功能做得更好用，搭配特製的簡體中文與繁體中文專用辭庫。是純粹的簡體中文注音輸入法（也內贈原生繁體中文輸入模式），更具諸多威注音特色功能。目前研發管理工作均在 CSDN GitCode 進行。

Silice is an easy-to-learn, powerful hardware description language, that simplifies designing hardware algorithms with parallelism and pipelines.

a battery-included library for dataflow protocols