Skip to content
View ixaxaar's full-sized avatar
🏔️
🏔️

Block or report ixaxaar

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

Starred repositories

Showing results
Lean 26 7 Updated Apr 22, 2026

an open source, extensible AI agent that goes beyond code suggestions - install, execute, edit, and test with any LLM

Rust 43,600 4,452 Updated Apr 30, 2026

An agentic skills framework & software development methodology that works.

Shell 174,499 15,399 Updated Apr 30, 2026
OCaml 281 9 Updated Nov 24, 2025

An open-source long-horizon SuperAgent harness that researches, codes, and creates. With the help of sandboxes, memories, tools, skill, subagents and message gateway, it handles different levels of…

Python 64,371 8,455 Updated Apr 30, 2026

Your personal intelligence agent. Watches the world from multiple data sources and pings you when something changes.

JavaScript 9,155 1,463 Updated Apr 3, 2026

Apache DataFusion SQL Query Engine

Rust 8,699 2,069 Updated Apr 30, 2026

AI agents running research on single-GPU nanochat training automatically

Python 78,119 11,390 Updated Mar 26, 2026

A Git-compatible VCS that is both simple and powerful

Rust 28,463 1,028 Updated Apr 30, 2026

Large medical text dataset curated for abbreviation disambiguation, designed for natural language understanding pre-training in the medical domain

Python 285 43 Updated Oct 18, 2023

Tiny, Fast, and Deployable anywhere — automate the mundane, unleash your creativity

Go 28,638 4,100 Updated Apr 30, 2026

Research code accompanying AlphaGenome

Python 750 120 Updated Apr 30, 2026

Stealthy Linux Kernel Rootkit for modern kernels (6x)

C 1,633 180 Updated Apr 21, 2026

Open-source LLM knowledge platform: turn raw documents into a queryable RAG, an autonomous reasoning agent, and a self-maintaining Wiki.

Go 14,119 1,708 Updated Apr 30, 2026

A low power platform based on X-HEEP and integrating the ESL-CGRA

C 18 16 Updated Nov 12, 2025

A machine learning accelerator core designed for energy-efficient AI at the edge.

Emacs Lisp 2,248 274 Updated Apr 29, 2026

An Open-Hardware CGRA for accelerated computation on the edge.

Python 51 10 Updated Oct 31, 2025

Open-Source Frontier Voice AI

Python 46,053 5,089 Updated Apr 24, 2026

Visualize package dependencies as XKCD-style tower diagrams. Supports Python, Rust, JavaScript, Ruby, PHP, Java, and Go.

Go 507 12 Updated Apr 20, 2026

コード例で学ぶ Lean 言語

Lean 156 13 Updated Apr 29, 2026
577 33 Updated Nov 30, 2025

💽 Build Bespoke OS Images

Python 1,871 422 Updated Apr 30, 2026

Boot and upgrade via container images

Rust 2,016 193 Updated Apr 30, 2026

Operating system and container binary deployment and upgrades

C 1,622 348 Updated Apr 10, 2026

Contexts Optical Compression

Python 22,981 2,125 Updated Jan 27, 2026

Full-throttle, wire-speed hardware implementation of Wireguard VPN, using low-cost Artix7 FPGA with opensource toolchain. If you seek security and privacy, nothing is private in our codebase. Our d…

Verilog 1,328 34 Updated Mar 12, 2026

KitchenOwl is a self-hosted grocery list and recipe manager. The backend is made with Flask and the frontend with Flutter. Easily add items to your shopping list before you go shopping. You can als…

Dart 3,250 193 Updated Apr 26, 2026

Free IDE for Kubernetes

TypeScript 4,950 236 Updated Apr 30, 2026

The single instruction C compiler

C 10,175 415 Updated May 29, 2024

The Torch-MLIR project aims to provide first class support from the PyTorch ecosystem to the MLIR ecosystem.

C++ 1,798 678 Updated Apr 30, 2026
Next