A webapp for developing and sharing Alloy models
☆27Feb 20, 2026Updated 6 months ago
Alternatives and similar repositories for Alloy4Fun
Users that are interested in Alloy4Fun are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 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
- A model checker for relational first-order temporal specifications☆31Jul 6, 2021Updated 5 years ago
- Notes of various papers regaridng free monads and extensible effects☆20Oct 10, 2019Updated 6 years ago
- Rewrites TLA⁺ specs to use Unicode symbols instead of ASCII, and vice-versa☆44Jul 22, 2025Updated last year
- Projects and exercises that I've done in my Software Engineering course at University of Minho☆22Oct 20, 2023Updated 2 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- LaTeX package to typeset Uppaal timed automata specifications☆13Dec 19, 2025Updated 8 months ago
- Denotational semantics based on graph and filter models☆22Dec 16, 2024Updated last year
- https://mitchellwrosen.github.io/haskell-papers☆22Dec 15, 2018Updated 7 years ago
- A talk☆29Apr 14, 2021Updated 5 years ago
- Basic TLA+ related Haskell libraries (parser, evaluator, pretty-printer)☆27Oct 7, 2022Updated 3 years ago
- Modeling DNS with Alloy☆37Dec 6, 2021Updated 4 years ago
- Aulas práticas UM CP19-20☆10May 21, 2020Updated 6 years ago
- Boron is the atom that comes before carbon.☆13Aug 27, 2017Updated 9 years ago
- Proofs for the exercises for Lawvere and Schanuel's Conceptual Mathematics☆28Feb 16, 2022Updated 4 years ago
- 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.
- Library for reading the Macintosh File System☆11May 7, 2016Updated 10 years ago
- Zettelkasten file processor☆11Oct 7, 2020Updated 5 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
- About me☆16Nov 1, 2024Updated last year
- A persistent repository for PRONOM Research Week activities☆12May 26, 2021Updated 5 years ago
- B-OCL is a tool designed to parse and evaluate the OCL constraints designed on BESSER models. It is a python based implementation that ut…☆25May 28, 2026Updated 3 months ago
- Python library that provides command-line SimpleRez and SimpleDeRez☆14Jun 23, 2020Updated 6 years ago
- Attempt at implementing a replacement for NSUnarchiver which is not available under iOS. This can be handy for reading legacy file-format…☆12Mar 27, 2015Updated 11 years ago
- Extraction of pkg_resources from setuptools.☆18May 21, 2025Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Handle POSIX cron schedules.☆13Aug 14, 2026Updated 2 weeks ago
- ALS Prolog Compiler & Development Environment☆21Jun 12, 2026Updated 2 months ago
- ☆10Sep 23, 2019Updated 6 years ago
- Sandboxable Nix project evaluators☆18Dec 20, 2024Updated last year
- Towards Optic-Based Algebraic Theories: the Case of Lenses☆17Nov 26, 2018Updated 7 years ago
- ☆28Sep 8, 2023Updated 2 years ago
- Exercises for the Dafny Tutorial☆14May 21, 2018Updated 8 years ago
- Cabal-fmt vim plugin for formatting Cabal package files☆15Jun 30, 2020Updated 6 years ago
- A high-performance striped resource pooling implementation for Haskell☆26Aug 15, 2026Updated 2 weeks 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.
- Apple Encrypted Archive☆28Sep 26, 2025Updated 11 months ago
- Elixir Library: provides a graceful shutdown support for your Phoenix, or plain Plug application☆13Jun 25, 2018Updated 8 years ago
- Backup integrity checker☆21Jun 13, 2023Updated 3 years ago
- Jupyter kernel for TLA⁺☆122Sep 12, 2022Updated 3 years ago
- Modeling AWS application load balancers using Alloy☆13Dec 27, 2021Updated 4 years ago
- SWI-Prolog dynamic C interface☆19Sep 21, 2024Updated last year
- The 1st Golang challenge in Erlang☆11Mar 19, 2015Updated 11 years ago