KAYOKG / BibliotecaDev
📚 Biblioteca de livros essenciais da área da programação.
KAYOKG / BibliotecaDev
silverbulletmd / silverbullet
The malleable knowledge base for you and your team. Powered by Markdown and Lua.
horsicq / Detect-It-Easy
Program for determining types of files for Windows, Linux and MacOS.
akfamily / aktools
HTTP API and MCP server for AKShare: fetch financial data from any programming language or AI assistant (Claude, Cursor)
openscad / openscad
OpenSCAD - The Programmers Solid 3D CAD Modeller
Millillion / lasm
Lean for JavaScript and WebAssembly runtimes
plandex-ai / plandex
Open source AI coding agent. Designed for large projects and real world tasks.
odin-lang / Odin
Odin Programming Language
IridiumIO / CompactGUI
Reduce the space taken up by games and programs on disk by using native Windows APIs
jacob-bd / gemini-notebook-mcp-cli
Programmatic access to Gemini Notebook - via command-line interface (CLI), Model Context Protocol (MCP) server, and AI agent skills.
UCS-Care-Group / mailcraft
MailCraft: an open-source, clean-room mail, calendar and contacts program in pure Rust, for Microsoft 365, Outlook.com and IMAP. Early alpha.
AlistGo / alist
🗂️A file list/WebDAV program that supports multiple storages, powered by Gin and Solidjs. / 一个支持多存储的文件列表/WebDAV程序，使用 Gin 和 Solidjs。
AeneasVerif / aeneas
A verification toolchain for Rust programs
NethermindEth / LeanCIL
LeanCIL is a Lean 4 formal verification framework for .NET programs. It enables machine-checked proofs of correctness and safety against compiled Common Intermediate Language (CIL), supporting applications written in C#, F#, and other .NET languages.
josiahg2502-glitch / TomodachiLife-recomp
Static recompilation of Tomodachi Life: Living the Dream to a native Windows program: tools and runtime only, bring your own dump
wlk666888 / huolema
火了吗？｜独立作品发现平台。免费发布网站、AI 工具和微信小程序，支持分类发现、项目详情、曝光统计、每周名人堂与作者竞价展示。
youngyangyang04 / leetcode-master
《代码随想录》LeetCode 刷题攻略：200道经典题目刷题顺序，共60w字的详细图解，视频难点剖析，50余张思维导图，支持C++，Java，Python，Go，JavaScript等多语言版本，从此算法学习不再迷茫！🔥🔥 来看看，你会发现相见恨晚！🚀
midudev / libros-programacion-gratis
📚 Lista de libros sobre programación en Español y gratis
plutov / practice-go
Practice Go: a collection of Go programming challenges
NVIDIA-NeMo / Guardrails
NeMo Guardrails is an open-source toolkit for easily adding programmable guardrails to LLM-based conversational systems.
Ruben2776 / PicView
Fast, free and customizable picture viewer
reanimate / reanimate
Haskell library for building declarative animations based on SVG graphics
pugarte7 / spanish-top-tech-companies
Salario de programador en España: cuánto gana un programador en cada empresa tech, por rol, ciudad y experiencia, y un MCP que busca ofertas y aplica por ti. Software engineer and developer salary in Spain.
TurboAuroracomet51520 / Adobe-Video-Toolkit-rpocket
With Premiere Pro, users gain access to a powerful video editor that simplifies the editing process. The solution provides a comprehensive offline installer along with features that ensure effective video production
tywr / Nordwand-Mono
A compact monospace neo-grotesque font designed for developers (and adventurers).
Gentleman-Programming / gentle-dot
A personal assistant that lives on your desktop, remembers what matters, and can use your Mac for you.
ytdl-org / youtube-dl
Command-line program to download videos from YouTube.com and other video sites
model-checking / kani
A model checker for Rust programs.
Graphicle-AI / graphicle
Code graph and memory for your coding agents, in one Rust program. For Claude Code, Codex, Cursor and any MCP client.
HuiTurn / HowToLiveBetter
人生指南库 · 高性价比人生指南小程序版；收录《高性价比人生指南》772 条循证建议，《人情世故指南》640条 ，《高性价比留学指南》《人间防骗指南》《人生进阶指南》《高性价比职场指南》支持全文搜索、收藏、离线阅读、每日一读
kIieret / facebookresearch-ProgramBench
Can Language Models Rebuild Programs From Scratch?
termux / termux-api
Termux add-on app which exposes device functionality as API to command line programs.
yctimlin / mcp_excalidraw
MCP server and Claude Code skill for Excalidraw — programmatic canvas toolkit to create, edit, and export diagrams via AI agents with real-time canvas sync.
Aka-Weiss / Tirando-defeito-programado-do-celular
Guia e prompt para diagnosticar, deixar mais privado e limpar um celular Android por ADB, sem root. Testado no Galaxy S22.
kunal-kushwaha / DSA-Bootcamp-Java
This repository consists of the code samples, assignments, and notes for the Java data structures & algorithms + interview preparation bootcamp of WeMakeDevs.
rust-lang / book
The Rust Programming Language
Abyssalasteroidcore / resocket-SINO-OS
SINO OS：使用 GPT-6 经过上百轮对话迭代生成与完善的 32 位 x86 操作系统，包含图形桌面、中文拼音输入和 SysBASIC 可视化 IDE。 Generated and refined through 100+ rounds with GPT-6.
BelowGalacticloop / respocket-execc2
Respocket is a lightweight Lua scripting environment designed for script development, testing, and debugging. It offers a rich set of features, stable performance, and an intuitive interface, making it suitable for both beginners and experienced programmers.
modular / modular
The Modular Platform (includes MAX & Mojo)
NixOS / nix
Nix, the purely functional package manager
google / or-tools
Google's Operations Research tools:
CalcProgrammer1 / OpenRGB
Open source RGB lighting control that doesn't depend on manufacturer software. Supports Windows, Linux, MacOS. Mirror of https://gitlab.com/CalcProgrammer1/OpenRGB. Releases can be found on GitLab.
FIRST-Tech-Challenge / FtcRobotController
FTC Android Studio Workspace for robot programming in Android Studio
RxNaison / Epson-Waste-Reset
A free, native, and completely open-source utility to reset the "Waste Ink Pad" counter on Epson printers
josevalim / lynx
Proofs for Erlang/Elixir programs through LEAN (via automatic translation of Core Erlang)
Stormettenebula / Youtube-resocket-viewbot
🦊 Fast views botter based on proxies
sunface / rust-course
什么？你敢放心的把后背交给 AI? 我赌你不敢，那就来学学 AI 时代最酷、最安全、最快的语言吧。本书拥有全面且深入的讲解、生动贴切的示例、德芙般丝滑的内容，这可能是目前最用心的 Rust 中文学习教程 / Book
lionsoul2014 / ip2region
Ip2region is an offline IP-to-Region localization library and IP data management framework with both IPv4 and IPv6 supports, 10-microsecond level query efficiency, xdb search client for many programming languages
iptv-org / epg
Utilities for downloading the EPG (Electronic Program Guide) for thousands of TV channels from hundreds of sources.
ivov / lisette
A little language inspired by Rust that compiles to Go
ViaZenithHonest / rpocket-lighter
A Löve light/shadow library
NobleVexking / WarZone-resp-Dominator
Dominator est le cheat externe ultime pour Call of Duty: Warzone 4.0 (Saison 5)
SalvationuraHawk / AL-YOUTUBE-resocket
AL-YOUTUBE!! is a simple yet powerful application for downloading music from YouTube. This program uses **yt-dlp** to download audio files and provides a fast and easy experience for users.
kilimchoi / engineering-blogs
A curated list of engineering blogs
LibreCAD / LibreCAD
LibreCAD is a cross-platform 2D CAD program. It can read DXF/DWG, and write DXF/DWG/PDF/SVG files. It supports point/line/circle/ellipse/parabola/hyperbola/spline primitives. The GUI is highly customizable, and has dozens of translations.
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
baldurk / renderdoc
RenderDoc is a stand-alone graphics debugging tool.
BoundaryML / baml
The programming language for agents
ahatem / IoskeleyMono
An open programming typeface built on Iosevka. Compact, geometric, and tuned for editors and terminals.
negarprh / Canadian-Tech-Internships-2027
A curated, regularly updated list of Canadian tech internships for Summer, Fall, and Winter 2027. Includes computer science, software engineering, software development, data, and IT internships across major Canadian cities and remote roles, with verified opportunities for students studying in Canada.