Difference between revisions of "Clean platform"

From Clean
Jump to: navigation, search
 
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 14: Line 17:
  
 
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 ==
 
The Clean platform is in development in a subversion repository at the University of Nijmegen.
 
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
 
  
 
== Contributions ==
 
== 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 [mailto:b.lijnse@cs.ru.nl Bas Lijnse].
 
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].

Latest revision as of 16: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.