https://github.com/athos/mekki

Clojure-flavored Alloy language implemented on top of Clojure macro system
https://github.com/athos/mekki

Last synced: 10 months ago
JSON representation

Clojure-flavored Alloy language implemented on top of Clojure macro system

• Host: GitHub
• URL: https://github.com/athos/mekki
• Owner: athos
• License: epl-1.0
• Created: 2015-08-13T00:34:09.000Z (over 10 years ago)
• Default Branch: master
• Last Pushed: 2015-10-25T16:13:26.000Z (about 10 years ago)
• Last Synced: 2025-01-11T23:35:28.012Z (12 months ago)
• Language: Clojure
• Homepage:
• Size: 4.15 MB
• Stars: 4
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# mekki

Clojure-flavored Alloy language implemented on top of Clojure macro system

## Usage

FIXME

## License

Copyright © 2015 OHTA Shogo

Distributed under the Eclipse Public License either version 1.0.

This library depends on [Alloy Analyzer](http://alloy.mit.edu/alloy/). Alloy Analyzer and its dependencies are distributed under their own licenses. For more details, see README in resources/alloy4.2.jar.