AhmadHassan-BTed / OpenHeart
Succinct Compositional Program Graph (SCPG) static analysis engine & 14-diagram UML generator in Rust.
AhmadHassan-BTed / OpenHeart
open-wxa / wxa-runner
在浏览器中用微信官方基础库运行小程序，支持 Chrome DevTools 调试与 Playwright E2E 测试
ChrisTitusTech / winutil
Chris Titus Tech's Windows Utility - Install Programs, Tweaks, Fixes, and Updates
rust-lang / rust
Empowering everyone to build reliable and efficient software.
changhaoting1998-star / manufacturing-wechat-miniapp-starter
Privacy-first WeChat Mini Program starter for manufacturing employee self-service and auditable MES integration.
Ditchfarecover75 / adobe-audition
Advanced Audio Workbench 2023 complete standalone setup. Pre-activated desktop edition with secure digital asset deployment pipeline.
indexable-inc / blaze
Incremental rust builds up to 92x faster than cargo/rustc
syncthing / syncthing
Open Source Continuous File Synchronization
python / cpython
The Python programming language
aoguai / LiYing
LiYing is an automated photo processing program designed for automating the post-processing workflow of ID photos in general photo studios. | LiYing 是一套适用于自动化 完成一般照相馆后期证件照处理流程的照片自动处理的程序。
bendlang / bend
Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh
ankitects / anki
Anki is a smart spaced repetition flashcard program
golang / go
The Go programming language
GyulyVGC / sniffnet
Comfortably monitor your network traffic 🕵️♂️
YunaiV / ruoyi-vue-pro
🔥 官方推荐 🔥 RuoYi-Vue 全新 Pro 版本，优化重构所有功能。基于 Spring Boot + MyBatis Plus + Vue & Element 实现的后台管理系统 + 微信小程序，支持 RBAC 动态权限、数据权限、SaaS 多租户、Flowable 工作流、三方登录、支付、短信、商城、CRM、ERP、MES、IM、AI 大模型、IoT 物联网等功能。你的 ⭐️ Star ⭐️，是作者生发的动力！
leanprover / lean4
Lean 4 programming language and theorem prover
restic / restic
Fast, secure, efficient backup program
x64dbg / x64dbg
An open-source user mode debugger for Windows. Optimized for reverse engineering and malware analysis.
0xS4N4TG / kinetograph
A blazingly fast programmatic video engine, made for agents.
zklmiao / CodeWar
网页端 Python 编程对抗游戏：解题速度即战斗力 · A turn-based competitive Python programming game
manaflow-ai / cmux
Open source Ghostty-based macOS terminal with vertical tabs and notifications for AI coding agents. Built for multitasking, organization, and programmability.
dubinc / dub.link
The modern link attribution platform. Loved by world-class engineering teams at Twilio, Zillow, Jobber, Vercel, Raycast, and more.
WerWolv / ImHex
🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.
SpriteOvO / AirPodsDesktop
☄️ AirPods desktop user experience enhancement program, for Windows and Linux (WIP)
claration / feather
Free on-device iOS/iPadOS application manager/installer, using certificates part of the Apple Developer Program.
OpenSmash-Ultimate / ssbu-recomp
Static recompilation of Super Smash Bros. Ultimate 13.0.4 to a native Windows program: tools and runtime only, bring your own dump
EpicGames / raddebugger
A native, user-mode, multi-process, graphical debugger.
ryderclanky / BotW-Native
Breath of the Wild (Wii U, v1.5.0) statically recompiled to a native Windows program with a Vulkan renderer.
tractordev / webframe
Run a web page like a program
Millillion / lasm
Lean for JavaScript and WebAssembly runtimes
IridiumIO / CompactGUI
Reduce the space taken up by games and programs on disk by using native Windows APIs
AeneasVerif / aeneas
A verification toolchain for Rust programs
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
termux / termux-api
Termux add-on app which exposes device functionality as API to command line programs.
RxNaison / Epson-Waste-Reset
A free, native, and completely open-source utility to reset the "Waste Ink Pad" counter on Epson printers
iptv-org / epg
Utilities for downloading the EPG (Electronic Program Guide) for thousands of TV channels from hundreds of sources.
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
wux1an / wxapkg
跨平台微信小程序反编译 GUI 工具，.wxapkg 文件扫描 + 解密 + 解包工具
lichess-org / lila
♞ lichess.org: the forever free, adless and open source chess server ♞
otya128 / winevdm
16-bit Windows (Windows 1.x, 2.x, 3.0, 3.1, etc.) on 64-bit Windows
MeanderingProgrammer / render-markdown.nvim
Improve viewing Markdown in Neovim
neurocyte / flow
Flow Control: a programmer's text editor
grafana / alloy
OpenTelemetry Collector distribution with programmable pipelines
JuliaLang / julia
The Julia Programming Language
momo5502 / sogen
🪅 Windows & Linux userspace emulator
JetBrains / kotlin
The Kotlin Programming Language.
roc-lang / roc
A fast, friendly, functional language.
zigtools / zls
A language server for Zig supporting developers with features like autocomplete and goto definition
richiemcilroy / Tov
A TypeScript-shaped language built for coding agents. It compiles to small, fast native binaries.
swiftlang / swift
The Swift Programming Language
dart-lang / sdk
The Dart SDK, including the VM, JS and Wasm compilers, analysis, core libraries, and more.
vlang / vinix
Vinix is an effort to write a modern, fast, and useful operating system in the V programming language
matz / spinel
Ruby AOT compiler
AlDanial / cloc
cloc counts blank lines, comment lines, and physical lines of source code in many programming languages.
SalamLang / Salam
Salam is a general-purpose and systems programming language designed for efficient software development, featuring a built-in domain-specific language. https://www.salamlang.ir
nim-lang / Nim
Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority).
elixir-lang / elixir
Simple from zero to scale
CatalaLang / catala
Programming language for literate programming law specification
agda / agda
Agda is a dependently typed programming language / interactive theorem prover.
if-not-nil / revo
a dynamic language for the joy of programming