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:
- the Dependent Unboxed higher-oRder Intermediate Notation☆14Feb 8, 2022Updated 4 years ago
- Logically Qualified Data Types - automatically infer refinement types☆17Aug 24, 2021Updated 5 years ago
- Alloy*---Higher Order Logic for Alloy☆38Dec 28, 2019Updated 6 years ago
- Generic HTTP types for Haskell (for both client and server code)☆55Nov 30, 2023Updated 2 years ago
- Automatically derive javascript functions to query servant webservices.☆23May 17, 2025Updated last year
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Kodkod solver for relational logic☆89Jul 4, 2023Updated 3 years ago
- Supplementary code for Type Classes projects☆25Mar 4, 2020Updated 6 years ago
- ☆23May 29, 2023Updated 3 years ago
- Authentication via encrypted cookies☆24Jan 7, 2020Updated 6 years ago
- Haskell library to parse a subset of Ruby objects serialised with Marshal.dump☆32May 16, 2026Updated 4 months ago
- TLA+ questions, answers, and experiments☆23Aug 30, 2022Updated 4 years ago
- elisp files for the ruby language☆15Jul 5, 2025Updated last year
- phlegyas: an implementation of 9P2000 in Clojure.☆15Jun 5, 2023Updated 3 years ago
- Java <-> XSB Prolog bridge library☆12Oct 13, 2020Updated 6 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.
- 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
- First-order temporal logic programming with microKanren☆19Nov 3, 2017Updated 8 years ago
- Experiments in formalizing refinement type systems in Coq☆18Feb 7, 2016Updated 10 years ago
- Single-shot RGB-PS With Spatially-varying Albedo☆13Sep 16, 2016Updated 10 years ago
- Automatically Generate Language Bindings to C++ Programs With Clang's LibTooling☆15May 27, 2023Updated 3 years ago
- An experimental python utility to convert CityJSON datasets to glTF 2.0 and schematically validate glTF datasets☆13Sep 28, 2018Updated 8 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- This is the repo for a simple spec-driven workshop☆15Updated this week
- Multi-shot CPS typed algebraic effects and handlers, in typescript.☆18Sep 11, 2023Updated 3 years ago
- ☆11Apr 30, 2025Updated last year
- Layout data in grids and pretty tables. Provides a lot of tools to get the cell formatting right (positional alignment, alignment on spec…☆41May 18, 2025Updated last year
- 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
- FlowMatic: An Immersive Authoring Tool for Creating Interactive Scenes in Virtual Reality☆12Dec 1, 2023Updated 2 years ago
- ThreadScan runtime support for concurrent data structures in C and C++☆13Jun 1, 2017Updated 9 years ago
- Browser-based annotation tool for Framenet☆16Jan 27, 2015Updated 11 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.
- Demo of interning in Rust applied to RATP's disruptions API☆14Mar 16, 2026Updated 6 months 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
- FluxN0de☆14Feb 22, 2022Updated 4 years ago
- Converting to/from HTTP API data like URL pieces, headers and query parameters.☆53Jul 1, 2026Updated 3 months ago
- POC top down flight game in crystal lang!☆13Feb 23, 2017Updated 9 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