Explore projects
-
-
-
Regular program verification / Timbuk / timbuk
GNU Lesser General Public License v2.1 onlyA regular verification framework based on Tree Automata and Term Rewriting Systems.
Updated -
Elan-public-code / so-bogus
Creative Commons Zero v1.0 UniversalUpdated -
Updated
-
-
-
Updated
-
Updated
-
Example Jekyll site using GitLab Pages: https://pages.gitlab.io/jekyll
Updated -
Updated
-
distem / distem
GNU General Public License v3.0 onlyUpdated -
Updated
-
PAIPURI Mahendra / ceph5k
GNU General Public License v2.0 or laterTools for deploying and using Ceph cluster on Grid'5000
Updated -
Lucas Nussbaum / debian-vm-templates
MIT LicenseUpdated -
Description of the GenOuest core facility, policy, rules etc...
Updated -
-
-