Difference between revisions of "Clean platform"

From Clean
Jump to navigationJump to search
(Added links to the repo)
 
(2 intermediate revisions by 2 users not shown)
Line 1: Line 1:
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:
+
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.
 
* Define a broad consistent collection of libraries.
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 15: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.