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

Swift DSL for parametric 3D modeling

Swift 315 10 Updated Jan 10, 2026

Open source Java implementation for Raft consensus protocol.

Java 1,431 438 Updated Jan 9, 2026

A multiplayer mod for the game Dyson Sphere Program

C# 914 123 Updated Nov 30, 2025

Nix Packages collection & NixOS

Nix 23,019 17,678 Updated Jan 11, 2026

Abseil Common Libraries (C++)

C++ 16,893 2,945 Updated Jan 9, 2026

Java language server

Java 2,142 452 Updated Jan 10, 2026
C 33 11 Updated Jul 2, 2025

https://openjdk.org/projects/crac

Java 211 42 Updated Jan 10, 2026

TUI for Telegram written in Rust 🦀

Rust 792 32 Updated Jan 7, 2026

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

Rust 4,236 258 Updated Jan 9, 2026

Lightweight coding agent that runs in your terminal

Rust 55,729 7,169 Updated Jan 10, 2026

🙌 OpenHands: AI-Driven Development

Python 66,451 8,230 Updated Jan 11, 2026

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,070 552 Updated Jan 10, 2026

Next generation Cosmic desktop environment

Just 5,441 160 Updated Dec 30, 2025

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

Java 2,953 300 Updated Oct 10, 2025

AirPods liberated from Apple's ecosystem.

Kotlin 24,281 1,271 Updated Dec 29, 2025
Rust 91 33 Updated Mar 26, 2025

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

Java 484 66 Updated Jun 19, 2025

Litmus testing tool for Kotlin/Native

Kotlin 72 2 Updated Apr 22, 2025

Kotlin Language Server and plugin for Visual Studio Code

Kotlin 2,748 62 Updated Jan 11, 2026

FlinkSketch: Democratizing the Benefits of Sketches for the Flink Community

Java 29 1 Updated Oct 30, 2025

A smithy for rusty wayland compositors

Rust 2,559 232 Updated Jan 9, 2026

Nixpkgs channel history CLI

Rust 57 Updated Jan 10, 2026

A sleek and minimal desktop shell thoughtfully crafted for Wayland.

QML 2,507 229 Updated Jan 10, 2026

Hydra is a framework for elegantly configuring complex applications

Python 10,088 783 Updated Dec 11, 2025

🎧☁️ Your Personal Streaming Service

Go 18,444 1,315 Updated Jan 8, 2026

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++ 96 9 Updated Nov 12, 2025

[mirror] A non-monolithic Wayland compositor

Zig 3,857 160 Updated Jan 9, 2026
Python 12 3 Updated Sep 19, 2025

A scrollable-tiling Wayland compositor.

Rust 17,211 629 Updated Jan 10, 2026
Next