Clean platform: Difference between revisions

From Clean
Jump to navigationJump to search
Thomas (talk | contribs)
No edit summary
No edit summary
 
(One intermediate revision by the same user not shown)
Line 6: Line 6:
* Collect, refactor and extend existing libraries to make them consistent with the platform standards
* Collect, refactor and extend existing libraries to make them consistent with the platform standards


As a little experiment, we will document the project on this wiki. So we'll draft the guidelines and other facts online as we go along.
You can find the Clean Platform collection on:
https://gitlab.science.ru.nl/clean-and-itasks/clean-platform
 
 
When the project was initiated we documented some drafts on this wiki:


Currently we have only just started on some drafts:
* [[Clean platform API|Clean platform API (DRAFT)]]
* [[Clean platform API|Clean platform API (DRAFT)]]
* [[Clean platform coding style|Clean platform coding style guideline (DRAFT)]]
* [[Clean platform coding style|Clean platform coding style guideline (DRAFT)]]
Line 15: Line 18:
We very much welcome constructive suggestions, so feel free to discuss these drafts on the wiki or send suggestions using the [[Mailing lists|mailing lists]].
We very much welcome constructive suggestions, so feel free to discuss these drafts on the wiki or send suggestions using the [[Mailing lists|mailing lists]].


== Subversion Repository ==
== Contributions ==
The Clean platform is in development in a subversion repository at the University of Nijmegen.
If you have written a Clean library that you think is useful for other Clean users or in any other way want to help extend the collection please contact [mailto:b.lijnse@cs.ru.nl Bas Lijnse].
You can checkout this repository from the following url:
 
https://svn.cs.ru.nl/repos/clean-platform/trunk
 
You can also just browse this repository in WebSVN at the following url:
 
https://svn.cs.ru.nl/wsvn/clean-platform

Latest revision as of 14:06, 27 August 2018

The Clean platform project is an effort to gradually move the current Clean system from a language, tool set, and libraries towards a programming "platform". The project aims to achieve this by pursuing the following goals:

  • Define a broad consistent collection of libraries.
  • Provide guidelines and protocols for library developers
  • Enhance the tool set and possibly the language itself to make the development of multi-platform libraries easier.
  • Collect, refactor and extend existing libraries to make them consistent with the platform standards

You can find the Clean Platform collection on: https://gitlab.science.ru.nl/clean-and-itasks/clean-platform


When the project was initiated we documented some drafts on this wiki:

We very much welcome constructive suggestions, so feel free to discuss these drafts on the wiki or send suggestions using the mailing lists.

Contributions

If you have written a Clean library that you think is useful for other Clean users or in any other way want to help extend the collection please contact Bas Lijnse.