-
12:28
(UTC -04:00) - https://hocdot.github.io/
Stars
🪨 why use many token when few token do trick — Claude Code skill that cuts 65% of tokens by talking like caveman
A verifier that integrates LLMs into automated C program verification
18 Lessons to Get Started Building AI Agents
A theoretical reconstruction of the Claude Mythos architecture, built from first principles using the available research literature.
The agent that grows with you
A single CLAUDE.md file to improve Claude Code behavior, derived from Andrej Karpathy's observations on LLM coding pitfalls.
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…
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…
Running a big model on a small laptop
Automate the process of making money online.
Download your Spotify playlists and songs along with album art and metadata (from YouTube if a match is found).
Official PyTorch implementation of RAVE: Rate-Adaptive Visual Encoding for 3D Gaussian Splatting
AI agents running research on single-GPU nanochat training automatically
Multi-subscription extension for pi -- use multiple OAuth accounts per provider (Anthropic, Codex, Copilot, Gemini, Antigravity)
Lightweight coding agent that runs in your terminal
"CLI-Anything: Making ALL Software Agent-Native" -- CLI-Hub: https://clianything.cc/
Guidance and examples for using auto_LiRPA and alpha-beta-CROWN in control research
A lightweight inference engine supporting speculative speculative decoding (SSD).
π RuView turns commodity WiFi signals into real-time spatial intelligence, vital sign monitoring, and presence detection — all without a single pixel of video.
List of Science courses with video lectures
Fully autonomous AI Agents system capable of performing complex penetration testing tasks
The open-source AI voice studio. Clone, dictate, create.