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

Hardcaml is an OCaml library for designing hardware.

OCaml 1,064 56 Updated May 18, 2026

Bluespec Compiler (BSC)

Haskell 1,118 180 Updated Jun 11, 2026

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

Python 33,427 1,388 Updated Jun 13, 2026

CakeML: A Verified Implementation of ML

Standard ML 1,159 97 Updated Jun 14, 2026

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

TypeScript 105,251 14,056 Updated Jun 13, 2026
Python 4 Updated Feb 26, 2025

Auto-format source code in many languages with one command

Emacs Lisp 681 115 Updated May 10, 2026

足球分队程序

HTML 1 1 Updated Apr 29, 2026

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

Swift 108 12 Updated Jun 12, 2026

The seL4 microkernel

C 5,544 774 Updated Jun 14, 2026

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

Scala 18,353 2,687 Updated Jun 14, 2026

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

Emacs Lisp 764 99 Updated Jun 13, 2026

Football game, discontinued

C 232 89 Updated Mar 29, 2021

Football game

C++ 139 40 Updated Jan 16, 2024

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

C++ 7,586 284 Updated Jun 12, 2026

A package abstracting llm capabilities for emacs.

Emacs Lisp 379 41 Updated Jun 11, 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,708 232 Updated Feb 5, 2026

打印纸设计工具

HTML 598 117 Updated Mar 22, 2026

An Emacs web feeds client

Emacs Lisp 1,757 144 Updated Jun 12, 2026

An Mcp client inside Emacs

Emacs Lisp 576 50 Updated May 8, 2026

Amiga Minimig ported to the Tang Nano 20k FPGA

Verilog 195 26 Updated Jun 11, 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,085 1,354 Updated Jun 13, 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 36,327 1,035 Updated Jun 11, 2026

Hacker News client for Emacs

Emacs Lisp 258 27 Updated Nov 24, 2025

Verilog AXI components for FPGA implementation

Verilog 2,071 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,399 202 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 May 16, 2026

A Rust implementation of the KDE/freedesktop StatusNotifierItem specification

Rust 141 19 Updated Jun 10, 2026
Next