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:
- Logically Qualified Data Types - automatically infer refinement types☆17Aug 24, 2021Updated 5 years ago
- A twitter clone, it is used as training material for the Mastering Meteor class.☆17Nov 8, 2014Updated 11 years ago
- User Accounts styled for Polymer☆10Nov 13, 2018Updated 7 years ago
- Webpack Trailpack.☆11Jan 14, 2017Updated 9 years ago
- Parse GraphQL schemas from shorthand notation☆15Apr 7, 2017Updated 9 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.
- A JavaScript Markdown editor for Meteor, using EpicEditor.☆13Dec 5, 2018Updated 7 years ago
- pretty things☆15Nov 7, 2014Updated 11 years ago
- Port of whitequark/parser's lexer in C☆14Nov 23, 2022Updated 3 years ago
- Cloth simulation algorithms (Position Based Dynamics and Mass-Spring System) implemented in TypeScript☆11Jun 25, 2016Updated 10 years ago
- elisp files for the ruby language☆15Jul 5, 2025Updated last year
- 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
- Analysis of your architecture strength based on DSM data.☆12Jan 11, 2024Updated 2 years ago
- An example Trails App☆13May 9, 2016Updated 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.
- H.E.A.T. - Hiccup Enlive Adapter & Transforms☆17Jun 9, 2017Updated 9 years ago
- The official Github Repo and Download for the FNAF Mod☆10Nov 10, 2015Updated 10 years ago
- ☆11Dec 11, 2019Updated 6 years ago
- A data structure processing library - validation, response or message generation, etc.; inspired by Metis.☆17Oct 13, 2016Updated 9 years ago
- Neural Reflectance Field from Shading and Shadow under a Fixed Viewpoint☆16Aug 8, 2022Updated 4 years ago
- ☆13Jun 28, 2015Updated 11 years ago
- Automatically Generate Language Bindings to C++ Programs With Clang's LibTooling☆15May 27, 2023Updated 3 years ago
- Convert a dynamically linked binary to a statically linked binary going thorugh LLVM IR, using mcsema☆12May 27, 2019Updated 7 years ago
- Simple library for executing external commands safely and conveniently☆33Dec 1, 2021Updated 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.
- The DialogOS dialog system.☆21Jan 13, 2026Updated 7 months ago
- Online editor / visualizer for Kaitai Struct .ksy files☆10Apr 19, 2017Updated 9 years ago
- Java and Scala client libraries for Concord☆13Feb 15, 2017Updated 9 years ago
- ☆13May 11, 2021Updated 5 years ago
- Project3-CUDA-Path-Tracer☆10Oct 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
- This is a nodejs library that allows you to communicate with Max MSP using UDP and socket.io in order to communicate with a browser.☆20Jul 6, 2012Updated 14 years ago
- Extension of project.el to detect project root with root file (e.g. Gemfile).☆14Dec 7, 2025Updated 8 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.
- Swift plugin for https://github.com/asdf-vm/asdf/☆11Apr 14, 2021Updated 5 years ago
- This project aims to create a Bezier Surface with n-degree Bezier Curves. It also handles parametric texture mapping, normal mapping and …☆12May 10, 2018Updated 8 years ago
- Tail the Binlog of a database☆15Dec 30, 2021Updated 4 years ago
- Stepper allows you to write AWS Step Functions using a higher level programmatic language.☆16Jul 27, 2019Updated 7 years ago
- Builds Linux distro for the Sega Dreamcast☆11Sep 18, 2019Updated 6 years ago
- like self-html... but for DSLs☆11Nov 20, 2021Updated 4 years ago
- Attribute-based access control for Django☆10May 31, 2018Updated 8 years ago