
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をサポートしています!最新のCVE修正のためにwolfSSL 5.9.1にアップデートしてください。

UEFIファームウェア解析とリバースエンジニアリング自動化のためのIDAプラグインおよびローダー

高速で安全なinitramfsジェネレーター

不変のLinux OSイメージ。Incusコンテナおよび仮想マシンの実行に最適化されており、UEFIセキュアブート、TPM 2.0ディスク暗号化、および安全なインフラストラクチャデプロイメントのための自動イメージビルドを備えています。

機能的なRISC-V ISAシミュレータで、複数の拡張機能(RV32/64、V、暗号)をサポートし、インタラクティブデバッグモード、GDB統合、命令レベルのモデリングを備え、ハードウェア・ソフトウェアの共同開発やアーキテクチャ探索に利用できます。

1500以上のAppArmorプロファイルを包括的に集めたセットで、Linuxシステムプロセス、デスクトップ、サービスを制限し、複数のディストリビューションやデスクトップ環境に対応します。

KSPP推奨設定、モジュールのブラックリスト化、およびParrotSecベースのパブリックキオスク向け制限環境構成を実装する体系的なLinuxカーネルハードニングプロジェクト。

自動的にフォールトインジェクション攻撃を発見し実行する


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 core、すべてのRP2040およびRP2350ボード向け

AIを活用したRosetta (2 for Linux)のリバースエンジニアリング。免責事項: ユーザー契約により、コードには触れません。すべてAIが行うため、実装が乱雑になる可能性があります。

SécurixOSは、中小規模のチーム向けに設計されたNixOSベースのセキュアなオペレーティングシステムです。強力な分離、再現性、ポリシー駆動の設定により、運用セキュリティとコンプライアンスを確保する、最小限で堅牢化された環境を提供します。

オープンソースのスマートカードツールとミドルウェア。PKCS#11/MiniDriver

QEMU公式ミラーです。変更を提出する方法については、https://www.qemu.org/contribute/ を参照してください。Pull Requestsは無効です。QEMUウェブサイトのリリースtarballsのみを使用してください。

FPGAベースのハードウェアエミュレーションプラットフォームのメインバイナリと、レトロシステム開発、ファームウェアコンパイル、ハードウェアセキュリティ研究のためのドキュメント。