An embedding of Alloy in Ruby
☆20Apr 9, 2014Updated 12 years ago
Alternatives and similar repositories for arby
Users that are interested in arby are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Kodkod solver for relational logic☆91Jul 4, 2023Updated 3 years ago
- Alloy*---Higher Order Logic for Alloy☆38Dec 28, 2019Updated 6 years ago
- Alloy with browser-based visualizations☆31Jun 16, 2021Updated 5 years ago
- Bounded verification of UML/OCL (or EMF/OCL) models☆17Jun 13, 2018Updated 8 years ago
- Edje project (ARCHIVED)☆19Nov 27, 2018Updated 7 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.
- The MobSTr dataset provides artifacts that demonstrate Model-based Safety Assurance and Traceability for a safety-critical automotive sys…☆11Mar 18, 2022Updated 4 years ago
- The EMFText Syntax Zoo contains a collection of more than 100 text syntaxes defined with EMFText's CS language.☆10Sep 16, 2013Updated 13 years ago
- LLVM assembly syntax highlighting and snippets☆15Jan 24, 2026Updated 9 months ago
- kflash, A Python-based cross-platform Kendryte K210 UART ISP Utility☆16Feb 6, 2021Updated 5 years ago
- An unofficial Yale-University-branded theme for LaTeX Beamer.☆10Jun 16, 2019Updated 7 years ago
- An extension for VS Code supporting the Alloy modelling language☆11Dec 8, 2022Updated 3 years ago
- o.io.leap is a Max external object for the Leap Motion Controller, which outputs OSC into max/msp/jitter.☆10Oct 17, 2013Updated 13 years ago
- JVM Math Language with ANTLR and Graal☆17Dec 1, 2020Updated 5 years ago
- ☆21Dec 7, 2023Updated 2 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.
- the Dependent Unboxed higher-oRder Intermediate Notation☆14Feb 8, 2022Updated 4 years ago
- Paradox model finder and equinox theorem prover for first-order logic.☆22Sep 20, 2025Updated last year
- DSOLVE☆10Apr 11, 2014Updated 12 years ago
- Generate a soundex index for a word.☆14Mar 13, 2014Updated 12 years ago
- ☆19Updated this week
- an autotuner for Puredata ported from the autotalented LADSPA plugin☆18Jul 6, 2013Updated 13 years ago
- sbt plugin for scala modules.☆12Updated this week
- Simple Meteor.js Application to teach Kids/Teens to build web applications.☆10Oct 14, 2016Updated 10 years ago
- The prototype tool of a JML generation technique (paper accepted in ICSE'25) for Java programs.☆22Dec 24, 2025Updated 10 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- pretty things☆15Nov 7, 2014Updated 11 years ago
- A framework for scalable, distributed discovery systems.☆15Jul 8, 2026Updated 3 months ago
- Algorithms to find the best rational approximation to a given floating-point number and to find the gcd and lcm of a given list of floati…☆20Mar 31, 2024Updated 2 years ago
- A UI for visualizing purely functional data structures☆11May 18, 2019Updated 7 years ago
- AngularJS seed project using Browserify, Bourbon, Susy Next, and Gulp☆14Nov 21, 2014Updated 11 years ago
- Trying to find an algorithm to generate poetry☆15Jun 25, 2011Updated 15 years ago
- ☆12Nov 4, 2016Updated 9 years ago
- Java <-> XSB Prolog bridge library☆12Oct 13, 2020Updated 6 years ago
- First-order temporal logic programming with microKanren☆19Nov 3, 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.
- ☆10Jan 7, 2023Updated 3 years ago
- Discrete Event Simulator for Rust Implementations☆22Feb 17, 2026Updated 8 months ago
- Python em Português☆12Apr 1, 2013Updated 13 years ago
- Sistema gerenciador de horários feito como projeto integrador na matéria de PDS Web, do curso TADS☆10Nov 18, 2025Updated 11 months ago
- ☆13Nov 24, 2020Updated 5 years ago
- Recursos sobre Elixir em Português☆12Nov 2, 2021Updated 5 years ago
- Flatmark SSG☆14Updated this week