Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/andriusvelykis/ml-dev
Eclipse plug-in for Standard ML
https://github.com/andriusvelykis/ml-dev
Last synced: 27 days ago
JSON representation
Eclipse plug-in for Standard ML
- Host: GitHub
- URL: https://github.com/andriusvelykis/ml-dev
- Owner: andriusvelykis
- Created: 2013-01-02T21:07:28.000Z (over 11 years ago)
- Default Branch: master
- Last Pushed: 2013-04-08T07:46:06.000Z (about 11 years ago)
- Last Synced: 2024-02-18T16:36:26.021Z (4 months ago)
- Language: Java
- Size: 1.2 MB
- Stars: 9
- Watchers: 1
- Forks: 3
- Open Issues: 2
-
Metadata Files:
- Readme: README.md
Lists
- awesome-stars - andriusvelykis/ml-dev - Eclipse plug-in for Standard ML (Java)
README
# ML-Dev
An Eclipse plug-in for Standard ML.
ML-Dev is a plug-in for the [Eclipse IDE][eclipse] that adds support for the Standard ML
programming language. It provides features for programming in SML using Eclipse, such as
an editor with syntax highlighting and error checking, and the ability to run SML programs within
Eclipse.
## Features
- Text editor for SML
- Syntax highlighting
- Highlighting of matching brackets
- Syntax errors marked while typing
- Outline of all declarations in the file
- Updated as you type
- Selection follows editor and vice versa
- Run SML programs within Eclipse
- Support for CM
- User guide integrated into Eclipse help
## Installation
Use the following URL to install ML-Dev plug-ins via Eclipse [_Update Manager_][update-manager].
[**`http://andriusvelykis.github.io/ml-dev/updates/nightly/`**]( http://andriusvelykis.github.io/ml-dev/updates/nightly/ )
[update-manager]: http://www.vogella.com/articles/Eclipse/article.html#updatemanager
## Usage
ML-Dev _User Guide_ contains important information for running SML in Eclipse. The User Guide can
be accessed from the Eclipse help system **(Help > Help Contents)**. You can also
[read the User Guide online][mldev-guide].
Running SML programs requires an interactive SML interpreter installed on your system. The plug-in
has only been tested on SML/NJ 110.0.7, but it should work on any SML implementation that supports the
`use` primitive.
## Contributing
Please report bugs, feature requests, questions and other issues using the GitHub tracker:
[`http://github.com/andriusvelykis/ml-dev/issues`](http://github.com/andriusvelykis/ml-dev/issues)
You can also contribute to the project by forking the repository and sending [pull requests][pull-req] with your changes. We welcome various contributions!
ML-Dev is built on Eclipse platform using Java programming language. It is built using Maven and Eclipse Tycho. To build everything, run a standard Maven command:
mvn clean install
[pull-req]: https://help.github.com/articles/using-pull-requests/
## Authors
- Original plug-in code by **[Rahul Narain][narain]** in 2004, with the inspiration and guidance
of [Prof. Sanjiva Prasad][prasad].
- Updates and fixes by **[Andrius Velykis][velykis]** (Newcastle University, UK).
[eclipse]: http://www.eclipse.org
[mldev-guide]: http://www.eecs.berkeley.edu/~narain/projects/mldev/userguide/
[narain]: http://www.eecs.berkeley.edu/~narain/
[prasad]: http://www.cse.iitd.ac.in/~sanjiva/
[velykis]: http://andrius.velykis.lt