Difference between revisions of "Projects"

From Clean
Jump to navigationJump to search
(added description of clean platform)
(fix links)
 
(15 intermediate revisions by 4 users not shown)
Line 2: Line 2:
 
If you are working on a Clean related project, feel free to add a short description and a link to your project on this page.
 
If you are working on a Clean related project, feel free to add a short description and a link to your project on this page.
  
 +
== Clean platform ==
 +
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:
  
== Clean Platform Project ==
+
* Define a broad consistent collection of libraries
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:
+
* 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
  
* Define a broad consistent collection of libraries.
+
== Cloogle ==
* Provide guidelines and protocols for library developers
+
[https://cloogle.org Cloogle] is the official Clean search engine. It searches the Clean standard libraries for type definitions and functions.
* 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
+
== Docker images ==
 +
There are Docker images with Clean environments at [https://hub.docker.com/r/itasks/clean/ itasks/clean]. These images can be used to run <tt>clm</tt> in a clean environment, but also to derive a new <tt>Dockerfile</tt> for your Clean project.
 +
 
 +
There are tags for 2.4, 3.0 and the nightly release.
 +
 
 +
== vim-clean ==
 +
[https://gitlab.com/clean-and-itasks/vim-clean vim-clean] is a Vim plugin for Clean. It has syntax highlighting for both Clean and ABC code, compiler error formats, allows you to switch easily between definition and implementation modules and has [https://cloogle.org Cloogle] integration.

Latest revision as of 11:08, 23 February 2022

This page is intended to provide an overview of projects that are using Clean or are otherwise related to Clean. If you are working on a Clean related project, feel free to add a short description and a link to your project on this page.

Clean platform

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

Cloogle

Cloogle is the official Clean search engine. It searches the Clean standard libraries for type definitions and functions.

Docker images

There are Docker images with Clean environments at itasks/clean. These images can be used to run clm in a clean environment, but also to derive a new Dockerfile for your Clean project.

There are tags for 2.4, 3.0 and the nightly release.

vim-clean

vim-clean is a Vim plugin for Clean. It has syntax highlighting for both Clean and ABC code, compiler error formats, allows you to switch easily between definition and implementation modules and has Cloogle integration.