
nixos-config
Lan Tian 的 NixOS 配置

Lan Tian 的 NixOS 配置

自动发现并执行故障注入攻击

👻 Specter — passive 13.56 MHz NFC reader/skimmer bug-sweep for Flipper Zero. Counter-surveillance EMF meter using the onboard NFC chip. No extra…

wolfSSL 库是一个小巧、快速、可移植的 TLS/SSL 实现,适用于从嵌入式设备到云端的场景。wolfSSL 支持最高 TLS 1.3 和 DTLS 1.3!更新到 wolfSSL 5.9.1 以获取最新的 CVE 修复。

IDA插件和加载器,用于UEFI固件分析及逆向工程自动化

快速且安全的 initramfs 生成器

不可变Linux操作系统镜像,针对运行Incus容器和虚拟机进行了优化,支持UEFI安全启动、TPM 2.0磁盘加密,并具备自动化镜像构建功能,适用于安全基础设施部署。

功能性RISC-V ISA模拟器,支持多种扩展(RV32/64、V、密码学),具有交互式调试模式、GDB集成和指令级建模,用于硬件-软件协同开发与架构探索。

包含1500多个AppArmor配置文件的综合集合,用于限制Linux系统进程、桌面和服务,支持多种发行版和桌面环境。

系统化的 Linux 内核加固项目,实现 KSPP 推荐的设置、模块黑名单以及基于 ParrotSec 的公共自助服务终端的受限环境配置。


ZoneMinder is a free, open source Closed-circuit television software application developed for Linux which supports IP, USB and Analog cameras.

Raspberry Pi Pico Arduino核心,适用于所有RP2040和RP2350开发板

基于AI逆向工程 Rosetta(2 for Linux)。免责声明:由于用户协议,我不会触碰代码。全部由AI完成,因此实现可能较为混乱。

SécurixOS 是一个基于 NixOS 的安全操作系统,专为中小型团队量身定制。它提供了一个最小化的加固环境,具备强大的隔离性、可复现性以及策略驱动的配置,以确保操作安全性和合规性。

开源智能卡工具与中间件。PKCS#11/MiniDriver

QEMU 官方镜像。请参阅 https://www.qemu.org/contribute/ 了解如何向 QEMU 提交更改。Pull Requests 已被禁用。请仅使用 QEMU 网站上的 release tarballs。

基于FPGA的硬件仿真平台主二进制文件及文档,用于复古系统开发、固件编译和硬件安全研究。