siraben Siraphob Phipathananunth
github.com/siraben · maintains 170 packages (94 directly), sole maintainer of 75, member of 1 teams
75 packages
| Package ▼ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
Accelerated SAT Solver from Princeton |
2007.3.12 |
1 | 2 | 0 | 0 | single | ||
Pythonic Smart Contract Language for the EVM |
0.4.3 |
1 | 27 | 0 | 0 | single | ||
Fast text uwuifier |
0.2.2 |
1 | 5 | 0 | 0 | single | ||
Time zone helper |
0.8.0 |
1 | 3 | 0 | 0 | single | ||
Decentralised, minimalist microblogging service for hackers |
1.3.1 |
1 | 20 | 0 | 0 | single | ||
Compact, efficient Prolog interpreter written in ANSI C |
3.12.6 |
1 | 6 | 0 | 0 | single | ||
Emulator and debugger for Texas Instruments Z80-based graphing calculators |
2.1-unstable-2025-11-06 |
1 | 10 | 0 | 0 | single | ||
Free 2D physics sandbox game |
100.1.400 |
1 | 17 | 0 | 0 | single | ||
Lyrics fetcher for currently playing Spotify song |
1.2.2-unstable-2021-06-17 |
1 | 26 | 0 | 0 | single | ||
Change your MAC address for debugging purposes |
0-unstable-2018-01-27 → 2.1.1 |
1 | 14 | 0 | 0 | single outdated | ||
Z80 assembler with extra features to support development for TI calculators |
0.5-beta.3-unstable-2022-07-05 |
1 | 7 | 0 | 0 | single | ||
Conceal messages in ASCII text by appending whitespace to the end of lines |
20130616 |
1 | 2 | 0 | 0 | single | ||
Scheme 48 interpreter for R5RS |
1.9.3 |
1 | 2 | 1 | 1 | single | ||
Scheme 9 From Empty Space, an interpreter for R4RS Scheme |
20181205 → 20250812 |
1 | 3 | 0 | 0 | single outdated | ||
Reimplementation of mkrom in Rust |
0-unstable-2020-10-17 |
1 | 5 | 0 | 0 | single | ||
Reimplementation of genkfs in Rust |
0-unstable-2020-10-17 |
1 | 5 | 0 | 0 | single | ||
Pythonic Smart Contract Language for the EVM |
0.4.3 |
1 | 28 | 0 | 0 | single | ||
Library to get the currently playing song and artist from Spotify |
1.2.3 |
1 | 21 | 1 | 1 | single | ||
Fast python port of arc90's readability tool |
0.8.4.1 → 0.9 |
1 | 23 | 4 | 4 | single outdated | ||
Parse and manage posts with YAML (or other) frontmatter |
1.3.0 |
1 | 19 | 9 | 9 | single | ||
Flipper Zero Python CLI Wrapper |
0.22 |
1 | 18 | 0 | 0 | single | ||
ICMP ping implementation using raw socket |
5.1.6 |
1 | 16 | 2 | 2 | single | ||
Python bindings for OpenCC (Conversion between Traditional and Simplified Chinese) |
1.4.1 → 1.4.2 |
1 | 18 | 0 | 0 | single outdated | ||
Module for basic math in the general vicinity of computational number theory |
2.2.0 |
1 | 16 | 0 | 0 | single | ||
Common utility functions for codebases which interact with ethereum |
6.0.0 |
1 | 24 | 12 | 18 | single | ||
Common type annotations for Ethereum Python packages |
6.0.0 |
1 | 19 | 6 | 19 | single | ||
Pythonic Smart Contract Language for the EVM |
0.4.3 |
1 | 28 | 0 | 0 | single | ||
Library to get the currently playing song and artist from Spotify |
1.2.3 |
1 | 21 | 0 | 0 | single | ||
Fast python port of arc90's readability tool |
0.8.4.1 → 0.9 |
1 | 23 | 0 | 0 | single outdated | ||
Parse and manage posts with YAML (or other) frontmatter |
1.3.0 |
1 | 19 | 4 | 4 | single | ||
Flipper Zero Python CLI Wrapper |
0.22 |
1 | 18 | 0 | 0 | single | ||
ICMP ping implementation using raw socket |
5.1.6 |
1 | 16 | 0 | 0 | single | ||
Python bindings for OpenCC (Conversion between Traditional and Simplified Chinese) |
1.4.1 → 1.4.2 |
1 | 18 | 0 | 0 | single outdated | ||
Module for basic math in the general vicinity of computational number theory |
2.2.0 |
1 | 16 | 0 | 0 | single | ||
Common utility functions for codebases which interact with ethereum |
6.0.0 |
1 | 24 | 12 | 14 | single | ||
Common type annotations for Ethereum Python packages |
6.0.0 |
1 | 19 | 6 | 15 | single | ||
Pike programming language |
8.0.2042 |
1 | 32 | 0 | 0 | single | ||
Small extensible programming language designed for concise expression with little code |
0.9.3 |
1 | 5 | 0 | 0 | single | ||
Portable OpenBSD ksh, based on the Public Domain Korn Shell (pdksh) |
7.9 |
1 | 3 | 0 | 0 | single | ||
Emulator for the Oberon RISC machine |
2016.1-unstable-2020-08-18 → 2020-08-18 |
1 | 3 | 0 | 0 | single outdated | ||
Symbolic model checker for analysis of finite and infinite state systems |
2.1.0 → 2.2.0 |
1 | 3 | 0 | 0 | single unfree outdated | ||
Network authentication tool |
0.7 |
1 | 4 | 0 | 0 | single | ||
Command line tool to translate morse code input to text in real time |
0.1.1 |
1 | 5 | 0 | 0 | single | ||
Utility for wildcard renaming, copying, etc |
2.10 |
1 | 11 | 0 | 0 | single | ||
MMIX simulator and assembler |
1.0-unstable-2025-06-30 → 20160804 |
1 | 3 | 0 | 0 | single outdated | ||
Compiler for Miranda -- a pure, non-strict, polymorphic, higher order functional programming language |
2.066 |
1 | 2 | 0 | 0 | single | ||
This library is part of the TiLP framework |
1.1.7 |
1 | 7 | 2 | 2 | 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.9 |
1 | 11 | 1 | 1 | single | ||
This library is part of the TiLP framework |
1.3.5 |
1 | 6 | 2 | 2 | single | ||
LMI (Lambda Lisp Machine) emulator |
0.98.3 |
1 | 5 | 0 | 0 | single | ||
Z80 calculator emulator and debugger |
0.5.4 |
1 | 6 | 0 | 0 | single | ||
Assembler and linker for the Z80 |
0.5.5 |
1 | 5 | 1 | 1 | single | ||
Patches jumptables into TI calculator ROM files and generates an include file |
1.1.3 |
1 | 5 | 0 | 0 | single | ||
Makes TI calculator upgrade files from ROM dumps |
1.1.6 |
1 | 5 | 0 | 0 | single | ||
Packages KnightOS distribution files into a ROM |
1.0.4 |
1 | 4 | 0 | 0 | single | ||
Tool to create or extract KnightOS packages |
1.2.0 |
1 | 3 | 0 | 0 | single | ||
Converts image formats supported by stb_image to the KnightOS image format |
0.4.0 |
1 | 5 | 0 | 0 | single | ||
KnightOS C compiler |
4.0.4 |
1 | 6 | 0 | 0 | single | ||
Utility to write a KFS filesystem into a ROM file |
1.3.2 |
1 | 5 | 0 | 0 | single | ||
Scheme implementation running on the Java platform |
3.1.1 |
1 | 5 | 0 | 0 | single | ||
Convert lines of text into a tree structure |
0.5.0 |
1 | 3 | 0 | 0 | single | ||
jq for binary formats |
0.18.0 |
1 | 4 | 0 | 0 | single | ||
Formal Specifications for Verification and Synthesis |
2.0 |
1 | 22 | 0 | 0 | single | ||
Assembler and disassembler for Flash (SWF) bytecode |
1.64 |
1 | 7 | 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 | ||
Brand-new compiler that allows practical application development using R7RS Scheme |
0.36.0 |
1 | 3 | 0 | 0 | single | ||
Relation algebra library for Rocq |
1.8.1 |
1 | 7 | 0 | 0 | single | ||
Regular Language Representations in Coq |
1.2.2 |
1 | 6 | 0 | 0 | single | ||
Formal proof of the Odd Order Theorem |
2.4.0 |
1 | 5 | 0 | 0 | single | ||
Library of formalized graph theory results in Coq |
0.9.7 |
1 | 10 | 0 | 0 | single | ||
Formal proof of the Four Color Theorem |
1.4.3 |
1 | 7 | 1 | 1 | single | ||
Coq plugin providing tactics for rewriting universally quantified equations |
9.0.0 |
1 | 5 | 1 | 1 | single | ||
Self-hosted knowledge repository |
1.7.7 |
1 | 30 | 0 | 0 | single | ||
Althttpd webserver |
0-unstable-2026-06-03 |
1 | 3 | 0 | 0 | single |