Skip to content
View hocdot's full-sized avatar

Organizations

@dynaroars

Block or report hocdot

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 constraint solver purely on GPUs (CUDA)

C++ 49 16 Updated Aug 4, 2026

🪨 why use many token when few token do trick — Claude Code skill that cuts 65% of tokens by talking like caveman

Go 97,966 5,655 Updated Aug 13, 2026

Kani Rust Verifier

Rust 3,307 163 Updated Aug 13, 2026

A verifier that integrates LLMs into automated C program verification

Python 16 5 Updated Apr 4, 2026

18 Lessons to Get Started Building AI Agents

Jupyter Notebook 72,072 23,873 Updated Jul 29, 2026

A theoretical reconstruction of the Claude Mythos architecture, built from first principles using the available research literature.

Python 14,793 3,294 Updated May 23, 2026

The agent that grows with you

Python 229,993 45,465 Updated Aug 13, 2026

A single CLAUDE.md file to improve Claude Code behavior, derived from Andrej Karpathy's observations on LLM coding pitfalls.

202,110 20,738 Updated Apr 20, 2026
HTML 20 2 Updated Oct 9, 2023

Automatically Interactive Graphics 🖼✨💯

JavaScript 1,974 48 Updated Jun 26, 2025

Claude Code is an agentic coding tool that lives in your terminal, understands your codebase, and helps you code faster by executing routine tasks, explaining complex code, and handling git workflo…

Python 141,338 22,697 Updated Aug 13, 2026

Lists of company wise questions. Every csv file in the companies directory corresponds to a list of questions on leetcode for a specific company based on the leetcode company tags. Updated as of 20…

28,585 5,583 Updated Jun 26, 2026

Running a big model on a small laptop

Objective-C 4,058 507 Updated Mar 19, 2026
TypeScript 2 Updated Mar 30, 2026

Open-Source Frontier Voice AI

Python 52,638 5,938 Updated Jul 24, 2026

book_nnv

TeX 6 1 Updated May 8, 2026

Automate the process of making money online.

Python 31,561 3,409 Updated Jun 14, 2026

Download your Spotify playlists and songs along with album art and metadata (from YouTube if a match is found).

Python 25,767 2,208 Updated Aug 12, 2026

Official PyTorch implementation of RAVE: Rate-Adaptive Visual Encoding for 3D Gaussian Splatting

Python 4 Updated Jan 29, 2026

AI agents running research on single-GPU nanochat training automatically

Python 93,795 13,300 Updated Mar 26, 2026

Multi-subscription extension for pi -- use multiple OAuth accounts per provider (Anthropic, Codex, Copilot, Gemini, Antigravity)

TypeScript 475 47 Updated May 28, 2026

Lightweight coding agent that runs in your terminal

Rust 105,717 16,034 Updated Aug 13, 2026

"CLI-Anything: Making ALL Software Agent-Native" -- CLI-Hub: https://clianything.cc/

Python 46,966 4,366 Updated Aug 13, 2026

Guidance and examples for using auto_LiRPA and alpha-beta-CROWN in control research

Jupyter Notebook 9 1 Updated Jun 17, 2026

A lightweight inference engine supporting speculative speculative decoding (SSD).

Python 987 78 Updated May 10, 2026

π RuView turns commodity WiFi signals into real-time spatial intelligence, vital sign monitoring, and presence detection — all without a single pixel of video.

Rust 89,896 11,948 Updated Aug 13, 2026

List of Science courses with video lectures

4,127 646 Updated Jun 17, 2026

Fully autonomous AI Agents system capable of performing complex penetration testing tasks

Go 21,804 2,882 Updated Aug 6, 2026

The open-source AI voice studio. Clone, dictate, create.

TypeScript 50,277 6,232 Updated Aug 9, 2026

Beautiful, Modern & Opinionated Linux

Shell 24,625 2,474 Updated Aug 13, 2026
Next