Apps

Copilot Chat extension for VS Code. Contribute to microsoft/vscode-copilot-chat development by creating an account on GitHub.

VSCode extension "Maven for Java"

Rocq is a general-purpose, industrial-strength interactive theorem prover.

Godot development tools for VSCode. Contribute to godotengine/godot-vscode-plugin development by creating an account on GitHub.

The Svelte Language Server, and official extensions which use it - sveltejs/language-tools

SQLite & SQL Server Compact Toolbox extension for Visual Studio, SSMS (and stand alone) - ErikEJ/SqlCeToolbox

Visual Assist for Visual Studio is a productivity tool for refactoring, reading, writing, navigating and generating C/C++/C# code. Try it for free.

Lightweight coding agent that runs in your terminal - openai/codex

AGENTS.md is a simple, open format for guiding coding agents. Think of it as a README for agents.

A fast file searching tool for macOS. Contribute to ldm0/cardinal development by creating an account on GitHub.

Puertos del Estado

A simple and lightweight app for running Windows games using UMU-Launcher - Faugus/faugus-launcher

WebAssembly (abbreviated Wasm) is a binary instruction format for a stack-based virtual machine. Wasm is designed as a portable compilation target for programming languages, enabling deployment on the web for client and server applications.

A fully-featured, simple to set up, performant and extendable server

Object oriented web framework for Kotlin/JS

Perfect will simplify your coding by using Swift for all of your server-side and client-side apps.

Actix Web is a powerful, pragmatic, and extremely fast web framework for Rust

"Immersive Translate" provides next-generation AI translation services, integrating over 20 top-tier AI translation engines worldwide, such as OpenAI (ChatGPT), DeepL, Deepseek, and Gemini. It empowers you to break down language barriers and achieve a more accurate and fluent translation experience in various scenarios. This includes bilingual website translation, translation of various document formats, academic paper and PDF translation, online video subtitle translation for YouTube/Netflix, EPUB e-book translation, cross-language meeting translation for Zoom/Google Meet/Microsoft Teams, as well as manga and image translation. It supports major browsers like Chrome, Edge, Firefox, and Safari, and is available for installation on both mobile and desktop devices. It supports mutual translation of hundreds of languages including Chinese, English, Japanese, Korean, French, German, Russian, Spanish, Portuguese, Vietnamese, Indonesian, Italian, Dutch, Thai, and more.

Quantower is a multi-asset, broker-neutral trading platform for analysis, manual and automated trading on various markets.

Android app that allows sharing some plain text as a QR code - mikulash/ShareAsQR

Save files locally via the share menu. Contribute to MateusRodCosta/SaveLocally development by creating an account on GitHub.