Difference between revisions of "Projects"

From Clean
Jump to navigationJump to search
(fix links)
 
(One intermediate revision by one other user not shown)
Line 14: Line 14:
  
 
== Docker images ==
 
== Docker images ==
There are '''unofficial, community-maintained''' Docker images with Clean environments at [https://hub.docker.com/r/camilstaps/clean/ camilstaps/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 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 and the nightly release.
+
There are tags for 2.4, 3.0 and the nightly release.
  
 
== vim-clean ==
 
== vim-clean ==
[https://github.com/camilstaps/vim-clean vim-clean] is a Vim plugin for Clean. It has syntax highlighting for both Clean and ABC code, compiler errorformats, allows you to switch easily between definition and implementation modules and has [https://cloogle.org Cloogle] integration.
+
[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.