Skip to content
View higuoxing's full-sized avatar

Organizations

@HeraldStudio @llvm @honeybee-js

Block or report higuoxing

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

A lightweight sandboxing tool for enforcing filesystem and network restrictions on arbitrary processes at the OS level, without requiring a container.

TypeScript 4,461 329 Updated Jun 19, 2026

Hardcaml is an OCaml library for designing hardware.

OCaml 1,071 57 Updated May 18, 2026

Bluespec Compiler (BSC)

Haskell 1,122 181 Updated Jun 16, 2026

If you live in the terminal, kitty is made for you! Cross-platform, fast, feature-rich, GPU based.

Python 33,518 1,395 Updated Jun 21, 2026

CakeML: A Verified Implementation of ML

Standard ML 1,163 98 Updated Jun 21, 2026

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

TypeScript 105,471 14,144 Updated Jun 21, 2026
Python 4 Updated Feb 26, 2025

Auto-format source code in many languages with one command

Emacs Lisp 682 116 Updated Jun 20, 2026

足球分队程序

HTML 1 1 Updated Apr 29, 2026

iOS port of meow — VPN/proxy client for iOS 26, powered by meow-rs

Swift 119 12 Updated Jun 20, 2026

The seL4 microkernel

C 5,579 776 Updated Jun 19, 2026

♞ lichess.org: the forever free, adless and open source chess server ♞

Scala 18,374 2,696 Updated Jun 21, 2026

🌷 Run code formatter on buffer contents without moving point, using RCS patches and dynamic programming.

Emacs Lisp 764 100 Updated Jun 19, 2026

Football game, discontinued

C 233 90 Updated Mar 29, 2021

Football game

C++ 140 40 Updated Jan 16, 2024

A fast usermode x86 and x86-64 emulator for Arm64 Linux

C++ 7,608 285 Updated Jun 21, 2026

A package abstracting llm capabilities for emacs.

Emacs Lisp 380 41 Updated Jun 21, 2026

Claude Opus 4.6 wrote a dependency-free C compiler in Rust, with backends targeting x86 (64- and 32-bit), ARM, and RISC-V, capable of compiling a booting Linux kernel.

Rust 2,716 234 Updated Feb 5, 2026

打印纸设计工具

HTML 600 117 Updated Mar 22, 2026

An Emacs web feeds client

Emacs Lisp 1,763 144 Updated Jun 18, 2026

An Mcp client inside Emacs

Emacs Lisp 577 51 Updated Jun 15, 2026

Amiga Minimig ported to the Tang Nano 20k FPGA

Verilog 195 26 Updated Jun 21, 2026

Kata Containers is an open source project and community working to build a standard implementation of lightweight Virtual Machines (VMs) that feel and perform like containers, but provide the workl…

Rust 8,128 1,364 Updated Jun 21, 2026

A tool for creating and running Linux containers using lightweight virtual machines on a Mac. It is written in Swift, and optimized for Apple silicon.

Swift 39,259 1,137 Updated Jun 21, 2026

Hacker News client for Emacs

Emacs Lisp 258 27 Updated Nov 24, 2025

Verilog AXI components for FPGA implementation

Verilog 2,075 533 Updated Feb 27, 2025

Design circuit boards with code! ✨ Get software-like design reuse 🚀, validation, version control and collaboration in hardware; starting with electronics ⚡️

Python 3,411 203 Updated Jun 13, 2026

ClangQL is a tool that allow you to run SQL-like query on C/C++ Code instead of database files using the GitQL SDK

Rust 534 14 Updated Apr 21, 2026

The world's fastest apk (android)/java open source decompiler

C 512 51 Updated Jun 21, 2026
Next