Showing entries 10901-11000 out of 25114.
Librecast RaptorQ library
Librecast File and Syncing Tool
Characterization tool for CMOS digital standard-cells
Audit module that modifies ld.so library search behavior
Classic linker for Darwin
Sony LDAC Bluetooth decoder library (from AOSP via open-vela)
Web frontend that allows users to administrate their LDAP users
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
This is a TUI for hledger to show a nice dashboard
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
Implementation of a store & forward NNTP proxy, stable release
Revival of an old classic, Alternate Gothic #1
Monospace/variable font fun
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
MCP server for the Lean theorem prover via the Lean LSP
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
Lean 4 .olean file (de)compressor
Lightweight lossless file minifier/optimizer
Pair programming tool and library written in Golang
Modern 6502 Assembly Learning Environment for GNOME
Collection of C++ and CMake utility libraries
A text-mode disk usage visualization utility
LED controller for the Fnatic miniStreak and Fnatic Streak keyboards
Network based LED effect controller with support for advanced real-time audio effects
Double-entry accounting system with a command-line reporting interface
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
Game to practice your Helix editor skills with code challenges
Leetcode CLI utility
Command-line tool for LeetCode
Run CUDA kernels from your terminal
Spaced repetition CLI for DSA and 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
Lightweight, alternative desktop client for Discord
Free and open-source Epic Games Launcher alternative
Free-to-play MMORPG
Multi-platform, open source, legends viewer for dwarf fortress 0.47 written in go
Recreates Dwarf Fortress' Legends Mode from exported files
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
High Performance I/O and sensor/actuator control for robotics and IoT applications
Tool to identify anything
XML Language Server
CLI for generating vim help docs from emmylua comments
Federated link aggregator and forum
Web frontend for a federated link aggregator
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
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
Lightweight security threat scanner intended to make malware detection more accessible and efficie…
Powerful folding editor
Functional, statically-typed programming language built for writing private applications
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