A python tool for solving reachability/safety, parity, weak parity and generalized parity games

Efficient C++ implementations of different fast algorithms for Minimum Path Cover

Counting (maximal) antichains of non-crossing partitions

Counting (maximal) antichains in the lattice of set partitions

The minimal elements of the prime numbers which are > b written in the positional numeral system with radix b, as digit strings under the subsequence ordering, for 2 ≤ b ≤ 36

Contains the codes and formal context files for (maximal) antichains of Tamari lattices

Unified GUI Censorship Resistant Solution Powered by Xray

Multi-platform auto-proxy client, supporting Sing-box, X-ray, TUIC, Hysteria, Reality, Trojan, SSH etc. It’s an open-source, secure and ad-free.