Packages

Link Identity Editor

Put real or fake signatures in a Mach-O binary

Lightweight device mounter, with libudev as only dependency

Tool and library for managing Microsoft Windows Dynamic Disks

Gamedriver for LPMuds including a LPC compiler, interpreter and runtime

Gamedriver for LPMuds including a LPC compiler, interpreter and runtime

Library with the aim of simplifying DNS programming in C

Linker Proxy: a simple tool to forward linker arguments to the actual linker executable

Modern, lightweight and efficient 2D level editor

Simple system fetch written in rust

Implementation of a store & forward NNTP proxy, under development

Implementation of a store & forward NNTP proxy, stable release

Notepad clone for GTK 2.0

Revival of an old classic, Alternate Gothic #1

Font Collection by The League of Moveable Type

Modern, coquettish script font

Fantastic new revival of ATF's classic Spartan, a geometric sans-serif that has no problem kicking…

Automatic and interactive theorem prover

Automatic and interactive theorem prover (version with HoTT support)

Automatic and interactive theorem prover

This plasTeX plugin allowing to write blueprints for Lean 4 projects

Lightweight lossless file minifier/optimizer

Pair programming tool and library written in Golang

Collection of C++ and CMake utility libraries

Double-entry accounting system with a command-line reporting interface

Using Ledger as hardware-based SSH/PGP agent

Using Ledger as hardware-based SSH/PGP agent

OFX/CSV autosync for ledger and hledger

App for Ledger hardware wallets

Udev rules for Ledger devices

Ledger to Beancount text-based converter

Web frontend to the Ledger CLI tool

Line editor, allowing to use shell commands with control characters like in emacs

Enclosure LED Utilities

CLI frontend to the poppler-glib library of PDF tools

Go engine modeled after AlphaGo Zero

May the code be with you 👻

A command-line tool for LeetCode

Memory patcher which adds the gore back into Left 4 Dead 2

Fast and powerful Git hooks manager for any type of projects

Tiling window manager for the adventurer

Little satellite utility for LeftWM

Theme manager for LeftWM

Multiprotocol credentials bruteforcer / password sprayer and enumerator

Free and open-source Epic Games Launcher alternative

Git for Humans, Inspired by GitHub for Mac

Web frontend for git

Tool to detect and remediate misconfigurations and security risks of GitHub assets

Let's Encrypt client and ACME library written in Go

Project automation for Clojure

Static content management system

Tool to identify anything

XML Language Server

CLI for generating vim help docs from emmylua comments

🐀 Building a federated alternative to reddit in rust

Building a federated alternative to reddit in rust

LALR(1) parser generator

Efficient library for combinatorial optimization tasks on graphs and networks

Remote utility tool that to copy, paste and open browsers over TCP

Lightweight xcb based bar

Lightweight xcb based bar with XFT-support

Customizable TUI display/login manager written in Rust

LenMus Phonascus is a program for learning music

Utility to control Lenovo Legion laptop

Web service that allows you to share notes anonymously, an alternative to pastebin.com

Kubernetes IDE

Opensource database of photographic lenses and their characteristics

A powerful folding editor

High-performance typed higher order prover

Automated theorem prover for classical higher-order logic with choice

CAD program for creating virtual LEGO models

Lepton Electronic Design Automation

Tool to losslessly compress JPEGs

Image processing and analysis library

Formatter for the leptos view!

C++ library for Limited Error Raster Compression

Curses RPN calculator written in straight Python

Programming language agnostic view layer for creating desktop widgets and status bars

More advanced file pager than 'more'

Leaner CSS

Python LESS Compiler

Stateless password manager

Preprocessor for less

Open source clone of the Motif widget set

Tool to wipe drives in a secure way

Create beautiful ASCII art

Open source templating and deployment tool for HashiCorp Nomad jobs

OneAPI Level Zero Specification Headers and Loader

Fast and lightweight key/value database library by Google

ANSI C implementations of Levenberg-Marquardt, usable also from C++

Variable font family designed to aid in reading proficiency

Lexical is a next-generation elixir language server

Terminal assistant, powered by Generative AI

CUPS drivers for Lexmark B2200 and MB2200 Series printers

Terminal file manager written in Go and heavily inspired by ranger

Polyglot coordination language

Best of Erlang and of Lisp; at the same time!

File transfer program supporting a number of network protocols

Tetris clone from the LGames series

Unofficial downloader to GOG.com for Linux users