🔥Highlighting the top ML papers every week.

MS MARCO(Microsoft Machine Reading Comprehension) is a large scale dataset focused on machine reading comprehension and question answering

A Neovim plugin enabling you to solve LeetCode problems.

Demonstrate all the questions on LeetCode in the form of animation.（用动画的形式呈现解LeetCode题目的思路）

A structured guide from beginner to expert in Generative AI, with hands-on exercises and deployments.

A command-line tool that displays images as colorized ASCII art in the terminal.

Animation engine for explanatory math videos

A simple webserver written in C

Build a standard and professional single page resume

Elevate your bookmarking game with my latest Bookmark Toolkit. Engineered for ethical bookmarking and enhanced web exploration, it delivers customized features for a seamless browsing journey.

CVE-2024-28397: js2py sandbox escape, bypass pyimport restriction.

An introduction to theorem proving in Lean for the impatient.

A modern Neovim configuration with full battery for Python, Lua, C++, Markdown, LaTeX, and more...

This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.

A book-in-progress about the Linux kernel and its insides.

The Rust Programming Language: Experimental Edition

Apple Continuity Protocol Reverse Engineering and Dissector

A wireframe 3D renderer that outputs to only text on the terminal, written entirely in Rust.

Nikto web server scanner

Ethereum zkEVM book

Warp is the agentic development environment, built for coding with multiple AI agents.

Simple DirectMedia Layer

An ebook about bare-metal programming for ARM

fpocket is a very fast open source protein pocket detection algorithm based on Voronoi tessellation. The platform is suited for the scientific community willing to develop new scoring functions and…

A completely decentralized alternative to the current-day web.

A macOS enumeration tool inspired by harmjoy's Windows-based Seatbelt enumeration tool. Author: Cedric Owens

♿️ Command line tool to modify OS X's accessibility database (TCC.db)

A Zsh theme

Hand-written verified Lean solutions for the HumanEval benchmark

A formalization of ML kernel languages