An embedding of Alloy in Ruby
☆19Apr 9, 2014Updated 11 years ago
Alternatives and similar repositories for arby
Users that are interested in arby are comparing it to the libraries listed below
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
- [DEPRECATED] 2048 Multiplayer☆103Oct 17, 2014Updated 11 years ago
- Arc Lisp to C compiler☆33Aug 13, 2008Updated 17 years ago
- The official Github Repo and Download for the FNAF Mod☆10Nov 10, 2015Updated 10 years ago
- Experiments in formalizing refinement type systems in Coq☆18Feb 7, 2016Updated 10 years ago
- Firth is a functional, strongly dynamically-typed, concatenative stack-oriented programming language.☆29Apr 9, 2015Updated 10 years ago
- An OpenAI wrapper for PyReason to use in a Grid World reinforcement learning setting☆32Dec 28, 2023Updated 2 years ago
- Clojure-like Lisp on Rubinius☆96May 25, 2021Updated 4 years ago
- The Spire Programming Language☆59Oct 23, 2014Updated 11 years ago
- arc in java☆59Oct 12, 2010Updated 15 years ago
- A Forge based Minecraft server-side plugin API☆13Nov 23, 2014Updated 11 years ago
- Discord Docsbot, Built on bgent☆11Jun 17, 2024Updated last year
- Sparse symmetric indefinite solver implemented with a runtime system☆13May 11, 2020Updated 5 years ago
- translation of pi3d from python to rust☆11Jun 28, 2025Updated 8 months ago
- Easy, flexible C unit testing☆11Feb 13, 2016Updated 10 years ago
- an autonomous independent digital companion☆14Feb 12, 2026Updated 3 weeks ago
- ☆17Oct 9, 2017Updated 8 years ago
- AllTheModium for Minecraft 1.16+☆17Jan 16, 2026Updated last month
- A salesforce library designed to provide idiomatic clojure representations of salesforce data and metadata☆11Jan 14, 2020Updated 6 years ago
- Userland and toolchain for seakernel☆13Dec 11, 2015Updated 10 years ago
- A two-dimensional esoteric programming language, inspired by Hexagony and based on Surface☆11Nov 14, 2019Updated 6 years ago
- Library of common cryptographic algorithms and functions for Pony☆12Jul 16, 2025Updated 7 months ago
- A Cydia Repo for iOS tweaks hosted on github.☆13Mar 5, 2018Updated 8 years ago
- Simple, straightforward MSP430 disassembler and assembler in Python☆14Jul 5, 2023Updated 2 years ago
- Generic HTTP types for Haskell (for both client and server code)☆55Nov 30, 2023Updated 2 years ago
- The Slate programming language☆149Oct 15, 2023Updated 2 years ago
- Metal Charting☆13May 9, 2017Updated 8 years ago
- The generalized intensional compiler for a Haskell-like language.☆14Nov 27, 2017Updated 8 years ago
- Cloth simulation algorithms (Position Based Dynamics and Mass-Spring System) implemented in TypeScript☆11Jun 25, 2016Updated 9 years ago
- record your keypress counts into a database to track computer usage☆12Dec 25, 2025Updated 2 months ago
- Mirror of Apache Click☆15Dec 10, 2018Updated 7 years ago
- FeedHenry CLI, the Command Line Interface to FeedHenry☆26Nov 20, 2018Updated 7 years ago
- To experiment with ligh-weight user threads based on stack copying.☆14Oct 25, 2022Updated 3 years ago
- Automatically Generate Language Bindings to C++ Programs With Clang's LibTooling☆15May 27, 2023Updated 2 years ago
- CSOM - C implementation of the Simple Object Machine Smalltalk☆10Jul 16, 2021Updated 4 years ago
- A PLT Redex implementation of Featherweight Java☆17Oct 8, 2012Updated 13 years ago
- JavaScript Lint☆26Apr 8, 2022Updated 3 years ago
- Online partial evaluator for pure Prolog programs (with built-ins)☆12Jan 12, 2026Updated last month