Awesome Programs/Packages

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

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

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

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

The fully customisable start menu replacement

Lemonade is a remote utility tool. (copy, paste and open browser) over TCP.

Lenovo AI Meeting Manager is an intelligent office voice assistant for Windows PC, featuring various AI functions such as real-time voice

Lenovo Voice Assistant is an intelligent voice assistant for Windows, featuring various AI functions such as simultaneous translation, voice input,

Lenovo Browser (formerly known as Smart Lenovo Browser) is a unique and high-performance browser produced by Lenovo. It is developed based on

Lenovo Service Bridge identifies your devices Service Tag, analyzes hardware problems, runs diagnostic tests, and scans for driver updates.

A GUI for the great HeadsetControl.

a CXML de/compiler for VITA & PS4 CXML formats

DVD Decrypt Utility

Save Editor and Converter for Worms 4: Mayhem

RGB and fan control in one go

Clash Nyanpasu～(∠・ω< )⌒☆​ A Clash GUI based on tauri.

LibrePCB is a free, cross-platform, easy-to-use electronic design automation suite to draw schematics and design printed circuit boards – for makers,

This is a command line interface for LibreSpeed speed test backends, written in Go. For use when you donø't have a GUI on the client you want to test

Supercharge your next focus session

Keep connected whether your business is in-person, remote, or hybrid with Lifesize.

Experience the world's first true RTS gameplay in this epic strategy game featuring unrivaled degrees of freedom.

Dislyte is a stylish urban mythological RPG with striking visuals and outstanding characters. Be with Espers, get ready for the futuristic myth.

Line 6 Central is the new Line 6 device management platform. The modern user interface in Line 6 Central brings a simple and clear experience for