8000 Ivan-Sergeyev (Ivan Sergeev) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View Ivan-Sergeyev's full-sized avatar

Block or report Ivan-Sergeyev

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

This project is about formally verifying Seymour's decomposition theorem for regular matroids.

Lean 23 7 Updated May 9, 2025

A complete computer science study plan to become a software engineer.

317,255 78,716 Updated Dec 5, 2024

💯 Curated coding interview preparation materials for busy software engineers

TypeScript 126,034 15,378 Updated Apr 28, 2025

A collection of (mostly) technical things every software developer should know about

87,048 8,010 Updated Aug 6, 2024

An attempt to answer the age old interview question "What happens when you type google.com into your browser and press enter?"

41,746 5,705 Updated Aug 19, 2024

Interactive roadmaps, guides and other educational content to help developers grow in their careers.

TypeScript 318,216 41,243 Updated May 9, 2025

A curated list of software and architecture related design patterns.

42,536 3,051 Updated Oct 25, 2024

Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.

Python 298,782 49,597 Updated Dec 2, 2024

Lean documentation authoring tool

Lean 158 84 Updated May 9, 2025
0