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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Alloy models for automatic synthesis of memory model litmus test suites (from ASPLOS 2017)☆16Jan 26, 2024Updated 2 years ago
- Kubernetes adapter for Universal Resource Broker☆20Jul 11, 2019Updated 6 years ago
- This projects detects ongoing Spectre attacks, by using a neural network to analyze HPCs (Hardware Performance Counters)☆30Oct 16, 2018Updated 7 years ago
- ☆11Jul 20, 2021Updated 4 years ago
- Finding and Understanding Conflicts Between JavaScript Libraries☆40Jan 17, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Train a SmolLM-style llm on fineweb-edu in JAX/Flax with an assortment of optimizers.☆19Jul 24, 2025Updated 9 months ago
- Fullstack application sample made with SAFE stack☆10Dec 11, 2022Updated 3 years ago
- C# framework for transforming and analyzing source code with srcML.☆21Feb 10, 2016Updated 10 years ago
- Configuration files for the ODRI uDriver firmware.☆11Nov 15, 2022Updated 3 years ago
- CSE120 Project☆10Nov 19, 2014Updated 11 years ago
- ☆11May 1, 2024Updated 2 years ago
- toolsuite for analyzing cpp-preprocessor-based software product lines☆13Jul 19, 2023Updated 2 years ago
- Repo for testing JIT stuff☆15Apr 9, 2020Updated 6 years ago
- ☆15Feb 27, 2017Updated 9 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- CSMTP allow you to send email via command line and save message in sent folder☆12Jan 21, 2018Updated 8 years ago
- A Platform for Digital Real-Time Control.☆15Jun 14, 2013Updated 12 years ago
- Pesquisa Reproduzível com R☆12May 24, 2016Updated 9 years ago
- ☆11Oct 28, 2020Updated 5 years ago
- An embedded operating system kernel☆15Jul 2, 2017Updated 8 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…☆13Sep 2, 2025Updated 8 months ago
- 移植LWIP，支持freeRTOS和socket编程☆10Mar 8, 2019Updated 7 years ago
- Search for schematic symbols and PCB footprints from within CadSoft EAGLE using the SnapEDA plugin☆12Mar 3, 2016Updated 10 years ago
- A tool for learning bug patterns.☆11Jul 19, 2016Updated 9 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Practical example using python to train a decision tree☆11Jul 27, 2016Updated 9 years ago
- A dotnet CLI tool for Saturn projects providing code generation and scaffolding.☆19Dec 24, 2022Updated 3 years ago
- Python Neural Genetic Algorithm Hybrids (PyNeurGen) - GitHub Fork☆14Nov 11, 2021Updated 4 years ago
- Repository of teaching material for product lines and variability☆12Aug 30, 2023Updated 2 years ago
- create concept map from textbook data☆11May 4, 2018Updated 8 years ago
- C compiler that generates .NET IL made in C#☆27Sep 30, 2020Updated 5 years ago
- All versions of Apple's XNU kernel that include DTrace, tagged and imported.☆19Nov 13, 2017Updated 8 years ago
- blog-cn, blog-en☆19Oct 23, 2018Updated 7 years ago
- Git repository of the Irony project☆23Apr 5, 2013Updated 13 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- WEKA classifier to execute arbitrary Python scripts☆12Jul 18, 2025Updated 9 months ago
- Add-ons to FreeRTOS☆13Oct 8, 2014Updated 11 years ago
- ⚙️ BeagleBone Black PREEMPT RT patch using OSADL patches and linux 3.12☆11Feb 18, 2015Updated 11 years ago
- Crash Consistency Checker☆11Jul 30, 2016Updated 9 years ago
- SYS/BIOS: kernel for Texas Instruments TI-RTOS☆12Jan 21, 2014Updated 12 years ago
- Bridging Immutable and Mutable Abstractions for Distributed Data Analytics☆12May 15, 2019Updated 6 years ago
- Embedded Linux App with Qt for GPIO using☆12Jan 22, 2018Updated 8 years ago