Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/max-leuthaeuser/scalaformalcrom

This is an adaption for Scala of github.com/Eden-06/formalCROM
https://github.com/max-leuthaeuser/scalaformalcrom

Last synced: 12 days ago
JSON representation

This is an adaption for Scala of github.com/Eden-06/formalCROM

Awesome Lists containing this project

README

        

ScalaFormalCROM
===============

[![Build Status](https://travis-ci.org/max-leuthaeuser/ScalaFormalCROM.svg)](https://travis-ci.org/max-leuthaeuser/ScalaFormalCROM)

**1. Description:**
This is an adaption for Scala of [formalCROM][formalCROM].

**2. Edit and run:**

2.1. Clone this repo.

2.2. You may want to use SBT and run ```gen-idea``` if you are using Intellij IDE <= 13 (to config see [here][sbt-gen-idea]). This is not required anymore since Intellij 14. Just use the built-in import SBT project functionality.

2.3. You may want to use SBT and run ```eclipse``` if you are using the Eclipse Scala IDE. (to config see [here][gen-eclipse])

[sbt-gen-idea]: https://github.com/mpeltonen/sbt-idea
[gen-eclipse]: https://github.com/typesafehub/sbteclipse
[formalCROM]: https://github.com/Eden-06/formalCROM