Difference between revisions of "Projects"

From Clean
Jump to navigationJump to search
m (→‎vim-clean: URL update)
Line 19: Line 19:
  
 
== 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.science.ru.nl/cstaps/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.

Revision as of 21:23, 3 February 2019

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 unofficial, community-maintained Docker images with Clean environments at camilstaps/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 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 errorformats, allows you to switch easily between definition and implementation modules and has Cloogle integration.