siraben Siraphob Phipathananunth
github.com/siraben · maintains 170 packages (94 directly), sole maintainer of 75, member of 1 teams
170 packages · page 1 of 2
| Package ▲ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
Althttpd webserver |
0-unstable-2026-06-03 |
1 | 3 | 0 | 0 | single | ||
Self-hosted knowledge repository |
1.7.7 |
1 | 30 | 0 | 0 | single | ||
Fully-modern text-based browser, rendering to TTY and browsers |
1.8.3 |
2 | 3 | 0 | 0 | maintained | ||
HTML documentation generator for Coq source files |
1.4 |
2 | 3 | 2 | 5 | maintained | ||
Coq plugin providing tactics for rewriting universally quantified equations |
9.0.0 |
1 | 5 | 1 | 1 | single | ||
Automation for de Bruijn syntax and substitution in Coq |
1.9 |
2 | 6 | 0 | 0 | maintained | ||
Formal proof of the Four Color Theorem |
1.4.3 |
1 | 7 | 1 | 1 | single | ||
Library of formalized graph theory results in Coq |
0.9.7 |
1 | 10 | 0 | 0 | single | ||
High level commands to declare a hierarchy based on packed classes |
1.10.3 |
2 | 5 | 15 | 45 | maintained | ||
Formal proof of the Odd Order Theorem |
2.4.0 |
1 | 5 | 0 | 0 | single | ||
Regular Language Representations in Coq |
1.2.2 |
1 | 6 | 0 | 0 | single | ||
Relation algebra library for Rocq |
1.8.1 |
1 | 7 | 0 | 0 | single | ||
Implementation of the CraftOS-PC API written in C++ using SDL |
2.8.3 |
3 | 13 | 1 | 1 | maintained | ||
Brand-new compiler that allows practical application development using R7RS Scheme |
0.36.0 |
1 | 3 | 0 | 0 | single | ||
Tool for reading EXIF data from image files produced by digital cameras |
2.0.1-unstable-2018-06-19 |
1 | 2 | 0 | 0 | single | ||
Assembler and disassembler for Flash (SWF) bytecode |
1.64 |
1 | 7 | 0 | 0 | single | ||
Formal Specifications for Verification and Synthesis |
2.0 |
1 | 22 | 0 | 0 | single | ||
jq for binary formats |
0.18.0 |
1 | 4 | 0 | 0 | single | ||
Convert lines of text into a tree structure |
0.5.0 |
1 | 3 | 0 | 0 | single | ||
Highly customizable Changelog Generator that follows Conventional Commit specifications |
2.14.2 |
2 | 10 | 0 | 0 | maintained | ||
Cellular automata simulation program |
5.0 |
2 | 10 | 0 | 0 | maintained | ||
Like jq, but for HTML |
0.4.0 |
2 | 5 | 1 | 1 | maintained | ||
Jq clone focused on correctness, speed and simplicity |
3.1.1 |
5 | 7 | 1 | 1 | maintained | ||
Scheme implementation running on the Java platform |
3.1.1 |
1 | 5 | 0 | 0 | single | ||
Utility to write a KFS filesystem into a ROM file |
1.3.2 |
1 | 5 | 0 | 0 | single | ||
KnightOS C compiler |
4.0.4 |
1 | 6 | 0 | 0 | single | ||
Converts image formats supported by stb_image to the KnightOS image format |
0.4.0 |
1 | 5 | 0 | 0 | single | ||
Tool to create or extract KnightOS packages |
1.2.0 |
1 | 3 | 0 | 0 | single | ||
Packages KnightOS distribution files into a ROM |
1.0.4 |
1 | 4 | 0 | 0 | single | ||
Makes TI calculator upgrade files from ROM dumps |
1.1.6 |
1 | 5 | 0 | 0 | single | ||
Patches jumptables into TI calculator ROM files and generates an include file |
1.1.3 |
1 | 5 | 0 | 0 | single | ||
Assembler and linker for the Z80 |
0.5.5 |
1 | 5 | 1 | 1 | single | ||
Z80 calculator emulator and debugger |
0.5.4 |
1 | 6 | 0 | 0 | single | ||
Koka language compiler and interpreter |
3.2.9 |
2 | 24 | 0 | 0 | maintained | ||
LMI (Lambda Lisp Machine) emulator |
0.98.3 |
1 | 5 | 0 | 0 | single | ||
This library is part of the TiLP framework |
1.3.5 |
1 | 6 | 2 | 2 | single | ||
This library is part of the TiLP framework |
1.1.9 |
1 | 11 | 1 | 1 | single | ||
This library is part of the TiLP framework |
1.1.5 |
1 | 5 | 3 | 3 | single | ||
This library is part of the TiLP framework |
1.1.7 |
1 | 7 | 2 | 2 | single | ||
Macro Expander Saving Our m2-PLANET |
1.11.0 |
7 | 4 | 0 | 0 | team-only | ||
PLAtform NEutral Transpiler |
1.13.1 |
7 | 3 | 0 | 0 | team-only | ||
More standards compliant C library written in M2-Planet's C subset |
unstable-2023-05-22 |
7 | 2 | 4 | 4 | team-only | ||
Packaged sources for the first bootstrapping stage |
1.9.1-source |
7 | 4 | 0 | 0 | team-only | ||
Collection of tools written for use in bootstrapping |
1.7.0 |
7 | 4 | 1 | 1 | team-only | ||
Collection of tools written for use in bootstrapping |
1.3.0 |
7 | 4 | 0 | 0 | team-only | ||
GNU Bourne-Again Shell, the de facto standard shell on Linux |
5.3 |
7 | 14 | 70 | 102,327 | team-only | ||
GNU Bourne-Again Shell, the de facto standard shell on Linux |
5.3 |
7 | 12 | 131 | 102,289 | team-only | ||
GNU Bourne-Again Shell, the de facto standard shell on Linux |
2.05b |
7 | 7 | 52 | 102,347 | team-only | ||
Tools for manipulating binaries (linker, assembler, etc.) |
2.47 |
7 | 13 | 67 | 102,324 | team-only | ||
Tools for manipulating binaries (linker, assembler, etc.) |
2.46 |
7 | 13 | 34 | 102,183 | team-only | ||
Yacc-compatible parser generator |
3.8.2 |
7 | 13 | 34 | 102,186 | team-only | ||
High-quality data compression program |
1.0.8 |
7 | 7 | 37 | 102,319 | team-only | ||
High-quality data compression program |
1.0.8 |
7 | 8 | 34 | 102,183 | team-only | ||
The GNU Core Utilities |
5.0 |
7 | 6 | 55 | 102,349 | team-only | ||
The GNU Core Utilities |
9.11 |
7 | 11 | 71 | 102,328 | team-only | ||
The GNU Core Utilities |
9.11 |
7 | 13 | 36 | 102,185 | team-only | ||
Commands for showing the differences between files (diff, cmp, etc.) |
3.8 |
7 | 11 | 61 | 102,328 | team-only | ||
Commands for showing the differences between files (diff, cmp, etc.) |
3.12 |
7 | 12 | 34 | 102,183 | team-only | ||
GNU Find Utilities, the basic directory searching utilities of the GNU operating system |
4.11.0 |
7 | 10 | 61 | 102,324 | team-only | ||
GNU Find Utilities, the basic directory searching utilities of the GNU operating system |
4.11.0 |
7 | 12 | 34 | 102,183 | team-only | ||
GNU implementation of the Awk programming language |
5.4.1 |
7 | 12 | 67 | 102,331 | team-only | ||
GNU implementation of the Awk programming language |
3.0.6 |
7 | 9 | 34 | 102,333 | team-only | ||
GNU implementation of the Awk programming language |
5.4.1 |
7 | 13 | 34 | 102,183 | team-only | ||
GNU Compiler Collection, version 16.2.0 |
16.2.0 |
7 | 16 | 34 | 102,183 | team-only | ||
GNU Compiler Collection, version 16.2.0 |
16.2.0 |
7 | 6 | 58 | 102,316 | team-only | ||
GNU Compiler Collection, version 16.2.0 |
16.2.0 |
7 | 15 | 35 | 102,317 | team-only | ||
GNU Compiler Collection, version 10.4.0 |
10.4.0 |
7 | 15 | 33 | 102,318 | team-only | ||
GNU Compiler Collection, version 4.6.4 |
4.6.4 |
7 | 14 | 36 | 102,323 | team-only | ||
GNU Compiler Collection, version 4.6.4 |
4.6.4 |
7 | 14 | 33 | 102,319 | team-only | ||
The GNU C Library |
2.44 |
7 | 15 | 33 | 102,184 | team-only | ||
The GNU C Library |
2.44 |
7 | 15 | 32 | 102,182 | team-only | ||
GNU implementation of the Unix grep command |
2.4 |
7 | 6 | 79 | 102,342 | team-only | ||
GNU implementation of the Unix grep command |
3.12 |
7 | 12 | 37 | 102,187 | team-only | ||
GNU M4, a macro processor |
1.4.21 |
7 | 13 | 33 | 102,187 | team-only | ||
A tool to control the generation of non-source files from sources |
4.4.1 |
7 | 5 | 46 | 102,350 | team-only | ||
A tool to control the generation of non-source files from sources |
4.4.1 |
7 | 12 | 74 | 102,332 | team-only | ||
A tool to control the generation of non-source files from sources |
4.4.1 |
7 | 13 | 34 | 102,183 | team-only | ||
GNU Patch, a program to apply differences to files |
2.5.9 |
7 | 4 | 50 | 102,351 | team-only | ||
GNU Patch, a program to apply differences to files |
2.8 |
7 | 12 | 34 | 102,183 | team-only | ||
GNU sed, a batch stream editor |
4.2 |
7 | 10 | 74 | 102,333 | team-only | ||
GNU sed, a batch stream editor |
4.0.9 |
7 | 6 | 39 | 102,342 | team-only | ||
GNU sed, a batch stream editor |
4.10 |
7 | 13 | 34 | 102,183 | team-only | ||
GNU implementation of the `tar' archiver |
1.12 |
7 | 8 | 37 | 102,339 | team-only | ||
GNU implementation of the `tar' archiver |
1.35 |
7 | 11 | 61 | 102,320 | team-only | ||
GNU implementation of the `tar' archiver |
1.12 |
7 | 8 | 44 | 102,333 | team-only | ||
GNU implementation of the `tar' archiver |
1.35 |
7 | 12 | 34 | 102,183 | team-only | ||
GNU zip compression program |
1.2.4 |
7 | 8 | 60 | 102,339 | team-only | ||
GNU zip compression program |
1.14 |
7 | 12 | 34 | 102,183 | team-only | ||
Heirloom Toolchest is a collection of standard Unix utilities |
070715 |
7 | 8 | 32 | 102,182 | team-only | ||
Portable yacc and lex derived from OpenSolaris |
070527 |
7 | 7 | 33 | 102,183 | team-only | ||
Minimal build tool for running scripts on systems that lack any shell |
1.9.1 |
7 | 1 | 44 | 102,359 | team-only | ||
The GNU Multiple Precision Arithmetic Library, version 6.3.0 |
6.3.0 |
7 | 14 | 34 | 102,184 | team-only | ||
GNU Multiple Precision Complex Library, version 1.3.1 |
1.3.1 |
7 | 16 | 32 | 102,182 | team-only | ||
The GNU Multiple Precision Floating-Point Reliable Library, version 4.2.2 |
4.2.2 |
7 | 13 | 33 | 102,183 | team-only | ||
Header files and scripts for Linux kernel |
6.5.6 |
7 | 13 | 38 | 102,193 | team-only | ||
Basic tool for creating symbolic links |
unstable-2023-05-22 |
7 | 3 | 33 | 102,183 | team-only | ||
Mes C Library |
0.27.1 |
7 | 4 | 32 | 102,182 | team-only | ||
Collection of tools written for use in bootstrapping |
1.9.1 |
7 | 0 | 45 | 102,361 | team-only | ||
Collection of tools written for use in bootstrapping |
1.9.1 |
7 | 1 | 65 | 102,360 | team-only | ||
Efficient, small, quality libc implementation |
1.2.6 |
7 | 9 | 39 | 102,322 | team-only |