Awesome Programs/Packages

U+Works Messenger

SameBoy is an open source Game Boy (DMG) and Game Boy Color (CGB) emulator, written in portable C.

A tool to format C/C++/Java/JavaScript/JSON/Objective-C/Protobuf/C# code.

Language server for C/C++, by the LLVM project

Utility for mass-downloading LRC synced lyrics for your offline music library. LRCGET will scan every files in your chosen directory for music files, then and try to download lyrics to a LRC files having the same name and save them to the same directory as your music files.

Aftman, the prodigal sequel to Foreman

Unmatched financial coverage, news and actionable insights via a highly customised, open workflow solution.

Open Source software for chromatography, spectrometry and spectroscopy

Uncomplicated, modern HTTP server

LabyMod Launcher

O Web PKI é um componente para navegadores que permite o uso de certificados digitais em páginas web, normalmente para realizar assinaturas digitais ou autenticação de usuário.

QLog is an Amateur Radio logging application for Linux, Windows. It is based on the Qt framework and uses SQLite as database backend. QLogs aims to be as simple as possible, but to provide everything the operator expects from the log to be. This log is not currently focused on contests.

Sticky Password is a powerful yet simple password manager and digital vault

A delightful platform for full-stack web apps

Simple viewer for OpenEXR images with detailed metadata probing.

Lando is a powerful open-source local development tool that simplifies development environments and streamlines workflows with Docker-based containers.

The Attendant Console for Skype for Business.

An application for generating GCODE for Lasers

An online password manager and form filler that makes web browsing easier and more secure.

Lightweight cross-platform client, unifying games into a single, modern library

elan is a small tool for managing your installations of the Lean theorem prover. It places lean and lake binaries in your PATH that automatically select and, if necessary, download the Lean version described in your project's lean-toolchain file. You can also install, select, run, and uninstall Lean versions manually using the commands of the elan executable.

Lean is a functional programming language that makes it easy to write correct and maintainable code. You can also use Lean as an interactive theorem prover. Lean programming primarily involves defining types and functions. This allows your focus to remain on the problem domain and manipulating its data, rather than the details of programming. Lean has numerous features, including: - Type inference - First-class functions - Powerful data types - Pattern matching - Type classes - Extensible syntax - Hygienic macros - Dependent types - Metaprogramming framework - Multithreading - Verification: you can prove properties of your functions using Lean itself

Questionmark Secure is a locked-down browser designed to provide a secure environment in which to deliver high stakes assessments such as tests and exams.

For those of you who want to recreate a MacOS experience on your Windows machine, we have created ViPad.