A language and tool for relational models
☆12Jul 20, 2017Updated 8 years ago
Alternatives and similar repositories for alloy
Users that are interested in alloy are comparing it to the libraries listed below
Sorting:
- Cur dependently-typed language in miniKanren.☆17Jan 26, 2018Updated 8 years ago
- Layered Approach to Service Architectures for a Global Network Environment (LASAGNE)☆10Oct 27, 2020Updated 5 years ago
- Kodkod solver for relational logic☆85Jul 4, 2023Updated 2 years ago
- Here we do all categorical calculations, for small (aka, embeddable fully into a program) categories☆25Jun 25, 2025Updated 8 months ago
- An implementation of the Io programming language☆36May 1, 2016Updated 9 years ago
- pre-release.☆12Jul 15, 2015Updated 10 years ago
- Alloy*---Higher Order Logic for Alloy☆36Dec 28, 2019Updated 6 years ago
- Sawja provides a high level representation of Java bytecode programs and static analysis tools.☆12Jul 4, 2024Updated last year
- Example of authentication via Auth0 for react-admin☆11Sep 20, 2020Updated 5 years ago
- A mirror of Isabelle/Scala code from the official Isabelle repository at http://isabelle.in.tum.de/repos/isabelle/. Restructured as Eclip…☆15Jul 10, 2014Updated 11 years ago
- Epic - a Supercombinator Compiler☆64Jun 12, 2015Updated 10 years ago
- Resumable exceptions and delimited continuations for JVM☆44May 2, 2025Updated 10 months ago
- a modular, macro-ular, totally tubular language for the Rubinius VM. #atomo @ freenode☆53Oct 26, 2016Updated 9 years ago
- A lispy language that compiles into JavaScript, strongly influenced by Arc.☆14Feb 18, 2011Updated 15 years ago
- Repo donde se lleva el seguimiento a las pláticas de Chilango Dev☆10Aug 26, 2016Updated 9 years ago
- Translations for the Calendar library.☆11Feb 21, 2018Updated 8 years ago
- GibberLink Translator is a Python-based AI communication listener and translator. It listens to AI agents communicating using the GibberL…☆14Nov 4, 2025Updated 4 months ago
- Applies a colormap to an ndarray☆14Aug 13, 2018Updated 7 years ago
- A Dependently Typed Esolang☆10Aug 4, 2017Updated 8 years ago
- opam plugin for the asdf version manager [maintainer=LOOKING FOR A MAINTAINER! SUBMIT A PULL REQUEST TO THE INFRASTRUCTURE REPOSITORY!]☆16Updated this week
- Exploration of primes, factorization and number theory through haskell☆10Oct 10, 2016Updated 9 years ago
- Testing framework for C++ template metaprograms☆11May 12, 2015Updated 10 years ago
- A set of utility functions to provide standard controller type functionality in Apex for Lightning Components.☆13Aug 14, 2016Updated 9 years ago
- Gazelle is a Javascripty Lisp for Javascript.☆69Aug 24, 2013Updated 12 years ago
- Adds a guard to disable ObjectInputStream.readObject☆11Dec 6, 2015Updated 10 years ago
- A domain-specific language that allows the expression or protein interactions that can be used to build executable models.☆23Dec 13, 2022Updated 3 years ago
- An extensible home automation framework☆70Sep 30, 2015Updated 10 years ago
- n-wise coverage tool for combinatorial testing☆11Sep 7, 2019Updated 6 years ago
- encode private keys in poetic form☆14Aug 18, 2019Updated 6 years ago
- Taking a Ruby-shaped chainsaw to Go type safety in the interests of elegance☆17Feb 19, 2022Updated 4 years ago
- Multi-agent systems Development Kit - version 6☆45Apr 15, 2025Updated 10 months ago
- Mix task for running tests for a distributed application☆10Apr 3, 2022Updated 3 years ago
- Fish shell plugin for fzf git bindings☆10Dec 13, 2021Updated 4 years ago
- A Functional Reactive Programming framework for Scala☆13Mar 12, 2013Updated 12 years ago
- Interpreter for inference rules☆13May 5, 2018Updated 7 years ago
- A transient UI for Cargo, Rust's package manager☆11Dec 17, 2025Updated 2 months ago
- Tested nixpkgs pins that work with devenv☆24Updated this week
- Codes generating animation using Manim (3B1B)☆12Aug 8, 2021Updated 4 years ago
- A syntax engine for a series of languages☆18Jul 9, 2012Updated 13 years ago