7c6f434c Michael Raskin
github.com/7c6f434c · maintains 5,157 packages (377 directly), sole maintainer of 243, member of 2 teams
5,157 packages · page 49 of 52
| Package ▼ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
export-to-quicklisp-502a46e2-git |
5 | 6 | 2 | 2 | team-only | |||
export-to-quicklisp-502a46e2-git |
5 | 4 | 2 | 3 | team-only | |||
20141106-git |
5 | 4 | 14 | 14 | team-only | |||
Common Lisp compiler |
2.6.8 → 2.6.9 |
5 | 10 | 4,706 | 4,707 | team-only outdated | ||
Free multiplayer & singleplayer first person shooter, the successor of the Cube FPS |
2020-12-29 |
2 | 10 | 0 | 0 | maintained unfree | ||
Automated theorem prover for higher-order logic |
2.7 |
1 | 7 | 0 | 0 | single | ||
Open Source Mathematics Software, free alternative to Magma, Maple, Mathematica, and Matlab |
10.9 → 10.10 |
2 | 3 | 0 | 0 | team-only outdated | ||
Open Source Mathematics Software, free alternative to Magma, Maple, Mathematica, and Matlab |
10.9 → 10.10 |
2 | 3 | 0 | 0 | team-only outdated | ||
File open routines to safely open a file when in the presence of an attack |
1.0.5 |
1 | 2 | 0 | 0 | single | ||
Tool to convert filename encoding inside a ZIP archive |
1.4 |
1 | 5 | 0 | 0 | single insecure | ||
Several programs for working with Rubik's cubes |
20070912 |
2 | 4 | 0 | 0 | team-only | ||
UNIX-like reverse engineering framework and command-line toolset |
0.9.1 |
3 | 23 | 6 | 10 | maintained | ||
Attachment extractor for MIME messages |
1.4.1.0 |
1 | 2 | 0 | 0 | single | ||
Free/libre soft-body physics simulator mainly targeted at simulating vehicle physics |
2022.12 → 2026.01 |
2 | 13 | 0 | 0 | maintained outdated | ||
Reparent a running program to a new terminal |
0.10.0 |
1 | 2 | 1 | 1 | single | ||
Sophisticated calendar and alarm program for the console |
06.03.06 |
3 | 7 | 1 | 1 | maintained | ||
REXX interpreter |
3.9.7 |
1 | 3 | 1 | 1 | single | ||
HTTP interface to Redland RDF store |
0.5.4 |
1 | 9 | 0 | 0 | single | ||
Program to find rational points on hyperelliptic curves |
2.2.2 |
1 | 4 | 0 | 0 | single | ||
Minimalistic X11 menu creator |
2.2.3 |
1 | 5 | 0 | 0 | single | ||
Calculates rank-width and rank-decompositions |
0.10 |
2 | 2 | 0 | 0 | team-only | ||
UNIX-like reverse engineering framework and command-line toolset |
6.2.0 → 6.2.4 |
5 | 21 | 3 | 8 | maintained outdated | ||
Free software environment for statistical computing and graphics |
4.6.1-wrapper |
3 | 5 | 0 | 0 | maintained | ||
Small QR code decoding library |
1.2 |
1 | 4 | 5 | 46 | single | ||
Quantum mechanics-based minigolf-like game |
1.1.1 |
1 | 6 | 0 | 0 | single | ||
QR-code encoder and decoder |
0-unstable-2025-04-29 |
2 | 2 | 0 | 0 | maintained | ||
Tabbed document viewer |
0.5.0 |
1 | 14 | 0 | 0 | single | ||
Python library for symbolic mathematics |
1.14.0 |
3 | 18 | 56 | 968 | maintained | ||
Early-Algorithm Context-free grammar Parser |
1.9.0 |
1 | 15 | 1 | 1 | single | ||
Python interface to R |
3.6.6 → 3.6.7 |
2 | 25 | 2 | 4 | team-only outdated | ||
Reimplementation of the Pygame API using SDL2 and related libraries |
8.5.3.26051504 |
1 | 23 | 0 | 0 | single | ||
Cython interface for C++ primecount library |
0.2.1 |
2 | 20 | 0 | 0 | team-only | ||
Python wrapper for ppl |
0.8.10 → 0.9.0 |
2 | 21 | 0 | 0 | team-only outdated | ||
Powerful data structures for data analysis, time series, and statistics |
3.0.4 → 3.0.6 |
1 | 25 | 412 | 6,906 | single outdated | ||
Extension class to allocate memory easily with cython |
0.2.0 |
2 | 18 | 0 | 0 | team-only | ||
Mozilla test manifest handling |
1.1 → 2.1.0 |
1 | 13 | 0 | 0 | single outdated | ||
Littlewood-Richardson Calculator bindings |
2.1 |
2 | 16 | 0 | 0 | team-only | ||
Python interface for fplll |
0.6.4 |
2 | 25 | 0 | 0 | team-only | ||
Adds i18n/l10n support to Flask applications |
4.1.0 |
3 | 24 | 14 | 18 | maintained | ||
Interrupt and signal handling for Cython |
1.12.6 → 1.13.1 |
2 | 18 | 6 | 7 | team-only outdated | ||
Cython bindings for PARI |
2.2.4 → 2.2.5 |
2 | 21 | 0 | 0 | team-only outdated | ||
Python interface to Frank Lübeck's Conway polynomial database |
0.10 |
2 | 16 | 0 | 0 | team-only | ||
ASP system to ground and solve logic programs |
5.8.2 |
1 | 5 | 0 | 0 | single | ||
Library for managing Btrfs filesystems |
7.1 |
2 | 22 | 0 | 0 | maintained | ||
Python library for symbolic mathematics |
1.14.0 |
3 | 18 | 44 | 866 | maintained | ||
Early-Algorithm Context-free grammar Parser |
1.9.0 |
1 | 15 | 1 | 1 | single | ||
Python interface to R |
3.6.6 → 3.6.7 |
2 | 25 | 2 | 3 | team-only outdated | ||
Reimplementation of the Pygame API using SDL2 and related libraries |
8.5.3.26051504 |
1 | 23 | 0 | 0 | single | ||
Cython interface for C++ primecount library |
0.2.1 |
2 | 20 | 0 | 0 | team-only | ||
Python wrapper for ppl |
0.8.10 → 0.9.0 |
2 | 21 | 0 | 0 | team-only outdated | ||
Powerful data structures for data analysis, time series, and statistics |
3.0.4 → 3.0.6 |
1 | 25 | 373 | 4,060 | single outdated | ||
Extension class to allocate memory easily with cython |
0.2.0 |
2 | 18 | 0 | 0 | team-only | ||
Mozilla test manifest handling |
1.1 → 2.1.0 |
1 | 13 | 0 | 0 | single outdated | ||
Littlewood-Richardson Calculator bindings |
2.1 |
2 | 16 | 0 | 0 | team-only | ||
Python interface for fplll |
0.6.4 |
2 | 25 | 0 | 0 | team-only | ||
Adds i18n/l10n support to Flask applications |
4.1.0 |
3 | 24 | 6 | 9 | maintained | ||
Interrupt and signal handling for Cython |
1.12.6 → 1.13.1 |
2 | 18 | 5 | 5 | team-only outdated | ||
Cython bindings for PARI |
2.2.4 → 2.2.5 |
2 | 21 | 0 | 0 | team-only outdated | ||
Python interface to Frank Lübeck's Conway polynomial database |
0.10 |
2 | 16 | 0 | 0 | team-only | ||
ASP system to ground and solve logic programs |
5.8.2 |
1 | 5 | 0 | 0 | single | ||
Library for managing Btrfs filesystems |
7.1 |
2 | 22 | 0 | 0 | maintained | ||
Fast C/C++ prime number generator |
12.14 → 12.16 |
2 | 3 | 5 | 98 | team-only outdated | ||
Fast prime counting function implementations |
8.5 → 8.8 |
2 | 4 | 3 | 3 | team-only outdated | ||
Reflexive polytopes database |
20170220 |
2 | 2 | 0 | 0 | team-only | ||
Software for research in polyhedral geometry |
4.15 |
2 | 22 | 0 | 0 | team-only | ||
Library for implementing graph algorithms |
4.0.1.0 → 5.1.0.0 |
2 | 4 | 0 | 0 | team-only outdated | ||
Parallel compressor/decompressor for xz format |
1.0.7 |
1 | 13 | 1 | 1 | single | ||
Puzzle game with mechanics similar to Lemmings |
0.7.6-unstable-2025-07-21 |
2 | 23 | 0 | 0 | maintained | ||
Command-line tool for working with PDFs |
3.3.3 |
1 | 3 | 6 | 6 | single | ||
PARI database needed by ellap for large primes |
20090618 |
2 | 2 | 0 | 0 | team-only | ||
PARI database needed to compute Galois group in degrees 8 through 11 |
20080411 |
2 | 2 | 0 | 0 | team-only | ||
Computer algebra system for high-performance number theory computations |
2.17.3 → 2.19.0 |
2 | 8 | 13 | 13 | team-only outdated | ||
Open Paratype font |
1.000 |
2 | 3 | 0 | 0 | maintained | ||
Open Paratype font |
2.003 |
2 | 3 | 0 | 0 | maintained | ||
Open Paratype font |
1.001 |
2 | 3 | 0 | 0 | maintained | ||
C++ interface to the Pango text rendering library |
2.46.4 |
1 | 9 | 7 | 97 | single | ||
Package for Analyzing Lattice Polytopes |
2.21 |
2 | 2 | 0 | 0 | team-only | ||
New p7zip fork with additional codecs and improvements (forked from https://sourceforge.net/projects/p7zip/) |
17.06 |
2 | 2 | 0 | 0 | maintained unfree | ||
New p7zip fork with additional codecs and improvements (forked from https://sourceforge.net/projects/p7zip/) |
17.06 |
2 | 2 | 58 | 106 | maintained | ||
Satisfiability modulo theory (SMT) solver |
2.9.2 |
1 | 8 | 0 | 0 | single | ||
3D graphics toolkit |
3.6.5 |
2 | 19 | 7 | 10 | maintained | ||
3D parametric model compiler (unstable) |
2021.01-unstable-2026-07-20 |
3 | 44 | 0 | 0 | maintained | ||
3D parametric model compiler |
2021.01 → 2026.09.17 |
3 | 34 | 3 | 4 | maintained outdated | ||
Constructive Solid Geometry library |
1.8.2 |
1 | 10 | 2 | 6 | single | ||
Attempt to revive a specific type of Modern style of serif typefaces |
2.2 → 2.7b |
1 | 3 | 0 | 0 | single outdated | ||
Object-oriented C++ input system |
1.5.1 → 1.6.0 |
1 | 4 | 4 | 10 | single outdated | ||
3D Object-Oriented Graphics Rendering Engine |
13.6.5 |
2 | 25 | 0 | 0 | maintained | ||
3D Object-Oriented Graphics Rendering Engine |
14.6.0 |
2 | 25 | 3 | 4 | maintained | ||
Scientific Programming Language |
11.3.0 |
2 | 44 | 0 | 0 | maintained | ||
Scientific Programming Language |
11.3.0 |
2 | 39 | 66 | 70 | maintained | ||
Library for doing Number Theory |
11.6.0 |
2 | 5 | 8 | 40 | team-only | ||
Set of scripts to serve the Nix store as a binary cache |
2014-06-29-1 |
1 | 12 | 0 | 0 | single | ||
NILFS utilities |
2.3.1 |
1 | 7 | 2 | 3 | single | ||
Mini PXE server |
0.10.2 |
1 | 6 | 0 | 0 | single | ||
Programs for computing automorphism groups of graphs and digraphs |
2.9.3 |
2 | 2 | 6 | 7 | team-only | ||
Console implementation of 2048 game |
0.1 |
1 | 3 | 0 | 0 | single | ||
Network diagnostics tool |
0.96 |
4 | 8 | 0 | 0 | maintained | ||
Network diagnostics tool |
0.96 |
4 | 7 | 2 | 2 | maintained | ||
Movie player that supports many video formats |
1.5-unstable-2024-12-21 |
1 | 29 | 5 | 5 | single | ||
Highly optimised library for bignum arithmetic forked from GMP |
3.0.0 |
1 | 8 | 11 | 20 | single |