Snippets · Explore

Explore GitLab

Discover projects, groups and snippets. Share your projects with others

Create a bot user to push from CI bot_create.py
- 0
- Public
$275 · authored Jul 30, 2018 by Anton Akhmerov
updated Jul 30, 2018
Questions honors track questions.md
- 0
- Public
$28 · authored May 08, 2018 by Anton Akhmerov
updated May 16, 2018
Pseudonymization of student numbers pseudonymize.py
- 0
- Public
$12 · authored Jan 28, 2018 by Anton Akhmerov
updated Jan 28, 2018
adaptive logo
- 0
- Public
$11 · authored Jan 08, 2018 by Bas Nijholt
updated Jan 08, 2018
publist.py
- 1
- Public
$7 · authored Oct 02, 2017 by Anton Akhmerov
updated May 29, 2018
test snippet
- 0
- Public
$4 · authored Nov 18, 2015 by Joseph Weston
updated Nov 18, 2015
Script to create Kwant development environment for Python 3 create-dev-env.sh
- 0
- Public
$3 · authored Nov 10, 2015 by Joseph Weston
updated Nov 10, 2015