A helper document about the Alloy specification language
☆10Dec 3, 2018Updated 7 years ago
Alternatives and similar repositories for alloy-quick-reference
Users that are interested in alloy-quick-reference are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An init utility purely written in Rust.☆26Jan 14, 2018Updated 8 years ago
- Simple generative fuzzer☆17Oct 18, 2021Updated 5 years ago
- A simple Java JUnit project to check Java and Maven are installed correctly☆13Jul 29, 2023Updated 3 years ago
- Electrum is a temporal extension to Alloy. Alloy is a language for describing structures and a tool for exploring them. It has been used …☆52Jan 30, 2023Updated 3 years ago
- Simple tool for comparing gcov/llvm-cov output between runs☆22Sep 23, 2014Updated 12 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Django admin plugin for attaching files to model instances with multiple file selection support☆12Dec 22, 2024Updated last year
- Visualization of OSGi projects using KIELER Lightweight Diagrams (KlighD)☆10Jan 7, 2026Updated 9 months ago
- API wrapper of apple multipeer-connectivity for react-native☆11Sep 16, 2023Updated 3 years ago
- animate an SVG with a VCD file☆13Aug 3, 2022Updated 4 years ago
- Allows USB printing to Panasonic KX-R/RK-T/RK-H typewriters, KX-W word processors, and KX-W55 printer. Emulates KX-R60 (working) and RP-K…☆16Mar 11, 2025Updated last year
- Backport of PEP 562☆14May 21, 2021Updated 5 years ago
- A handy DSL that makes it easier to work with external processes in Java☆13Nov 16, 2014Updated 11 years ago
- A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilitie…☆144Jun 16, 2025Updated last year
- model checking samples☆17Oct 18, 2021Updated 5 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- ☆27Jan 27, 2017Updated 9 years ago
- Add skeleton loading to you existing layouts in Android☆11Nov 30, 2020Updated 5 years ago
- A language and tool for relational models☆12Jul 20, 2017Updated 9 years ago
- Gitignore plugin for Sublime Text 2 and 3☆12Aug 6, 2020Updated 6 years ago
- Tutorial files and code the EuroPython 2017 tutorial, "A Hands-On Approach to Tuning Python Applications for Performance".☆11Oct 6, 2017Updated 9 years ago
- Bidirectional typesetting in plain TeX and LaTeX, using XeTeX☆11May 19, 2020Updated 6 years ago
- Performance Benchmark Recipes for Power-based systems☆14Apr 12, 2019Updated 7 years ago
- Tools for analyzing how the Rust ecosystem is using the language☆12Jan 21, 2015Updated 11 years ago
- Scan Elasticsearch instances to check for GDPR compliance☆14May 22, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Google FCM Push Notifications Cordova Plugin☆11Sep 6, 2016Updated 10 years ago
- Find similar photos with Python 🐍☆18Feb 1, 2023Updated 3 years ago
- ☆15Dec 22, 2015Updated 10 years ago
- Zet - The x86 (IA-32) open implementation☆22Jul 17, 2014Updated 12 years ago
- SublimeText plugin to diff your clipboard against the current selection☆12Sep 28, 2016Updated 10 years ago
- Demangle compiled symbols online.☆14Feb 5, 2017Updated 9 years ago
- This C program broadcasts FM radio on Raspberry Pi 2, and it can receive pipe data besides wav files.☆12Aug 24, 2015Updated 11 years ago
- An extension of JavaFX TreeView with many advanced features already implemented.☆13Sep 5, 2020Updated 6 years ago
- Career ladder expectations produced by the Product & Engineering leadership at Think Through Math.☆12Sep 11, 2017Updated 9 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Example project using Dropwizard and Server-sent Events☆14Jun 28, 2013Updated 13 years ago
- A tiny java rule engine☆17Feb 18, 2019Updated 7 years ago
- A machine learning model to detect the toxicity of comments☆12Feb 9, 2022Updated 4 years ago
- Sharded Mongodb in Kubernetes StatefulSets on GKE☆15May 8, 2018Updated 8 years ago
- Simple OpenCL offline compiler☆13Jan 13, 2025Updated last year
- Apache Winegrower☆13May 15, 2026Updated 5 months ago
- Classificação de sentimentos usando Keras e redes neurais recorrentes LSTM☆13May 15, 2018Updated 8 years ago