google-gemini / gemini-cli

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

microsoft / vscode-copilot-chat

Copilot Chat extension for VS Code

datalab-to / surya

OCR, layout analysis, reading order, table recognition in 90+ languages

openinterpreter / openinterpreter

A lightweight coding agent for open models like Deepseek, Kimi, and Qwen

jrh13 / hol-light

The HOL Light theorem prover

sunface / rust-course

什么?你敢放心的把后背交给 AI? 我赌你不敢,那就来学学 AI 时代最酷、最安全、最快的语言吧。本书拥有全面且深入的讲解、生动贴切的示例、德芙般丝滑的内容,这可能是目前最用心的 Rust 中文学习教程 / Book

fpinscala / fpinscala

Code, exercises, answers, and hints to go along with the book "Functional Programming in Scala"

torvalds / linux

Linux kernel source tree

lattera / glibc

GNU Libc - Extremely old repo used for research purposes years ago. Please do not rely on this repo.

ZhenbangYou / SysY-to-RISC-V-Compiler

gcc-mirror / gcc

gabrielecirulli / 2048

The source code for 2048