Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
Clean IDE
-
-
Implementation of elliptic curve cryptography using the Renes-Costello-Batine addition laws
-
-
Software to run the pipelines, work with database, etc.
-
Clean make
-
The Cloogle system
-
Clean libraries and examples
-
Clean StdEnv
-
Run-time system for the Clean programming language
-
-
-
Tight-binding Propagation Simulator for python 3.
-
Plot dependencies between Clean libraries using the Cloogle database
-
-
-
-
-
-
