여기에 있는 자료구조/알고리즘만 전부 알아도 solved.ac 마스터 보장!

General plug-and-play inference library for Recursive Language Models (RLMs), supporting various sandboxes.

Browser automation engine benchmark - Test bypass rates, performance & stealth against Cloudflare, DataDome, reCAPTCHA, Kasada, Imperva, Akamai, PerimeterX and other bot detection systems. Find the…

PostgreSQL in-database durable execution

Skills for Real Engineers. Straight from my .agents directory.

Production-grade engineering skills for AI coding agents.

1 Line of code data quality profiling & exploratory data analysis for Pandas and Spark DataFrames.

Brute-force search for short Python expressions (for code golf)

Copybara: A tool for transforming and moving code between repositories.

A deep dive into the ACPI.sys DPC latency problems on Asus ROG laptops

Multimodal RAG to search and interact locally with technical documents of any kind

Mutation testing resources: how to make better code by introducing bugs

The Startup CTO's Handbook, a book covering leadership, management and technical topics for leaders of software engineering teams

Python & JS/TS SDK for running AI-generated code/code interpreting in your AI app

KAG is a logical form-guided reasoning and retrieval framework based on OpenSPG engine and LLMs. It is used to build logical reasoning and factual Q&A solutions for professional domain knowledge ba…

KakaoTalk Environment on Debian Linux (카카오톡 데비안 리눅스 환경)

All-in-one solution for creating networked applications with RPC, pub/sub, server deployment, and more.

A collection of tools for writing technical documents that mix Rocq code and prose.

Examples and guides for using the OpenAI API

Source code for the X Recommendation Algorithm

Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]

A Risc-V CPU implemented as a zk-SNARK

Kate commitment based PLONK recursive aggregation circuit

Monte Carlo tree search in JAX

Go engine with no human-provided knowledge, modeled after the AlphaGo Zero paper.

A symbolic testing tool for EVM smart contracts

A JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged again automatically.

The testing ground for the future of portable SIMD in Rust