tlaplus / Examples

#算法刷题#TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

#算法刷题#Dr. TLA+ series - learn an algorithm and protocol, study a specification

TLA+ language support for Visual Studio Code

TLA+ snippets, operators, and modules contributed and curated by the TLA+ community

Learn TLA+ for free! No prior experience necessary!

eBPF distributed networking observability tool for Kubernetes

Interactive JSON filter using jq

AXI SystemVerilog synthesizable IP modules and verification infrastructure for high-performance on-chip communication

#大语言模型#A curated list of GPT agents for cybersecurity

#Awesome#A curated list of papers & resources linked to data poisoning, backdoor attacks and defenses against them (no longer maintained)

An archive of old Jargon Files

⚡A CLI tool for code structural search, lint and rewriting. Written in Rust

[ICLR 2023, Spotlight] Indiscriminate Poisoning Attacks on Unsupervised Contrastive Learning

OWASP Machine Learning Security Top 10 Project

A multi-purpose OSINT toolkit with a neat web-interface.

Verified Software Toolchain

Awesome list of awesome methods, tutorials and more.

#大语言模型#Gitleaks 是一个开源SAST（静态应用安全测试）命令行工具，用于检测Git 仓库以防止把密码、API 密钥和访问令牌等机密信息硬编码到代码中