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:
- Logically Qualified Data Types - automatically infer refinement types☆17Aug 24, 2021Updated 4 years ago
- Kodkod solver for relational logic☆86Jul 4, 2023Updated 3 years ago
- Cloth simulation algorithms (Position Based Dynamics and Mass-Spring System) implemented in TypeScript☆11Jun 25, 2016Updated 10 years ago
- TLA+ questions, answers, and experiments☆23Aug 30, 2022Updated 3 years ago
- phlegyas: an implementation of 9P2000 in Clojure.☆15Jun 5, 2023Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Java <-> XSB Prolog bridge library☆12Oct 13, 2020Updated 5 years ago
- Sparse symmetric indefinite solver implemented with a runtime system☆13May 11, 2020Updated 6 years ago
- 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
- Neural Reflectance Field from Shading and Shadow under a Fixed Viewpoint☆16Aug 8, 2022Updated 3 years ago
- Research on algorithms for garment perception, manipulation...☆12Sep 15, 2023Updated 2 years ago
- Convert a dynamically linked binary to a statically linked binary going thorugh LLVM IR, using mcsema☆12May 27, 2019Updated 7 years ago
- An experimental python utility to convert CityJSON datasets to glTF 2.0 and schematically validate glTF datasets☆13Sep 28, 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.
- Java and Scala client libraries for Concord☆13Feb 15, 2017Updated 9 years ago
- This is the repo for a simple spec-driven workshop☆15Jul 15, 2026Updated last week
- Multi-shot CPS typed algebraic effects and handlers, in typescript.☆18Sep 11, 2023Updated 2 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.☆15Jul 27, 2019Updated 6 years ago
- Builds Linux distro for the Sega Dreamcast☆11Sep 18, 2019Updated 6 years ago
- Firth is a functional, strongly dynamically-typed, concatenative stack-oriented programming language.☆29Apr 9, 2015Updated 11 years ago
- rERPy is a Python library for doing ERP/ERF and rERP/rERF analysis of brainwaves☆16Feb 4, 2014Updated 12 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.
- ☆16Feb 5, 2018Updated 8 years ago
- An experiment to create instant preview feature for the Vive Focus device☆15Aug 11, 2018Updated 7 years ago
- Run multiple independent anomaly detection (object flaws and motor defects) workloads on a single system via multiple virtual machines us…☆23Jan 3, 2023Updated 3 years ago
- Research and Innovation Group - 9P library for Clojure☆20Jul 15, 2024Updated 2 years ago
- jq module implementing JSON Pointer (RFC 6901)☆19Apr 7, 2020Updated 6 years ago
- Sun Grid Engine☆20Aug 14, 2020Updated 5 years ago
- ☆22Oct 26, 2024Updated last year
- An Ada binding for Lua.☆45Dec 11, 2023Updated 2 years ago
- A JavaScript wrapper for Z3 containing support for regular expressions & capture groups☆23Jul 3, 2024Updated 2 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.
- Rubah is a Dynamic Software Updating (DSU) system for Java that works on stock JVMs☆24Sep 13, 2015Updated 10 years ago
- Generate beautiful header images for blogs or social media accounts.☆52Oct 12, 2021Updated 4 years ago
- Implemented Unstructured Lumigraph Rendering Algorithm☆12May 5, 2014Updated 12 years ago
- ☆12Updated this week
- Version Pinned RuboCop with Chef approved Cop list for linting software - NOT FOR COOKBOOKS☆16Feb 6, 2024Updated 2 years ago
- clojure source code as EDN data☆27Jul 8, 2013Updated 13 years ago
- Overloaded operators for Fantasy Land compatible JavaScript.☆17Jun 4, 2013Updated 13 years ago