Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
The evolving specification for Alethe, a flexible format for SMT proofs.
-
GBOML: Graph-Based Optimization Modeling Language
-
A Free Open-Source Blade Element Momentum Theory implementation in Matlab.
-
Example Jekyll site using GitLab Pages: https://pages.gitlab.io/jekyll
-
Script analysing results from Simian (http://www.harukizaemon.com/simian/) xml file output in order to detect plagiarism between two projects. It will filter Simian results and remove all duplicated blocks that concern only one project.