AeneasVerif / aeneas

A verification toolchain for Rust programs

vlang / v

Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation. https://vlang.io

datawhalechina / vibe-vibe

AI for All: The First Systematic Vibe Coding Tutorial | From Zero to Full-Stack, Bring Your Ideas to Life | Live at: www.vibevibe.cn ；全民AI学习第一课，首个系统化 Vibe Coding 开源教程 | 零基础到全栈实战，让人人都能借助 AI 实现自己的想法与创意 | 在线地址：www.vibevibe.cn

JuliaLang / julia

The Julia Programming Language

google / styleguide

Style guides for Google-originated open-source projects

lib-pku / libpku

贵校课程资料民间整理

Virtual-Browser / VirtualBrowser

Free anti fingerprint browser, 指纹浏览器, 隐私浏览器, 防识别浏览器, 反识别浏览器, 防关联浏览器, 免费的web3空投专用指纹浏览器 https://virtualbrowser.cc/?src=github

The-OpenROAD-Project / OpenROAD

OpenROAD's unified application implementing an RTL-to-GDS Flow. Documentation at https://openroad.readthedocs.io/en/latest/

netdata / netdata

The fastest path to AI-powered full stack observability, even for lean teams.

openai / openai-cookbook

Example notebooks and guides showing how to accomplish common tasks with the OpenAI API.

DataTalksClub / data-engineering-zoomcamp

Data Engineering Zoomcamp is a free 9-week course on building production-ready data pipelines. Join the course here 👇🏼

utmapp / UTM

Full system emulator and virtual machine host for iOS, macOS, and visionOS, built on QEMU.

microsoft / WSL

Runs Linux command-line tools and applications unmodified directly on Windows, without a traditional virtual machine or dual boot.

openssl / openssl

General-purpose toolkit implementing TLS, DTLS, and QUIC protocols on top of a standalone cryptographic library and CLI.

microsoft / mcp-for-beginners

A beginner curriculum teaching the Model Context Protocol (MCP) with hands-on code examples in C#, Java, JavaScript, Rust, Python, and TypeScript.

zephyrproject-rtos / zephyr

Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware architectures.

anthropics / claude-code-action

A GitHub Action that runs Claude Code on PRs and issues to answer questions, review changes, and implement code edits.

zufuliu / notepad4

Notepad4 (Notepad2⨯2, Notepad2++) is a light-weight Scintilla based text editor for Windows with syntax highlighting, code folding, auto-completion and API list for many programming languages and documents, bundled with file browser plugin matepath.

liandu2024 / Open-Box

Open-Box is an all-in-one transparent proxy for OpenWrt, Debian/Ubuntu and Docker, with a closed-source core and a companion client app.

0x23 / MicroManipulatorStepper

A sub-micrometer 3D motion control plattform.

lycorp-jp / sim-use

Give your AI agent eyes and hands on iOS Simulator and Android emulator/devices.

techjarves / Uncensored-Local-AI-Multiplatform

A cross-platform Flutter app that runs uncensored, 100% offline open-source AI models (GGUF) directly on your Android, iOS, or PC. No cloud, no filters, total privacy.

InlitX / streak

Minimal, private, ad-free habit tracker built with Flutter — track habits, build streaks, all offline.

cvpr-org / author-kit

—

wangzhishou / OneBox

Android app combining an AI agent that runs 90+ built-in tools with image, document, productivity and daily utility tools.

iliasHDZ / Bismuth

Optimization mod for Geometry Dash

billryan / resume

An elegant \LaTeX\ résumé template. 大陆镜像 https://gods.coding.net/p/resume/git

greenshot / greenshot

Greenshot for Windows - for more information look here:

IceWhaleTech / ZimaOS

A Simplified, Focused and Open NAS OS_

Trixarian / NetherSX2-patch

Continuation of NetherSX2 based on AetherSX2 4248

PatchMon / PatchMon

Linux Patch Management & Automation Platform

xenodium / agent-shell

Brings your favorite AI agents to Emacs, keeping you at home: familiar buffers and bindings, no terminal emulation. Powered by ACP.

freeCodeCamp / devdocs

API Documentation Browser

HuLaSpark / HuLa

🍀 A cross-platform instant messaging desktop application with exceptional performance built on Rust + Vue3, compatible with Windows, macOS, Linux, Android, and iOS（一款基于Rust+Vue3极致性能的跨平台即时通讯桌面应用，兼容Windows、MacOS、Linux、Android、IOS）

matlab / matlab-agentic-toolkit

The MATLAB Agentic Toolkit brings proven MATLAB capabilities to AI agents, making engineering and scientific workflows agent-ready.

doomemacs / core

An Emacs framework for the stubborn martian hacker

pipipi-pikachu / PPTist

PowerPoint-ist（/'pauəpɔintist/）, An online presentation application that replicates most of the commonly used features of MS PowerPoint, allowing for the editing and presentation of PPT online. It also supports AIPPT and local PPTX file preview.

isocpp / CppCoreGuidelines

The C++ Core Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in C++

PrivateBin / PrivateBin

A minimalist, open source online pastebin where the server has zero knowledge of pasted data. Data is encrypted/decrypted in the browser using 256 bits AES.

opengrep / opengrep

🔎 Static code analysis engine to find security issues in code.

ryanoasis / nerd-fonts

Iconic font aggregator, collection, & patcher. 3,600+ icons, 50+ patched fonts: Hack, Source Code Pro, more. Glyph collections: Font Awesome, Material Design Icons, Octicons, & more

juspay / hyperswitch

Open-source, self-hostable payments infrastructure in Rust that connects to many payment processors and offers routing, vault, and reconciliation modules.

XTLS / Xray-core

Xray-core is a Go network proxy platform implementing VLESS, VMess, Trojan, Shadowsocks and the REALITY transport.

VSCodium / vscodium

binary releases of VS Code without MS branding/telemetry/licensing

kestra-io / kestra

Open-source event-driven orchestration platform for scheduling and running data, AI, and infrastructure workflows defined in YAML.

mozilla-ai / llamafile

Packages LLMs and a whisper-based speech-to-text tool into single executable files that run locally without installation.

google-ai-edge / gallery

Android/iOS/macOS app for trying open LLMs and on-device ML/GenAI features like chat, image Q&A, and audio transcription offline.

argoproj / argo-cd

Declarative Continuous Deployment for Kubernetes

krayin / laravel-crm

Krayin CRM is Free & Open Source CRM Built with Laravel for Customer, Lead, and Sales Management.

dream-num / univer

Open-source TypeScript SDK for embedding spreadsheet, document, presentation, and table editing into your own applications.

p0deje / Maccy

Lightweight clipboard manager for macOS

NirDiamant / agents-towards-production

Code-first Jupyter tutorials for building and deploying production-grade GenAI agents, from prototype to enterprise deployment.

xiaolai / the-craft-of-selfteaching

A Chinese-language book by Li Xiaolai teaching self-learning skills through a Python programming curriculum, delivered as Jupyter notebooks.

OpenRA / OpenRA

Open-source real-time strategy engine that runs early Westwood classics like Command & Conquer: Red Alert on modern systems.

google / ax

Declarative Kubernetes-style orchestrator that runs sandboxed autonomous agent tasks on Agent Substrate, with workspaces and model specs.

objective-see / LuLu

LuLu is the free open-source macOS firewall

langchain4j / langchain4j

LangChain4j is an idiomatic, open-source Java library for building LLM-powered applications on the JVM. It offers a unified API over popular LLM providers and vector stores, and makes implementing tool calling (including MCP support), agents and RAG easy. It integrates seamlessly with enterprise Java frameworks like Quarkus and Spring Boot.

Pumpkin-MC / Pumpkin

A Minecraft server written in Rust, supporting Java and Bedrock editions with a plugin API.

ankidroid / Anki-Android

Android app for studying Anki spaced-repetition flashcards, an official port of the Anki system.

facebookresearch / dinov3

Reference PyTorch implementation and models for DINOv3