Skip to content
View aoli-al's full-sized avatar

Organizations

@NixOS @GyrosWorkshop @p-org @O-Huo @cmu-pasta

Block or report aoli-al

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 supported. This note will be visible to only you.
Report abuse

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

Report abuse
Showing results

Java language server

Java 2,118 450 Updated Dec 19, 2025
C 33 11 Updated Jul 2, 2025

https://openjdk.org/projects/crac

Java 209 42 Updated Dec 21, 2025

TUI for Telegram written in Rust 🦀

Rust 780 32 Updated Dec 18, 2025

Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.

Rust 4,019 252 Updated Dec 20, 2025

Lightweight coding agent that runs in your terminal

Rust 54,435 6,911 Updated Dec 21, 2025

🙌 OpenHands: AI-Driven Development

Python 65,819 8,093 Updated Dec 21, 2025

JSCAD is an open source set of modular, browser and command line tools for creating parametric 2D and 3D designs with JavaScript code. It provides a quick, precise and reproducible method for gener…

JavaScript 3,050 547 Updated Dec 8, 2025

Next generation Cosmic desktop environment

Just 5,261 149 Updated Dec 15, 2025

An uber-fast parallelized Java classpath scanner and module scanner.

Java 2,943 300 Updated Oct 10, 2025

AirPods liberated from Apple's ecosystem.

Kotlin 23,237 1,213 Updated Dec 17, 2025
Rust 91 33 Updated Mar 26, 2025

https://openjdk.org/projects/code-tools/jcstress

Java 479 65 Updated Jun 19, 2025

Litmus testing tool for Kotlin/Native

Kotlin 71 2 Updated Apr 22, 2025

Kotlin Language Server and plugin for Visual Studio Code

Kotlin 2,660 62 Updated Dec 21, 2025

FlinkSketch: Democratizing the Benefits of Sketches for the Flink Community

Java 28 1 Updated Oct 30, 2025

A smithy for rusty wayland compositors

Rust 2,507 224 Updated Dec 18, 2025

Nixpkgs channel history CLI

Rust 54 Updated Nov 29, 2025

A sleek and minimal desktop shell thoughtfully crafted for Wayland.

QML 2,039 192 Updated Dec 21, 2025

Hydra is a framework for elegantly configuring complex applications

Python 10,051 760 Updated Dec 11, 2025

🎧☁️ Your Personal Streaming Service

Go 18,077 1,290 Updated Dec 19, 2025

Run the rr debugger in a Linux VM on apple silicon macOS or in the cloud. Use the rr debugger without HW performance counters on x86-64 and aarch64. Tutorial Link 👇

C++ 94 9 Updated Nov 12, 2025

[mirror] A non-monolithic Wayland compositor

Zig 3,818 160 Updated Dec 21, 2025
Python 12 3 Updated Sep 19, 2025

A scrollable-tiling Wayland compositor.

Rust 16,475 593 Updated Dec 21, 2025

Scan your Rust crate for semver violations.

Rust 1,538 116 Updated Dec 20, 2025

gpt-oss-120b and gpt-oss-20b are two open-weight language models by OpenAI

Python 19,446 1,996 Updated Nov 1, 2025

Touying is a powerful package for creating presentation slides in Typst.

Typst 1,791 53 Updated Nov 27, 2025

Debugging WebAssembly? Put some Whamm! on it.

Rust 62 6 Updated Dec 16, 2025

sched_ext schedulers and tools

C 1,609 203 Updated Dec 21, 2025
Next