Formal Verification @amd/@NexTop/@ArcasTech; Compiler@Synopsys.
All programs are compiler.
- Shanghai
-
headscale Public
Forked from juanfont/headscaleAn open source, self-hosted implementation of the Tailscale control server
Go BSD 3-Clause "New" or "Revised" License UpdatedMar 23, 2026 -
-
ord Public
Forked from ordinals/ord👁🗨 Rare and exotic sats
Rust Creative Commons Zero v1.0 Universal UpdatedFeb 23, 2026 -
vm-bhyve Public
Forked from churchers/vm-bhyveShell based, minimal dependency bhyve manager
Shell BSD 2-Clause "Simplified" License UpdatedFeb 23, 2026 -
immortalwrt-mt798x Public
Forked from hanwckf/immortalwrt-mt798xAn Immortalwrt variant for mediatek mt798x routers.
C Other UpdatedDec 3, 2024 -
-
-
-
satisfy-rs Public
Bring state of art SAT solvers to rust.
C++ BSD 3-Clause "New" or "Revised" License UpdatedMar 19, 2020 -
-
playbooks Public
collection of ansible playbooks
BSD 2-Clause "Simplified" License UpdatedAug 23, 2015 -
learning-material Public
A list of good learning material.