Difference between revisions of "Projects"
(fix links) |
|||
| (7 intermediate revisions by 3 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 | + | == Clean platform == |
| − | The [[Clean platform]] 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 9: | Line 9: | ||
* Enhance the tool set and possibly the language itself to make the development of multi-platform libraries easier | * 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 | * Collect, refactor, and extend existing libraries to make them consistent with the platform standards | ||
| + | |||
| + | == Cloogle == | ||
| + | [https://cloogle.org 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 [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.
