7c6f434c Michael Raskin
github.com/7c6f434c · maintains 5,161 packages (381 directly), sole maintainer of 245, member of 2 teams
5,161 packages · page 1 of 52
| Package ▲ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
Free software environment for statistical computing and graphics |
4.6.1 |
3 | 31 | 36 | 52 | maintained | ||
JVM-based Common Lisp implementation |
1.9.3 |
5 | 6 | 0 | 0 | team-only | ||
Interpreter and prover for a Lisp dialect |
8.6 |
2 | 10 | 0 | 0 | maintained unfree | ||
Interpreter and prover for a Lisp dialect |
8.6 |
2 | 2 | 0 | 0 | maintained | ||
Set of tools to optimize deflate-compressed files |
2.6 |
1 | 4 | 4 | 4 | single | ||
Advanced forensic format library |
3.7.22 |
1 | 9 | 1 | 4 | single | ||
Game programming library |
4.4.3.1 |
1 | 21 | 6 | 6 | single | ||
Game programming library |
5.2.11.3 |
1 | 34 | 4 | 5 | single | ||
Console mail reader |
2.29.99 |
2 | 10 | 0 | 0 | maintained | ||
MIME alteration tool |
0.3.11 |
1 | 2 | 0 | 0 | single | ||
Unicode Plane 1 Osmanya script font |
1.0.2 |
1 | 3 | 0 | 0 | single unfree | ||
Light-weight scripting library |
2.38.0 |
1 | 4 | 3 | 3 | single | ||
TrueType font set intended for source code |
1.002 |
1 | 2 | 0 | 0 | single | ||
RDF database |
6.2.0 |
1 | 4 | 0 | 0 | single | ||
SPARQL server |
5.1.0 |
1 | 6 | 0 | 0 | single | ||
Turn based strategy game |
2.6.3.0 |
1 | 26 | 0 | 0 | single | ||
Standard software-system definition library for Common Lisp |
3.3.4 |
1 | 4 | 0 | 0 | single | ||
Standard software-system definition library for Common Lisp |
2.26 |
1 | 4 | 0 | 0 | single | ||
Standard software-system definition library for Common Lisp |
3.1.7 |
1 | 4 | 0 | 0 | single | ||
Standard software-system definition library for Common Lisp |
3.3.6 |
1 | 4 | 4,701 | 4,701 | single | ||
Tool for programming graphics intended to replace Metapost |
3.12 |
1 | 31 | 0 | 0 | single | ||
Atomic Tanks ballistics game |
6.6 |
1 | 3 | 0 | 0 | single | ||
Advanced tftp tools |
0.8.1 |
1 | 10 | 0 | 0 | single | ||
Console system performance monitor |
2.13.0 |
1 | 8 | 1 | 1 | single | ||
Set of network-related (mostly VPN-related) tools |
1.999.130 |
1 | 8 | 0 | 0 | single | ||
Yet another build manager |
0.5.1 |
1 | 4 | 0 | 0 | single | ||
GNU barcode generator |
0.99 |
1 | 2 | 0 | 0 | single | ||
Modular SIP User-Agent with audio and video support |
4.11.0 |
2 | 33 | 0 | 0 | maintained | ||
Minimal ftp server |
6.3 |
1 | 3 | 0 | 0 | single | ||
Parser generator like bison, but it generates C++ code |
6.04.00 |
1 | 6 | 0 | 0 | single | ||
Volleyball game |
1.1.1-unstable-2025-07-26 |
1 | 13 | 0 | 0 | single | ||
Multiplayer space combat game (client part) |
1.5.0 |
1 | 10 | 0 | 0 | single | ||
Multiplayer X11 space combat game (server part) |
1.4.6 |
1 | 3 | 0 | 0 | single | ||
Cryptographic algorithms library |
3.13.0 |
3 | 6 | 13 | 16 | maintained | ||
Cryptographic algorithms library |
3.13.0 |
3 | 7 | 0 | 0 | maintained | ||
2D physics engine |
3.1.1 |
1 | 14 | 0 | 0 | single | ||
2D physics engine |
2.4.2 |
1 | 13 | 1 | 2 | single | ||
Legacy version of PolyBoRi maintained by sagemath developers |
1.2.15 |
2 | 7 | 0 | 0 | team-only | ||
Utilities for the btrfs filesystem |
7.1 |
1 | 12 | 36 | 60 | single | ||
Clozure Common Lisp |
1.13 |
5 | 5 | 0 | 0 | team-only | ||
Implementation of the Double Description Method for generating all vertices of a convex polyhedron |
0.94n |
2 | 5 | 6 | 7 | team-only | ||
Curses development kit |
5.0-20260119 |
1 | 3 | 0 | 0 | single | ||
Ultra-low delay audio codec |
0.11.3 |
1 | 3 | 7 | 15 | single | ||
Ultra-low delay audio codec |
0.5.1.3 |
1 | 3 | 0 | 0 | single | ||
Ultra-low delay audio codec |
0.7.1 |
1 | 3 | 1 | 4 | single | ||
Context-free design grammar - a tool for graphics generation |
3.4.3 |
1 | 7 | 0 | 0 | single | ||
Computational Geometry Algorithms Library |
6.2.1 |
2 | 6 | 15 | 26 | maintained | ||
Computational Geometry Algorithms Library |
5.6.3 |
1 | 6 | 8 | 16 | single | ||
Multiplatform basic GUI library |
2.1.0 |
1 | 6 | 0 | 0 | single | ||
Common Lisp launcher script |
4.1.4.1 |
1 | 2 | 0 | 0 | single | ||
Interactive stack-based calculator |
0.3.5 |
2 | 2 | 0 | 0 | maintained | ||
Common Lisp implementation based on LLVM with C++ integration |
3.0.1 |
5 | 13 | 0 | 0 | team-only | ||
Unicode font |
12-1.9 |
1 | 5 | 0 | 0 | single | ||
ASP system to ground and solve logic programs |
5.8.2 |
1 | 3 | 3 | 3 | single | ||
Routines for clique searching |
1.23 |
2 | 4 | 1 | 1 | team-only | ||
ANSI Common Lisp Implementation |
2.49.95-unstable-2024-12-28 |
5 | 20 | 0 | 0 | team-only | ||
Computer Modern Unicode fonts |
0.7.0 |
2 | 3 | 0 | 0 | maintained | ||
CMU implementation of Common Lisp |
21d |
5 | 0 | 0 | 0 | team-only | ||
Data for Combinatorial Designs |
20140630 |
2 | 2 | 0 | 0 | team-only | ||
Linux text console viewer |
1.17 |
1 | 5 | 0 | 0 | single | ||
Bitmap generation from a single example with convolutions and MCMC |
0.0pre20160901 |
1 | 3 | 0 | 0 | single | ||
Model-airplane flight simulator |
0.9.13 |
1 | 8 | 0 | 0 | single | ||
Multi-language OCR system |
1.1.0 |
1 | 4 | 0 | 0 | single | ||
Prover for satisfiability modulo theory (SMT) |
2.4.1 |
1 | 5 | 1 | 1 | single | ||
Tool to copy data from a damaged block device |
1.99.21 |
1 | 3 | 0 | 0 | single | ||
Debian package maintenance scripts |
2.26.8 |
1 | 40 | 95 | 95 | single | ||
Gnome Diagram drawing software |
0.97.2-unstable-2026-07-24 |
1 | 17 | 0 | 0 | single | ||
Old-style RAID configuration utility |
1.0.0.rc16 |
1 | 3 | 1 | 3 | single | ||
Data matrix command-line utilities |
0.7.6-unstable-2023-09-21 |
1 | 6 | 2 | 2 | single | ||
Plugin SDK for virtual instruments |
1.1.1 |
1 | 16 | 3 | 3 | single | ||
Lisp implementation aiming to be small, fast and easy to embed |
26.5.5 |
5 | 12 | 4 | 4,713 | team-only | ||
Elliptic curve tools |
20250627 |
2 | 6 | 0 | 0 | team-only | ||
C++ template library for linear algebra: vectors, matrices, and related algorithms |
3.4.1 |
1 | 3 | 199 | 15,237 | single | ||
C++ template library for linear algebra: vectors, matrices, and related algorithms |
2.0.17 |
1 | 3 | 1 | 1 | single | ||
C++ template library for linear algebra: vectors, matrices, and related algorithms |
3.4.0 |
2 | 3 | 4 | 4 | maintained | ||
C++ template library for linear algebra: vectors, matrices, and related algorithms |
5.0.1 |
3 | 5 | 4 | 5 | maintained | ||
Automated first-order theorem prover |
1_4_21022014 |
1 | 3 | 0 | 0 | single | ||
Databases of elliptic curves |
0.8.1 |
2 | 3 | 0 | 0 | team-only | ||
Automated theorem prover for full first-order logic with equality |
3.2 |
1 | 3 | 4 | 4 | single | ||
Automated theorem prover for full first-order logic with equality |
3.2 |
1 | 3 | 1 | 3 | single | ||
Fork of udev with the aim of isolating it from init |
3.2.15 |
1 | 7 | 3 | 5 | single | ||
Small chess engine supporting fairy pieces |
4.8 |
1 | 2 | 0 | 0 | single | ||
Framebuffer terminal emulator |
1.7-2 |
2 | 8 | 0 | 0 | maintained | ||
Framebuffer VNC client |
1.0.2 |
1 | 2 | 0 | 0 | single | ||
Mail fetching and delivery tool - should do the job of getmail and procmail |
2.2 |
1 | 8 | 0 | 0 | single | ||
Finite Field Linear Algebra Subroutines |
2.5.0 |
2 | 8 | 2 | 3 | team-only | ||
Namespace-based sandboxing tool for Linux |
0.9.80 |
1 | 6 | 0 | 0 | single | ||
Puzzle game |
1.0.1 |
1 | 10 | 0 | 0 | single | ||
A free and highly sophisticated flight simulator |
2024.1.7 |
3 | 32 | 0 | 0 | maintained | ||
Fast Library for Number Theory |
3.6.0 |
4 | 10 | 14 | 35 | maintained | ||
ZjStream printer drivers |
20210116 |
1 | 8 | 0 | 0 | single | ||
Foomatic printing filters |
4.0.17 |
1 | 8 | 1 | 1 | single | ||
Tool to detach from controlling TTY and attach to another |
1.3 |
1 | 2 | 0 | 0 | single | ||
Free Pascal Compiler from a source distribution |
3.2.2 |
1 | 4 | 20 | 20 | single | ||
Lattice algorithms using floating-point arithmetic |
5.5.0 |
2 | 7 | 5 | 6 | team-only | ||
Lattice algorithms using floating-point arithmetic |
20160331 |
1 | 9 | 0 | 0 | single | ||
Implementation of the Intelligent Platform Management Interface |
1.6.19 |
2 | 6 | 6 | 12 | maintained | ||
Console XMPP client |
4.2 |
1 | 15 | 0 | 0 | single | ||
Cellular automata engine tuned towards the likes of Falling Sand |
4.4 |
1 | 9 | 0 | 0 | single | ||
Functional CLI language |
4.0.1.1 |
2 | 8 | 0 | 0 | maintained |