ikuraj / alloyView external linksLinks
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 7 months ago
- An implementation of the Io programming language☆36May 1, 2016Updated 9 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
- Alloy*---Higher Order Logic for Alloy☆36Dec 28, 2019Updated 6 years ago
- pre-release.☆12Jul 15, 2015Updated 10 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
- Epic - a Supercombinator Compiler☆64Jun 12, 2015Updated 10 years ago
- Resumable exceptions and delimited continuations for JVM☆44May 2, 2025Updated 9 months ago
- a modular, macro-ular, totally tubular language for the Rubinius VM. #atomo @ freenode☆53Oct 26, 2016Updated 9 years ago
- 🍨 A tasteful way to organize your Nix code☆34Nov 24, 2025Updated 2 months ago
- Repo donde se lleva el seguimiento a las pláticas de Chilango Dev☆10Aug 26, 2016Updated 9 years ago
- Tree-automata-based run-time type constraints for miniKanren☆14Aug 3, 2023Updated 2 years ago
- Applies a colormap to an ndarray☆14Aug 13, 2018Updated 7 years ago
- A statically-typed lisp for the BEAM☆12Aug 28, 2021Updated 4 years ago
- n-wise coverage tool for combinatorial testing☆11Sep 7, 2019Updated 6 years ago
- ☆13Mar 3, 2023Updated 2 years ago
- Drag the image to align it // react-sortable-hoc, react-admin☆10Jan 23, 2020Updated 6 years ago
- Checkpointing PoW blockchains with HotStuff BFT☆10Jan 5, 2022Updated 4 years ago
- ☆13May 30, 2019Updated 6 years ago
- Codes generating animation using Manim (3B1B)☆12Aug 8, 2021Updated 4 years ago
- opam plugin for the asdf version manager [maintainer=LOOKING FOR A MAINTAINER! SUBMIT A PULL REQUEST TO THE INFRASTRUCTURE REPOSITORY!]☆16Jan 22, 2026Updated 3 weeks ago
- Translations for the Calendar library.☆11Feb 21, 2018Updated 7 years ago
- A human data language☆14May 8, 2014Updated 11 years ago
- Testing framework for C++ template metaprograms☆11May 12, 2015Updated 10 years ago
- A TUI to manipulate the Jujutsu DAG.☆28Updated this week
- A lispy language that compiles into JavaScript, strongly influenced by Arc.☆14Feb 18, 2011Updated 14 years ago
- an optimizing curry compiler☆14Nov 27, 2022Updated 3 years ago
- A Functional Reactive Programming framework for Scala☆13Mar 12, 2013Updated 12 years ago
- Fish shell plugin for fzf git bindings☆10Dec 13, 2021Updated 4 years ago
- My PhD codebase for reliable automated shape generation via miniKanren-esque (interval!) constraint programming, interval arithmetic desi…☆10Sep 23, 2020Updated 5 years ago
- Multi-agent systems Development Kit - version 6☆45Apr 15, 2025Updated 9 months ago
- A Campfire protocol plugin for libpurple (Pidgin)☆48Apr 4, 2013Updated 12 years ago
- Tested nixpkgs pins that work with devenv☆24Updated this week
- An extensible home automation framework☆70Sep 30, 2015Updated 10 years ago
- A syntax engine for a series of languages☆18Jul 9, 2012Updated 13 years ago