An embedding of Alloy in Ruby
☆19Apr 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:
- the Dependent Unboxed higher-oRder Intermediate Notation☆14Feb 8, 2022Updated 4 years ago
- Logically Qualified Data Types - automatically infer refinement types☆16Aug 24, 2021Updated 4 years ago
- The NEKO Project is an open source effort to build a model of equivalent scale and capability as that reported in DeepMind’s 2022 Paper, …☆10Sep 2, 2023Updated 2 years ago
- Kodkod solver for relational logic☆85Jul 4, 2023Updated 2 years ago
- Automatically derive javascript functions to query servant webservices.☆23May 17, 2025Updated 11 months 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.
- A Meteor.js app scaffolding tool for Yeoman.☆25Mar 23, 2015Updated 11 years ago
- Webpack Trailpack.☆11Jan 14, 2017Updated 9 years ago
- Supplementary code for Type Classes projects☆25Mar 4, 2020Updated 6 years ago
- Parse GraphQL schemas from shorthand notation☆15Apr 7, 2017Updated 9 years ago
- Authentication via encrypted cookies☆24Jan 7, 2020Updated 6 years ago
- TLA+ questions, answers, and experiments☆23Aug 30, 2022Updated 3 years ago
- [DEPRECATED] 2048 Multiplayer☆103Oct 17, 2014Updated 11 years ago
- Port of whitequark/parser's lexer in C☆14Nov 23, 2022Updated 3 years ago
- Material design Calculator☆30May 8, 2015Updated 10 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Arc Lisp to C compiler☆33Aug 13, 2008Updated 17 years ago
- Java <-> XSB Prolog bridge library☆12Oct 13, 2020Updated 5 years ago
- Sparse symmetric indefinite solver implemented with a runtime system☆13May 11, 2020Updated 5 years ago
- H.E.A.T. - Hiccup Enlive Adapter & Transforms☆17Jun 9, 2017Updated 8 years ago
- ☆11Dec 11, 2019Updated 6 years ago
- Neural Reflectance Field from Shading and Shadow under a Fixed Viewpoint☆16Aug 8, 2022Updated 3 years ago
- A smart web crawler built in Rust that uses Claude AI to select the most relevant URLs from website sitemaps based on crawling objectives…☆20Jul 9, 2025Updated 9 months ago
- Example application to show how to do file upload in vanilla Rails 4.☆11Nov 12, 2016Updated 9 years ago
- ☆17Oct 9, 2017Updated 8 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆23Dec 16, 2024Updated last year
- The language of the future!☆72Jan 7, 2024Updated 2 years ago
- Online editor / visualizer for Kaitai Struct .ksy files☆10Apr 19, 2017Updated 9 years ago
- Wrapper of marked - A markdown parser and compiler. Built for speed.☆43Apr 23, 2017Updated 9 years ago
- Experiments in formalizing refinement type systems in Coq☆18Feb 7, 2016Updated 10 years ago
- Support for file uploads in multipart/form-data for servant☆40May 17, 2024Updated last year
- ☆16Feb 5, 2018Updated 8 years ago
- Fast Dependency Solver for Ruby using Gecode☆25Aug 24, 2021Updated 4 years ago
- This module supports top-down traversal of a set of file paths☆17Mar 16, 2026Updated last month
- 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.
- Browser-based annotation tool for Framenet☆16Jan 27, 2015Updated 11 years ago
- ☆15Apr 17, 2025Updated last year
- Vim ftplugin for enabling gf on include_recipe in Chef☆21Nov 26, 2013Updated 12 years ago
- Demo of interning in Rust applied to RATP's disruptions API☆14Mar 16, 2026Updated last month
- FluxN0de☆15Feb 22, 2022Updated 4 years ago
- VObject parser and generator for Rust☆17Apr 1, 2026Updated last month
- IETF Drafts and Standards☆13Oct 9, 2018Updated 7 years ago