s-arash / org.alloytools.alloyView external linksLinks
Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.
☆15May 30, 2022Updated 3 years ago
Alternatives and similar repositories for org.alloytools.alloy
Users that are interested in org.alloytools.alloy are comparing it to the libraries listed below
Sorting:
- Alloy with browser-based visualizations☆30Jun 16, 2021Updated 4 years ago
- GitHub for Developers Zalando Class☆11May 4, 2016Updated 9 years ago
- The MobSTr dataset provides artifacts that demonstrate Model-based Safety Assurance and Traceability for a safety-critical automotive sys…☆10Mar 18, 2022Updated 3 years ago
- Generate an elm-ethereum contract interface from your contract's ABI☆11Dec 7, 2022Updated 3 years ago
- This is a versatile Python library tailored for the Tehran Stock Exchange, offering robust tools for processing and analyzing TSE symbol …☆13May 16, 2024Updated last year
- jMolecules integration for IntelliJ based IDEs like IDEA☆10Feb 22, 2024Updated last year
- A programmatic language server protocol test client.☆11Sep 14, 2022Updated 3 years ago
- 🚀 From layered (n-tier) to hexagonal architecture with Kotlin. [WIP]☆11Apr 27, 2020Updated 5 years ago
- Spawn child processes in PureScript via the Node.js child_process API.☆13Mar 22, 2025Updated 10 months ago
- Micro-benchmarking of Haskell code with detailed execution time statistics.☆18Aug 9, 2025Updated 6 months ago
- Conway's Game of Life implemented in Elm☆11Sep 30, 2024Updated last year
- Website for CSE230☆10Jan 29, 2016Updated 10 years ago
- I-D that describes the algorithm identifiers for NIST's PQC ML-DSA for use in the Internet X.509 Public Key Infrastructure☆14Oct 30, 2025Updated 3 months ago
- Testing node.js or io.js app with wallaby.js☆10Oct 13, 2017Updated 8 years ago
- ☆22May 8, 2011Updated 14 years ago
- Zettelkasten file processor☆12Oct 7, 2020Updated 5 years ago
- Ready-To-Use AES-256 bit encryption library in various languages☆10Nov 28, 2020Updated 5 years ago
- An Actor Model framework for Elm☆12Dec 12, 2022Updated 3 years ago
- Atom syntax highlighting and snippets for the D programming language.☆10Aug 13, 2017Updated 8 years ago
- Sticky Headers Demo☆13Jan 28, 2019Updated 7 years ago
- A lightweight tool that starts a web server and returns the client's IP address on every request☆16Mar 6, 2022Updated 3 years ago
- Demo applications for elm-serverless.☆11Jan 9, 2026Updated last month
- Haskell bindings to nanomsg☆25Jul 19, 2025Updated 6 months ago
- Interesting papers☆11Jun 22, 2024Updated last year
- Stable and generic C API for Julia☆11Jan 8, 2026Updated last month
- Parser combinator library for Elm☆36Nov 29, 2016Updated 9 years ago
- ☆10Nov 7, 2022Updated 3 years ago
- Template for new Miso projects☆11Sep 7, 2020Updated 5 years ago
- Slicing git repositories.☆22May 21, 2018Updated 7 years ago
- Control coroutine tasks in some advanced situations with abstracted basic patterns.☆11Aug 30, 2020Updated 5 years ago
- Docker container to run IntelliJ IDEA Ultimate Edition☆11May 30, 2023Updated 2 years ago
- Repository to support my Kotlin, SpringBoot and WebSockets blog post☆11Nov 27, 2023Updated 2 years ago
- Copy text to a user's clipboard using the modern execCommand interface☆10Feb 23, 2018Updated 7 years ago
- Playing with Clojure transducers☆11Aug 26, 2025Updated 5 months ago
- ☆10Jun 27, 2019Updated 6 years ago
- Noq is an online logic puzzle solver using Python and clasp!☆12Oct 12, 2025Updated 4 months ago
- https://blog.frankel.ch/chopping-monolith/☆11Mar 20, 2025Updated 10 months ago
- Simple Haskell API for LMDB☆12Jun 17, 2019Updated 6 years ago
- Convenience functions for working with Strings in Elm.☆10Nov 17, 2016Updated 9 years ago