Packages

Toolchain and emulator for the LC-3 architecture

Create cabinet (.cab) archives

Program for calculating with L-functions

Utilities for manipulating OpenType, PostScript Type 1, and Multiple Master fonts

Client/server suite for controlling a wide variety of LCD devices

Lambda calculus interpreter

Lightweight Communications and Marshalling (LCM)

Color management engine

Color management engine

Code coverage tool that enhances GNU gcov

Librecast RaptorQ library

Librecast File and Syncing Tool

The classic linker for Darwin

AOSP libldac dispatcher

Active Directory information dumper via LDAP

Tool to monitor creation, deletion and changes to LDAP objects

Tool to anonymously bruteforce usernames from Domain controllers

Interactive LDAP client for Unix terminals

LDAP-like embedded database

LLVM-based D compiler

In-depth LDAP enumeration utility

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