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☆17Aug 24, 2021Updated 4 years ago
- Haskell libraries for working with the Stripe API☆21Jan 26, 2025Updated last year
- Generic HTTP types for Haskell (for both client and server code)☆55Nov 30, 2023Updated 2 years ago
- Builds and deploys a demo Node.js application to your Synology NAS using Docker and Docker-compose.☆13Dec 11, 2022Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Kodkod solver for relational logic☆86Jul 4, 2023Updated 3 years ago
- Convert MathML documents to SVG images☆18Jul 2, 2017Updated 9 years ago
- User Accounts styled for Polymer☆10Nov 13, 2018Updated 7 years ago
- Authentication via encrypted cookies☆24Jan 7, 2020Updated 6 years ago
- UI for generating a custom build using trailpacks☆12Feb 12, 2017Updated 9 years ago
- Parse GraphQL schemas from shorthand notation☆15Apr 7, 2017Updated 9 years ago
- Daeploy is an open source software deployment tool that is perfect for smaller applications where Time-to-Market and ease of use is more …☆11Aug 7, 2026Updated last week
- Stores web session data in a client cookie, protected with authentication and encryption.☆25Jul 14, 2024Updated 2 years ago
- TLA+ questions, answers, and experiments☆23Aug 30, 2022Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- AngularJS seed project using Browserify, Bourbon, Susy Next, and Gulp☆14Nov 21, 2014Updated 11 years ago
- phlegyas: an implementation of 9P2000 in Clojure.☆15Jun 5, 2023Updated 3 years ago
- Trying to find an algorithm to generate poetry☆15Jun 25, 2011Updated 15 years ago
- Java <-> XSB Prolog bridge library☆12Oct 13, 2020Updated 5 years ago
- Polyfills for MathML features☆25Aug 6, 2026Updated last week
- Asciimath parser☆26Mar 11, 2025Updated last year
- The official Github Repo and Download for the FNAF Mod☆10Nov 10, 2015Updated 10 years ago
- First-order temporal logic programming with microKanren☆19Nov 3, 2017Updated 8 years ago
- A data structure processing library - validation, response or message generation, etc.; inspired by Metis.☆17Oct 13, 2016Updated 9 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.
- Experiments in formalizing refinement type systems in Coq☆18Feb 7, 2016Updated 10 years ago
- ☆24Sep 28, 2016Updated 9 years ago
- Project3-CUDA-Path-Tracer☆11Oct 10, 2016Updated 9 years ago
- ☆14Apr 9, 2026Updated 4 months ago
- Multi-shot CPS typed algebraic effects and handlers, in typescript.☆18Sep 11, 2023Updated 2 years ago
- Support for file uploads in multipart/form-data for servant☆40May 17, 2024Updated 2 years ago
- ReSpec's website and RESTful APIs☆22Updated this week
- ☆14May 9, 2024Updated 2 years ago
- Stepper allows you to write AWS Step Functions using a higher level programmatic language.☆15Jul 27, 2019Updated 7 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.
- A Meteor.js app scaffolding tool for Yeoman.☆25Mar 23, 2015Updated 11 years ago
- ThreadScan runtime support for concurrent data structures in C and C++☆13Jun 1, 2017Updated 9 years ago
- rERPy is a Python library for doing ERP/ERF and rERP/rERF analysis of brainwaves☆16Feb 4, 2014Updated 12 years ago
- Firth is a functional, strongly dynamically-typed, concatenative stack-oriented programming language.☆29Apr 9, 2015Updated 11 years ago
- #️⃣ 🕸️ 👤 HTTP Headers Hashing☆12Aug 27, 2023Updated 2 years ago
- ☆41Jan 20, 2022Updated 4 years ago
- An experiment to create instant preview feature for the Vive Focus device☆15Aug 11, 2018Updated 8 years ago