7c6f434c Michael Raskin
github.com/7c6f434c · maintains 5,157 packages (377 directly), sole maintainer of 243, member of 2 teams
243 packages · page 2 of 3
| Package ▲ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
Unicode and globalization support library |
77.1 |
1 | 3 | 6 | 2,598 | single | ||
Algorithms for computing exact solutions to dense systems of linear equations over the integers |
1.0.5 |
1 | 5 | 0 | 0 | single | ||
Translation helper tool |
0.51.0 |
1 | 5 | 216 | 27,857 | single | ||
Io programming language |
2019.05.22-alpha |
1 | 30 | 0 | 0 | single | ||
Disk I/O latency measuring tool |
1.3 |
1 | 2 | 0 | 0 | single | ||
Tool to find out the processes doing the most IO |
0.6 |
1 | 15 | 0 | 0 | single | ||
Easy-to-use IPMI server management utility |
3.2.2 → 3.2.3 |
1 | 3 | 0 | 0 | single outdated | ||
Automated first-order logic theorem prover |
3.9.2 |
1 | 11 | 0 | 0 | single | ||
Numeric sequence editor |
2.7.1 |
1 | 2 | 0 | 0 | single | ||
J programming language, an ASCII-based APL successor |
9.7.1 |
1 | 4 | 0 | 0 | single | ||
Optimizes PDF/DJVU files for mobile e-readers (e.g. the Kindle) and smartphones |
2.55 |
1 | 14 | 0 | 0 | single | ||
Interpreter of K, APL-like programming language |
20211225 |
1 | 2 | 0 | 0 | single | ||
Graphical IDE for the FreePascal language |
4.8-0 |
1 | 19 | 6 | 6 | 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 | 22 | 3 | 3 | single | ||
Lambda calculus interpreter |
0.6 → 1.1 |
1 | 3 | 0 | 0 | single outdated | ||
High-performance typed higher order prover |
1.7.0 |
1 | 6 | 0 | 0 | single | ||
Automated theorem prover for classical higher-order logic with choice |
1.7.18 |
1 | 3 | 0 | 0 | single | ||
Library for semi-portable access to hardware-provided atomic memory update operations |
7.10.0 |
1 | 2 | 6 | 22 | single | ||
Library for import of reflowable e-book formats |
0.1.3 → 0.1.4 |
1 | 11 | 3 | 15 | single outdated | ||
Liberation Fonts, replacements for Times New Roman, Arial, and Courier New |
2.1.5 |
1 | 6 | 8 | 75 | single | ||
Liberation Fonts, replacements for Times New Roman, Arial, and Courier New |
1.07.5 |
1 | 5 | 0 | 0 | single | ||
High-performance event loop/event model with lots of features |
4.33 |
1 | 3 | 176 | 68,982 | single | ||
Library for support of the Expert Witness Compression Format |
20231119 |
1 | 6 | 4 | 21 | single | ||
Thin wrapper over POSIX syscalls and some replacement functionality |
0.5.1 |
1 | 4 | 2 | 34 | single | ||
Interface library to access tags for identifying languages |
0.6.8 |
1 | 13 | 5 | 18 | single | ||
MOD playing library |
0.8.9.0 |
1 | 3 | 33 | 2,687 | single | ||
Import library for some old mac text documents |
0.3.23 |
1 | 9 | 3 | 15 | single | ||
Base library for generating ODF documents |
0.1.8 |
1 | 5 | 4 | 16 | single | ||
GNU oSIP library, an implementation of the Session Initiation Protocol (SIP) |
5.3.2 |
1 | 2 | 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 | ||
Library for real-time audio and video processing |
2.12.0 |
1 | 8 | 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 | ||
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 | 41 | 0 | 0 | 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 | 121 | 3 | 10 | single outdated | ||
Base library for writing document import filters |
0.0.6 |
1 | 6 | 23 | 80 | single | ||
DXF file format library |
3.26.4 |
1 | 3 | 1 | 1 | single | ||
VNC server library |
0.9.15 |
1 | 8 | 12 | 19 | single | ||
Real-mode x86 code emulator |
1.1 → 1.1.1 |
1 | 2 | 1 | 13 | single outdated | ||
Library that parses the file format of Zoner Callisto/Draw documents |
0.0.2 |
1 | 10 | 4 | 17 | single | ||
Small browser with some graphics support |
2.30 |
1 | 17 | 0 | 0 | single | ||
Tracepoint-based system tracing tool for Linux (with clients for other OSes) |
0.40.1 → 0.41.4 |
1 | 27 | 0 | 0 | single outdated | ||
Tracepoint-based system tracing tool for Linux (with clients for other OSes) |
0.40.1 → 0.41.4 |
1 | 29 | 0 | 0 | single outdated | ||
Tracepoint-based system tracing tool for Linux (with clients for other OSes) |
0.40.1 → 0.41.4 |
1 | 27 | 0 | 0 | single outdated | ||
Tracepoint-based system tracing tool for Linux (with clients for other OSes) |
0.40.1 → 0.41.4 |
1 | 29 | 0 | 0 | single outdated | ||
Tracepoint-based system tracing tool for Linux (with clients for other OSes) |
0.40.1 → 0.41.4 |
1 | 29 | 0 | 0 | single outdated | ||
Tracepoint-based system tracing tool for Linux (with clients for other OSes) |
0.40.1 → 0.41.4 |
1 | 29 | 0 | 0 | single outdated | ||
Tracepoint-based system tracing tool for Linux (with clients for other OSes) |
0.40.1 → 0.41.4 |
1 | 29 | 0 | 0 | single outdated | ||
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 | ||
Quick tactics game |
0.6.3902 |
1 | 28 | 0 | 0 | single | ||
Classic version of a quick tactics game LiquidWar |
5.6.6 |
1 | 3 | 0 | 0 | single | ||
Lua-based 2D game engine/scripting language |
11.5 |
1 | 19 | 14 | 15 | single | ||
Lua-based 2D game engine/scripting language |
0.10.2 |
1 | 20 | 0 | 0 | single | ||
Implementation of the reverse search algorithm for vertex enumeration/convex hull problems |
7.3 → 7.3a |
1 | 3 | 2 | 3 | single outdated | ||
CLI email sending tool |
1.19 |
1 | 4 | 0 | 0 | single | ||
MIDI to Lilypond converter |
0.12 |
1 | 2 | 0 | 0 | single | ||
Compact and readable SAT solver |
2.2.1 |
1 | 4 | 5 | 7 | single | ||
Free distributed version control system |
1.1-unstable-2025-12-11 |
1 | 18 | 1 | 1 | single | ||
Multiple precision interval arithmetic library based on MPFR |
1.5.4 → 1.5.5 |
1 | 5 | 7 | 8 | single outdated | ||
Highly optimised library for bignum arithmetic forked from GMP |
3.0.0 |
1 | 8 | 11 | 20 | single | ||
Movie player that supports many video formats |
1.5-unstable-2024-12-21 |
1 | 29 | 5 | 5 | single | ||
Console implementation of 2048 game |
0.1 |
1 | 3 | 0 | 0 | single | ||
Mini PXE server |
0.10.2 |
1 | 6 | 0 | 0 | single | ||
NILFS utilities |
2.3.1 |
1 | 7 | 2 | 3 | single | ||
Set of scripts to serve the Nix store as a binary cache |
2014-06-29-1 |
1 | 12 | 0 | 0 | single | ||
Object-oriented C++ input system |
1.5.1 → 1.6.0 |
1 | 4 | 4 | 10 | single outdated | ||
Attempt to revive a specific type of Modern style of serif typefaces |
2.2 → 2.7b |
1 | 3 | 0 | 0 | single outdated | ||
Constructive Solid Geometry library |
1.8.2 |
1 | 10 | 2 | 6 | single | ||
Satisfiability modulo theory (SMT) solver |
2.9.2 |
1 | 8 | 0 | 0 | single | ||
C++ interface to the Pango text rendering library |
2.46.4 |
1 | 9 | 7 | 97 | single | ||
Command-line tool for working with PDFs |
3.3.3 |
1 | 3 | 6 | 6 | single | ||
Parallel compressor/decompressor for xz format |
1.0.7 |
1 | 13 | 1 | 1 | single | ||
ASP system to ground and solve logic programs |
5.8.2 |
1 | 5 | 0 | 0 | single | ||
Mozilla test manifest handling |
1.1 → 2.1.0 |
1 | 13 | 0 | 0 | single outdated | ||
Powerful data structures for data analysis, time series, and statistics |
3.0.4 → 3.0.6 |
1 | 25 | 373 | 4,054 | single outdated | ||
Reimplementation of the Pygame API using SDL2 and related libraries |
8.5.3.26051504 |
1 | 23 | 0 | 0 | single | ||
Early-Algorithm Context-free grammar Parser |
1.9.0 |
1 | 15 | 1 | 1 | single | ||
ASP system to ground and solve logic programs |
5.8.2 |
1 | 5 | 0 | 0 | single | ||
Mozilla test manifest handling |
1.1 → 2.1.0 |
1 | 13 | 0 | 0 | single outdated | ||
Powerful data structures for data analysis, time series, and statistics |
3.0.4 → 3.0.6 |
1 | 25 | 412 | 6,896 | single outdated | ||
Reimplementation of the Pygame API using SDL2 and related libraries |
8.5.3.26051504 |
1 | 23 | 0 | 0 | single | ||
Early-Algorithm Context-free grammar Parser |
1.9.0 |
1 | 15 | 1 | 1 | single | ||
Tabbed document viewer |
0.5.0 |
1 | 14 | 0 | 0 | single | ||
Quantum mechanics-based minigolf-like game |
1.1.1 |
1 | 6 | 0 | 0 | single | ||
Small QR code decoding library |
1.2 |
1 | 4 | 5 | 46 | single | ||
Minimalistic X11 menu creator |
2.2.3 |
1 | 5 | 0 | 0 | single | ||
Program to find rational points on hyperelliptic curves |
2.2.2 |
1 | 4 | 0 | 0 | single | ||
HTTP interface to Redland RDF store |
0.5.4 |
1 | 9 | 0 | 0 | single | ||
REXX interpreter |
3.9.7 |
1 | 3 | 1 | 1 | single | ||
Reparent a running program to a new terminal |
0.10.0 |
1 | 2 | 1 | 1 | single | ||
Attachment extractor for MIME messages |
1.4.1.0 |
1 | 2 | 0 | 0 | single | ||
Tool to convert filename encoding inside a ZIP archive |
1.4 |
1 | 5 | 0 | 0 | single insecure | ||
File open routines to safely open a file when in the presence of an attack |
1.0.5 |
1 | 2 | 0 | 0 | single | ||
Automated theorem prover for higher-order logic |
2.7 |
1 | 7 | 0 | 0 | single | ||
Spell checker oriented word lists |
2020.12.07 |
1 | 7 | 1 | 1 | single | ||
HTTP client library based on APR |
1.3.10 |
1 | 10 | 3 | 38 | single | ||
HTTP load tester |
4.2.0 |
1 | 4 | 0 | 0 | single | ||
Simulation construction toolkit |
2024.1.7 |
1 | 26 | 0 | 0 | single |