Skip to content
View haldai's full-sized avatar
🎯
Focusing
🎯
Focusing

Block or report haldai

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 curated list of practical Codex skills for automating workflows across the Codex CLI and API.

Python 13,878 1,334 Updated May 15, 2026
C 4,657 421 Updated Dec 27, 2023

Rednex Game Boy Development System - An assembly toolchain for the Nintendo Game Boy and Game Boy Color

C++ 1,619 186 Updated Jun 9, 2026

An agent-managed museum exhibit, built in Rust with Gajae-Code / LazyCodex — developed and maintained with no human intervention.

Rust 194,011 109,948 Updated Jun 8, 2026

A high-performance bridge between Scryer Prolog and Python.

Prolog 16 Updated Apr 12, 2026

🏛️ 三省六部制 · OpenClaw Multi-Agent Orchestration System — 9 specialized AI agents with real-time dashboard, model config, and full audit trails

Python 16,089 1,696 Updated Jun 16, 2026

Wrapper and boostrap for Vellum reMarkable package manager.

Rust 45 Updated May 29, 2026

Not quite awesome...just some.

Lua 340 19 Updated Jun 17, 2026

A Smithay-based Wayland compositor, inspired by AwesomeWM and configured in Lua or Rust

Rust 606 25 Updated Apr 26, 2026

Python integration for Scryer Prolog using FFI (Research Project)

Prolog 7 1 Updated Nov 8, 2025

Let's create an smart agent to finish some hard tasks in the "The Legend of Zelda: Link's Awakening" game!

Python 3 1 Updated May 27, 2026

A curated list of projects related to the reMarkable tablet

7,496 258 Updated Jun 5, 2026

Boilerplate for playing with and deploying Scratch 3.0 modifications!

TypeScript 28 47 Updated Jun 16, 2026

[ICLR 2026] LLM/VLM gaming agents and model evaluation through games.

Python 940 102 Updated Nov 16, 2025

Formalization of Mathematical Logic

Lean 242 22 Updated Jun 18, 2026

[NeurIPS 2024] Direct3D: Scalable Image-to-3D Generation via 3D Latent Diffusion Transformer

Python 231 13 Updated Feb 11, 2025

Disassembly of Legend of Zelda: Links Awakening DX

Assembly 888 91 Updated Jun 3, 2026

Work with local and cloud LLMs from Emacs.

Emacs Lisp 945 61 Updated Jun 16, 2026

🐬 A collection of awesome resources for the Flipper Zero device.

23,626 1,023 Updated Sep 27, 2024

An efficient Python toolkit for Abductive Learning (ABL), a novel paradigm that integrates machine learning and logical reasoning in a unified framework.

Python 94 13 Updated May 25, 2026

Tencent WeChat on Deepin Wine(com.qq.weixin.deepin) For Archlinux

Shell 1,101 55 Updated Aug 10, 2023

Building Open-Ended Embodied Agents with Internet-Scale Knowledge

Java 2,217 195 Updated Mar 18, 2024

Awesome Emacs Keymap - VSCode emacs keybinding with multi cursor support

TypeScript 531 76 Updated Jun 17, 2026

The repository provides code for running inference with the SegmentAnything Model (SAM), links for downloading the trained model checkpoints, and example notebooks that show how to use the model.

Jupyter Notebook 54,365 6,359 Updated Sep 18, 2024

An open platform for training, serving, and evaluating large language models. Release repo for Vicuna and Chatbot Arena.

Python 39,479 4,790 Updated May 1, 2026

GPT4All: Run Local LLMs on Any Device. Open-source and available for commercial use.

C++ 77,373 8,315 Updated May 27, 2025

Locally run an Instruction-Tuned Chat-Style LLM

C 10,138 854 Updated Apr 19, 2023

Code and Data for DeepLog system

17 3 Updated Feb 16, 2023

A curated list of awesome PICO-8 resources, carts, tools and more

3,029 102 Updated Feb 18, 2026

A retro game engine for Python

Rust 17,547 925 Updated Jun 17, 2026
Next