7c6f434c Michael Raskin
github.com/7c6f434c · maintains 5,157 packages (377 directly), sole maintainer of 243, member of 2 teams
5,157 packages · page 50 of 52
| Package ▼ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
Multiple precision interval arithmetic library based on MPFR |
1.5.4 → 1.5.5 |
1 | 5 | 7 | 8 | single outdated | ||
Compression/decompression utility |
2022-03-19 |
3 | 4 | 0 | 0 | maintained | ||
Free distributed version control system |
1.1-unstable-2025-12-11 |
1 | 18 | 1 | 1 | single | ||
Monitoring system |
5.35.2 → 6.0.0 |
3 | 8 | 0 | 0 | maintained outdated | ||
ANSI Common Lisp Implementation |
1.1.11 |
5 | 6 | 0 | 0 | team-only | ||
Compact and readable SAT solver |
2.2.1 |
1 | 4 | 5 | 7 | single | ||
MIDI to Lilypond converter |
0.12 |
1 | 2 | 0 | 0 | single | ||
CLI email sending tool |
1.19 |
1 | 4 | 0 | 0 | single | ||
Library for matrix multiplication, reduction and inversion over GF(2^k) for 2 <= k <= 10 |
20250128 |
2 | 5 | 0 | 0 | team-only | ||
Library to do fast arithmetic with dense matrices over F_2 |
20260122 |
2 | 3 | 2 | 2 | team-only | ||
Tools to support Logical Volume Management (LVM) on Linux |
2.03.41 → 2.03.43 |
2 | 10 | 0 | 0 | maintained outdated | ||
Tools to support Logical Volume Management (LVM) on Linux |
2.03.41 → 2.03.43 |
2 | 9 | 2 | 6 | maintained outdated | ||
Tools to support Logical Volume Management (LVM) on Linux |
2.03.41 → 2.03.43 |
2 | 9 | 58 | 4,264 | maintained outdated | ||
Package manager for Lua |
nix_v3.5.0-1-unstable-2026-03-31 → 3.13.0 |
2 | 13 | 1 | 1 | maintained outdated | ||
Package manager for Lua |
3.13.0 |
2 | 11 | 234 | 598 | maintained | ||
Package manager for Lua |
nix_v3.5.0-1-unstable-2026-03-31 |
2 | 13 | 0 | 0 | maintained | ||
Package manager for Lua |
3.13.0 |
2 | 11 | 194 | 199 | maintained | ||
Package manager for Lua |
nix_v3.5.0-1-unstable-2026-03-31 |
2 | 13 | 0 | 0 | maintained | ||
Package manager for Lua |
3.13.0 |
2 | 11 | 194 | 197 | maintained | ||
Package manager for Lua |
nix_v3.5.0-1-unstable-2026-03-31 |
2 | 13 | 0 | 0 | maintained | ||
Package manager for Lua |
3.13.0 |
2 | 11 | 194 | 201 | maintained | ||
Package manager for Lua |
nix_v3.5.0-1-unstable-2026-03-31 |
2 | 13 | 0 | 0 | maintained | ||
Package manager for Lua |
3.13.0 |
2 | 11 | 194 | 201 | maintained | ||
Package manager for Lua |
3.13.0 |
2 | 11 | 194 | 196 | maintained | ||
Package manager for Lua |
nix_v3.5.0-1-unstable-2026-03-31 |
2 | 13 | 0 | 0 | maintained | ||
Implementation of the reverse search algorithm for vertex enumeration/convex hull problems |
7.3 → 7.3a |
1 | 3 | 2 | 3 | single outdated | ||
Littlewood-Richardson calculator |
2.1 |
2 | 3 | 3 | 6 | team-only | ||
Lua-based 2D game engine/scripting language |
0.10.2 |
1 | 20 | 0 | 0 | single | ||
Lua-based 2D game engine/scripting language |
11.5 |
1 | 19 | 14 | 15 | single | ||
Classic version of a quick tactics game LiquidWar |
5.6.6 |
1 | 3 | 0 | 0 | single | ||
Quick tactics game |
0.6.3902 |
1 | 28 | 0 | 0 | single | ||
Tracepoint-based system tracing tool for Linux (with clients for other OSes) |
0.40.1 → 0.41.4 |
1 | 29 | 0 | 0 | single broken outdated | ||
Module allowing arbitrary ACPI calls; use case: hybrid video |
1.2.2-7.2.9 |
2 | 13 | 0 | 0 | maintained | ||
Tracepoint-based system tracing tool for Linux (with clients for other OSes) |
0.40.1 → 0.41.4 |
1 | 29 | 0 | 0 | single outdated | ||
Module allowing arbitrary ACPI calls; use case: hybrid video |
1.2.2-7.2.10 |
2 | 13 | 0 | 0 | maintained | ||
Tracepoint-based system tracing tool for Linux (with clients for other OSes) |
0.40.1 → 0.41.4 |
1 | 29 | 0 | 0 | single outdated | ||
Module allowing arbitrary ACPI calls; use case: hybrid video |
1.2.2-6.18.56 |
2 | 13 | 0 | 0 | maintained | ||
Tracepoint-based system tracing tool for Linux (with clients for other OSes) |
0.40.1 → 0.41.4 |
1 | 29 | 0 | 0 | single outdated | ||
Module allowing arbitrary ACPI calls; use case: hybrid video |
1.2.2-7.2.10 |
2 | 13 | 0 | 0 | maintained | ||
Tracepoint-based system tracing tool for Linux (with clients for other OSes) |
0.40.1 → 0.41.4 |
1 | 29 | 0 | 0 | single outdated | ||
Module allowing arbitrary ACPI calls; use case: hybrid video |
1.2.2-6.18.56 |
2 | 13 | 0 | 0 | maintained | ||
Tracepoint-based system tracing tool for Linux (with clients for other OSes) |
0.40.1 → 0.41.4 |
1 | 27 | 0 | 0 | single outdated | ||
Module allowing arbitrary ACPI calls; use case: hybrid video |
1.2.2-6.6.158 |
2 | 11 | 0 | 0 | maintained | ||
Tracepoint-based system tracing tool for Linux (with clients for other OSes) |
0.40.1 → 0.41.4 |
1 | 29 | 0 | 0 | single outdated | ||
Module allowing arbitrary ACPI calls; use case: hybrid video |
1.2.2-6.12.112 |
2 | 13 | 0 | 0 | maintained | ||
Tracepoint-based system tracing tool for Linux (with clients for other OSes) |
0.40.1 → 0.41.4 |
1 | 27 | 0 | 0 | single outdated | ||
Module allowing arbitrary ACPI calls; use case: hybrid video |
1.2.2-6.1.189 |
2 | 11 | 0 | 0 | maintained | ||
Fork of the defunct project CUnit, a unit testing framework |
5.5.13 |
3 | 3 | 1 | 22 | maintained | ||
Utilities library for Linphone |
5.5.13 |
3 | 6 | 10 | 21 | maintained | ||
Small browser with some graphics support |
2.30 |
1 | 17 | 0 | 0 | single | ||
City building game |
2.15.0 |
2 | 19 | 0 | 0 | maintained | ||
C++ library for exact, high-performance linear algebra |
1.7.1 |
2 | 8 | 0 | 0 | team-only | ||
Library that parses the file format of Zoner Callisto/Draw documents |
0.0.2 |
1 | 10 | 4 | 17 | single | ||
Real-mode x86 code emulator |
1.1 → 1.1.1 |
1 | 2 | 1 | 13 | single outdated | ||
VNC server library |
0.9.15 |
1 | 8 | 12 | 19 | single | ||
DXF file format library |
3.26.4 |
1 | 3 | 1 | 1 | single | ||
Base library for writing document import filters |
0.0.6 |
1 | 6 | 23 | 80 | single | ||
Comprehensive, professional-quality productivity suite, a variant of openoffice.org |
26.8.0.3 → 26.8.1.1 |
1 | 121 | 3 | 10 | single outdated | ||
Comprehensive, professional-quality productivity suite, a variant of openoffice.org |
26.8.0.3 → 26.8.1.1 |
1 | 124 | 1 | 1 | single outdated | ||
Comprehensive, professional-quality productivity suite, a variant of openoffice.org |
26.8.0.3 → 26.8.1.1 |
1 | 41 | 0 | 0 | single outdated | ||
Comprehensive, professional-quality productivity suite, a variant of openoffice.org |
25.04.9-4 |
1 | 120 | 1 | 1 | single | ||
Comprehensive, professional-quality productivity suite, a variant of openoffice.org |
26.8.0.3 → 26.8.1.1 |
1 | 20 | 4 | 7 | single outdated | ||
Library for real-time audio and video processing |
2.12.0 |
1 | 8 | 1 | 1 | single | ||
Library for real-time communications with async IO support and a complete SIP stack |
4.11.0 → 4.12.0 |
1 | 7 | 2 | 2 | single outdated | ||
GNU oSIP library, an implementation of the Session Initiation Protocol (SIP) |
5.3.2 |
1 | 2 | 1 | 1 | single | ||
Base library for generating ODF documents |
0.1.8 |
1 | 5 | 4 | 16 | single | ||
Import library for some old mac text documents |
0.3.23 |
1 | 9 | 3 | 15 | single | ||
MOD playing library |
0.8.9.0 |
1 | 3 | 33 | 2,690 | single | ||
Interface library to access tags for identifying languages |
0.6.8 |
1 | 13 | 5 | 18 | single | ||
Library to compute the homfly polynomial of knots and links |
1.04 |
2 | 5 | 0 | 0 | team-only | ||
Thin wrapper over POSIX syscalls and some replacement functionality |
0.5.1 |
1 | 4 | 2 | 34 | single | ||
Library for support of the Expert Witness Compression Format |
20231119 |
1 | 6 | 4 | 21 | single | ||
High-performance event loop/event model with lots of features |
4.33 |
1 | 3 | 176 | 69,051 | single | ||
Liberation Fonts, replacements for Times New Roman, Arial, and Courier New |
1.07.5 |
1 | 5 | 0 | 0 | single | ||
Liberation Fonts, replacements for Times New Roman, Arial, and Courier New |
2.1.5 |
1 | 6 | 8 | 75 | single | ||
Library for import of reflowable e-book formats |
0.1.3 → 0.1.4 |
1 | 11 | 3 | 15 | single outdated | ||
C++ library for computations on braid groups |
1.3.2 |
2 | 4 | 0 | 0 | team-only | ||
Library for semi-portable access to hardware-provided atomic memory update operations |
7.10.0 |
1 | 2 | 6 | 22 | single | ||
Automated theorem prover for classical higher-order logic with choice |
1.7.18 |
1 | 3 | 0 | 0 | single | ||
High-performance typed higher order prover |
1.7.0 |
1 | 6 | 0 | 0 | single | ||
Lambda calculus interpreter |
0.6 → 1.1 |
1 | 3 | 0 | 0 | single outdated | ||
Program for calculating with L-functions |
2.2.1 → 2.2.2 |
2 | 6 | 0 | 0 | team-only outdated | ||
Graphical IDE for the FreePascal language |
4.8-0 |
1 | 22 | 3 | 3 | single | ||
Graphical IDE for the FreePascal language |
4.8-0 |
1 | 22 | 1 | 1 | single | ||
Graphical IDE for the FreePascal language |
4.8-0 |
1 | 19 | 6 | 6 | single | ||
Interpreter of K, APL-like programming language |
20211225 |
1 | 2 | 0 | 0 | single | ||
Optimizes PDF/DJVU files for mobile e-readers (e.g. the Kindle) and smartphones |
2.55 |
1 | 14 | 0 | 0 | single | ||
High-level, high-performance, dynamic language for technical computing |
1.12.7 |
4 | 4 | 0 | 0 | maintained | ||
High-level, high-performance, dynamic language for technical computing |
1.11.9 |
4 | 4 | 0 | 0 | maintained | ||
High-level, high-performance, dynamic language for technical computing |
1.10.12 |
4 | 4 | 0 | 0 | maintained | ||
High-level, high-performance, dynamic language for technical computing |
1.13.1 |
4 | 4 | 0 | 0 | maintained | ||
Lightweight and flexible command-line JSON processor |
1.8.2 |
4 | 7 | 695 | 3,464 | maintained | ||
Java 3D viewer for chemical structures |
16.4.21 → 16.5.3 |
2 | 4 | 0 | 0 | team-only outdated | ||
J programming language, an ASCII-based APL successor |
9.7.1 |
1 | 4 | 0 | 0 | single | ||
Numeric sequence editor |
2.7.1 |
1 | 2 | 0 | 0 | single | ||
Automated first-order logic theorem prover |
3.9.2 |
1 | 11 | 0 | 0 | single | ||
Easy-to-use IPMI server management utility |
3.2.2 → 3.2.3 |
1 | 3 | 0 | 0 | single outdated | ||
Tool to find out the processes doing the most IO |
0.6 |
1 | 15 | 0 | 0 | single | ||
Disk I/O latency measuring tool |
1.3 |
1 | 2 | 0 | 0 | single | ||
Io programming language |
2019.05.22-alpha |
1 | 30 | 0 | 0 | single |