Coq is a formal proof management system.
DetailsA user-frandly translation tool for PDF reading. It automaticly removes line breaks from the text you copied and then display the translation result.
DetailsBiochemical System Simulator
Detailsgithub加速神器，解决github打不开、用户头像无法加载、releases无法上传下载、git-clone、git-pull、git-push失败等问题。
DetailsA GUI implementation for FutureRestore written in Java.
Detailsvistrax is the smart software solution for professional visitor management in real time.
Detailspause game and resume any time easily ； 轻松暂停游戏，释放 CPU
DetailsChibi for AniList - A lightweight anime & manga tracker CLI app powered by AniList.
DetailsA Lean Snippet Manager
DetailsA cross-platform TUI for managing Azure Service Bus
DetailsA feature-packed, intuitive alternate bootstrapper for Roblox.
DetailsWhen an emergency happens, you need instant access to your safety resources, which is why CrisisGo is available on smartphones, tablets, laptops, PCs, and MACs. Having CrisisGo on every device means you are always covered.
DetailsCollect and process observability data at the edge
DetailsTUI for Jujutsu/jj. Built in Rust with Ratatui. Interacts with jj CLI.
DetailsWireless conferencing with compatible Crestron AirMedia Series 3 receivers.
DetailsOBD Auto Doctor provides car diagnostics for everyone by using an Onboard Diagnostics (OBD2) adapter (need to be bought separately) connected to any car (made since 1996).
DetailsOpenAL is a cross-platform 3D audio API appropriate for use with gaming applications and many other types of audio applications.
DetailsConfiguration profiles manager and scheduler for restic backup
DetailsAllows direct printing from Gamma, our web application, to ZEBRA printers, eliminating the need for certificates or network proxies for simplified label and document printing.
DetailsEnables video editing teams to manage tasks through a standalone app and Adobe Premiere Pro extension, with organized file management, detailed markings, and built-in quality checks for post-production.
DetailsDesigned for smooth image and video capture and transfer, with optional Capture One integration. Includes tools for cropping, annotation, and style guide alignment.
DetailsIntegrates with Photoshop to let retouchers select tasks, open files directly, and access delivery specs, annotations, and reference files for precise retouching.
DetailsBlock spying and tracking on Windows systems.
DetailsWindows 轻量级命令行启动器 · 在常用项目目录间快速切换并打开终端
DetailsInstaller for Crazybump.
DetailsSource code spell checker
DetailsPython powered key customization tool
DetailsThe world’s most-loved sign making and vinyl cutting software, developed to perfectly match your vinyl cutter and cutting plotter.
DetailsFree, open-source time keeping for live events
DetailspowerMAX is a CPU and GPU burn-in test. It is aimed to maximize the power dissipation and the temperature of these two components.
DetailsThe Missing Editor for Competitive Programmers
DetailsFile Synchronisation for Cozy on Desktop and Laptop.
DetailsA cross platform matrix rain made with Rust.
DetailsThis project envisions a metaverse of virtual content possibilities, all set in the alternate universe of “Holoearth.”
DetailsRelay for Coupang Eats Online Order System
DetailsAdvanced log message viewer for log4net, log4j and others
DetailsCouchbase Server is a simple, fast, elastic, open-source NoSQL database.
DetailsCouchbase is a document-oriented NoSQL database
DetailsMonte Carlo eXtreme (MCX) - Physically accurate and validated GPU ray-tracer
DetailsRMC Convectiva Setup
DetailsAI-powered clipboard
DetailsFree and open source advanced weather radar viewer.
DetailsFirefly Luciferin bias lighting and ambient light system
DetailsA fast, keyboard-first file manager for Windows.
DetailsEarTrumpet is a powerful volume control app for Windows
DetailsA "batteries-included" distribution of ImageJ
DetailsThis is a mod manager for Hollow Knight aimed at making the process of installing mods easier for users.
DetailsHosts file manager based on Electron.
DetailsFast and effective C++ file optimizer.
DetailsA fast web fuzzer written in Go.
DetailsMelodie is a portable, simple-as-pie music player
DetailsA new age editor for academics who seek freedom and people with cryptography needs in rich text environments.
DetailsMounts remote storage as a local hard disk by FTP protocol
DetailsFree 3D asset tool for indie game developers
DetailsA minimal LLM chat app that runs entirely in your browser
DetailsA simple CLI tool to mannage platforms for git repositories
DetailsA simple program to enter Unicode characters on Microsoft Windows.
DetailsA simple CLI tool written in Rust for easily converting between various image formats. (SVG to PNG) (PNG to JPEG) (JPEG to png) (SVG to PNG custom size)
DetailsOrganize documents with tags
Detailsobs-studio plugin to simulate a directshow webcam
Details