Context engineering is the new vibe coding - it's the way to actually make AI coding assistants work. Claude Code is the best for this so that's what this repo is centered around, but you can apply…

"Context engineering is the delicate art and science of filling the context window with just the right information for the next step." — Andrej Karpathy. A frontier, first-principles handbook inspi…

🔥 Comprehensive survey on Context Engineering: from prompt engineering to production-grade AI systems. hundreds of papers, frameworks, and implementation guides for LLMs and AI agents.

Convert PDF to markdown + JSON quickly with high accuracy

Lean 4 programming language and theorem prover

PDF++: the most Obsidian-native PDF annotation & viewing tool ever. Comes with optional Vim keybindings.

Bibliography explorer and manager from the command line

Framework for Local Energy System Modelling

My bsc theses at [BME](https://www.bme.hu/)

Thesis template for LaTeX documents.

A tool for generating configurable Benchmarks for C Model Checkers

Convert any english paper or scientific book to audio

An alternative app for controlling NUX Mighty amps.

Online BDD Simulation Tool

Reads a state transition system and performs property checking

Samples for Hyperledger Fabric

Links to tools by subject

The Missing Semester of Your CS Education 📚

Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules.

Lab materials for the Software and Systems Verification (VIMIMA01) course

Use graphviz with pure java

Some lecture notes of the research group

ESP8266 Controller for automatic roller blinds project

The missing Java distribution of native C++ libraries

Generic, modular and configurable formal verification framework supporting various formalisms and algorithms