Model Checking for Industrial Programmers with TLA+
Explore Similar Repositories
minecraft-mod-dev:Claude Code skill for Minecraft mod development with NeoForge/Fabric support and inter-mod integration (JEI/AE2/Create)
webshield-portal:Official portal for WebShield - AI-Powered Web Vulnerability Scanner
Awal-LM:The first specialized Large Language Model (LLM) for the Tamazight language (Tifinagh script). Based on GPT-2 architecture and fine-tuned on IRCAM datasets.
vq-tracker:Music Tracker for Vector Quantization Samples
