Agda is a dependently typed programming language / interactive theorem prover.

A polyglot document intelligence framework with a Rust core. Extract text, metadata, and structured information from PDFs, Office documents, images, and 88+ formats. Available for Rust, Python, Ruby, Java, Go, PHP, Elixir, C#, R, C, TypeScript (Node/Bun/Wasm/Deno)- or use via CLI, REST API, or MCP server.

Assorted useful tools, almost entirely generated using LLMs

🎉 A curated list of awesome things related to Vue.js

A list of awesome beginners-friendly projects.

:octocat: A curated awesome list of lists of interview questions. Feel free to contribute! :mortar_board:

A fast reverse proxy to help you expose a local server behind a NAT or firewall to the internet.

Set up a modern web app by running one command.

From the Transistor to the Web Browser, a rough outline for a 12 week course

List of Computer Science courses with video lectures.

openpilot is an operating system for robotics. Currently, it upgrades the driver assistance system on 300+ supported cars.

Clean Code concepts adapted for JavaScript

:link: Some useful websites for programmers.

An awesome list that curates the best Flutter libraries, tools, tutorials, articles and more.

🗂 The perfect Front-End Checklist for modern websites and meticulous developers

A simple, yet elegant, HTTP library.

🐍 Фреймворк для разработки ботов в max.ru

Zero-cost functional reactive Signals for Rust

The Patterns of Scalable, Reliable, and Performant Large-Scale Systems

The best way to write secure and reliable applications. Write nothing; deploy nowhere.

mall项目是一套电商系统，包括前台商城系统及后台管理系统，基于Spring Boot+MyBatis实现，采用Docker容器化部署。 前台商城系统包含首页门户、商品推荐、商品搜索、商品展示、购物车、订单流程、会员中心、客户服务、帮助中心等模块。 后台管理系统包含商品管理、订单管理、会员管理、促销管理、运营管理、内容管理、统计报表、财务管理、权限管理、设置等模块。

后端架构师技术图谱

A collection of inspiring lists, manuals, cheatsheets, blogs, hacks, one-liners, cli/web tools and more.

A simple zero-config tool to make locally trusted development certificates with any names you'd like.

深度学习500问，以问答形式对常用的概率知识、线性代数、机器学习、深度学习、计算机视觉等热点问题进行阐述，以帮助自己及有需要的读者。 全书分为18个章节，50余万字。由于水平有限，书中不妥之处恳请广大读者批评指正。 未完待续............ 如有意合作，联系scutjy2015@163.com 版权所有，违权必究 Tan 2018.0

科技爱好者周刊，每周五发布

Experimental React hooks implementation in Vue

A Collection of application ideas which can be used to improve your coding skills.

A long list of (advanced) JavaScript questions, and their explanations :sparkles:

Use LaTeX in PowerPoint

计算机自学指南

《代码随想录》LeetCode 刷题攻略：200道经典题目刷题顺序，共60w字的详细图解，视频难点剖析，50余张思维导图，支持C++，Java，Python，Go，JavaScript等多语言版本，从此算法学习不再迷茫！🔥🔥 来看看，你会发现相见恨晚！🚀

所有小初高、大学PDF教材。

Open-source Windows and Office activator featuring HWID, Ohook, TSforge, and Online KMS activation methods, along with advanced troubleshooting.

Crack LeetCode, not only how, but also why.

Curated list of design and UI resources from stock photos, web templates, CSS frameworks, UI libraries, tools and much more

A natural language interface for computers

ChatGPT 中文调教指南。各种场景使用指南。学习怎么让它听你的话。

Everything required to run your own Base node

DNS/HTTPProxy server with custom DNS resolver

Swift retro RPG engine and adventure editor for macOS & Windows

a cross-platform light - weight object-oriented Java game engine

Course to get into Large Language Models (LLMs) with roadmaps and Colab notebooks.

Explain complex systems using visuals and simple terms. Help you prepare for system design interviews.