master · x86_64-linux · cf9005753f89 · generated 2026-10-08T00:45:57Z
102,173packages 38,704unmaintained (37.9%) 41,810single maintainer (40.9%) 9,522team only (9.3%) 8,396broken 12,474outdated (12.2%) 4,912maintainers 85teams 206setup hooks (hidden)

shnarazk Narazaki Shuji

github.com/shnarazk · maintains 7 packages (7 directly), sole maintainer of 0, member of 0 teams

Reset

7 packages

Package ▲ Version Maintainers # Teams Deps Used by Used by (transitive) Status
cadical
Simplified Satisfiability Solver
3.0.1
chrjabs, shnarazk
 2
3 0 0 maintained
cadical_2
Simplified Satisfiability Solver
2.2.1
chrjabs, shnarazk
 2
3 0 0 maintained
cbqn
BQN implementation in C
0.12.0
Detegr, shnarazk, sternenseemann
 3
5 0 0 maintained
cbqn-replxx
BQN implementation in C
0.12.0
Detegr, shnarazk, sternenseemann
 3
5 0 0 maintained
cbqn-standalone
BQN implementation in C
0.12.0
Detegr, shnarazk, sternenseemann
 3
4 2 2 maintained
cbqn-standalone-replxx
BQN implementation in C
0.12.0
Detegr, shnarazk, sternenseemann
 3
4 0 0 maintained
kissat
'keep it simple and clean bare metal SAT solver' written in C
4.0.4
chrjabs, shnarazk
 2
5 1 20 maintained