An unofficial copy of MIT's Alloy Analyzer model checking tool.
☆20May 30, 2013Updated 12 years ago
Alternatives and similar repositories for AlloyAnalyzer
Users that are interested in AlloyAnalyzer are comparing it to the libraries listed below
Sorting:
- Alloy models for automatic synthesis of memory model litmus test suites (from ASPLOS 2017)☆16Jan 26, 2024Updated 2 years ago
- ☆15Feb 27, 2017Updated 9 years ago
- Kubernetes adapter for Universal Resource Broker☆20Jul 11, 2019Updated 6 years ago
- The Silence of Intelligence — A comprehensive analysis of Anthropic CEO Dario Amodei's philosophy on Scaling Laws, AI safety, and the fut…☆18Updated this week
- This projects detects ongoing Spectre attacks, by using a neural network to analyze HPCs (Hardware Performance Counters)☆31Oct 16, 2018Updated 7 years ago
- ☆16Sep 22, 2014Updated 11 years ago
- C2000 IDE Assist is a Visual Studio Code and Code Composer Studio Theia/20 extension that enables various tools and features for C2000 MC…☆12Sep 2, 2025Updated 6 months ago
- ☆12Aug 2, 2024Updated last year
- ☆11Jul 9, 2023Updated 2 years ago
- ☆13Dec 28, 2022Updated 3 years ago
- A minimal provisioning agent designed for Azure Linux VMs.☆15Feb 18, 2026Updated 2 weeks ago
- Old mirror of SVN repository, pre-migration to Git☆12Apr 15, 2023Updated 2 years ago
- RHEL for Edge Downstream CI and Test☆11Updated this week
- Modular pipeline based on the KernelCI API☆11Updated this week
- Python implementation of the Huffman Code compression algorithm.☆14Apr 18, 2013Updated 12 years ago
- ☆12Jul 10, 2023Updated 2 years ago
- Blakecoin Fast Blake-256 Cryptographic Coin for CPU/GPU/FPGA☆17Feb 23, 2026Updated last week
- Plugin for autocomplete using trix editor☆17Aug 18, 2017Updated 8 years ago
- Pebble's app development toolkit for the Pebble smartwatch, Android and iOS☆199May 15, 2014Updated 11 years ago
- Wrap isomorphic-fetch to enable a proxy use.☆10Apr 28, 2022Updated 3 years ago
- Hex encode & decode a string, right from your terminal.☆10Jan 5, 2023Updated 3 years ago
- VLESS-XTLS-uTLS-REALITY setup script.☆10May 3, 2023Updated 2 years ago
- Legacy 2.6.31 kernel for Efika MX systems☆17Jun 26, 2013Updated 12 years ago
- CAN to USB converter based on the cantact☆14Jan 6, 2019Updated 7 years ago
- ☆10Sep 25, 2023Updated 2 years ago
- Documents and resources for the "Learning from Incidents in Software" slack workspace.☆40Oct 13, 2020Updated 5 years ago
- blog: https://1planet.co.jp/tech-blog/applevisionpro-oneplanet-mac-spatialvideo☆10May 1, 2024Updated last year
- An x86-64 instruction decoder.☆16Mar 11, 2024Updated last year
- Shell scripts for managing settings, key bindings, extensions, code snippets, etc.☆13Feb 7, 2026Updated 3 weeks ago
- The Dining Philosophers problem, in Rust☆28Jan 8, 2019Updated 7 years ago
- ☆11May 3, 2019Updated 6 years ago
- programs, including busybox, statically linked for the initial ram disk☆12Dec 27, 2025Updated 2 months ago
- ☆10Jun 27, 2020Updated 5 years ago
- Zendburn Color Scheme for PhpStorm☆29Jan 16, 2016Updated 10 years ago
- Create zim packages out of regular websites☆10Jun 21, 2016Updated 9 years ago
- Simple password db☆23Nov 23, 2018Updated 7 years ago
- A simple slider written in pure JS☆10Mar 10, 2015Updated 10 years ago
- Go packages providing ways to parse, replay, and extract information from various attestation-related event logs☆17Updated this week
- A library that contains a few more complex elementary objects for easy importing/usage.☆11Apr 26, 2020Updated 5 years ago