Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
LaTeX templates for:
presentations lecture slides research project reports (like Bachelor, Master, or PhD theses, but also much smaller ones)Created by Pascal Bercher (credit appreciated), though some parts may have contributions by others.
-
-
-
Code related to the Open-Form Music Composition for Synchronised and Coordinated Action
-
-
-
This repository contains various pre-prints, technical reports and other documents from Thomas Haines
Updated -
-
Parallel Fixed-point Model Checker (PFMC) - a parallel version of Open-Source Fixed-point Model Checker (OFMC) for security protocol verification.
-
The specification of Mu.
-
http://windatlas.xyz A website for making 40 years of hourly wind energy data easily available.
-
-
Active Knowledge Graph Completion resources
-
Per model field permissions for Django.
-
CECS Course Information Management System
-
-
-
Web password managing utilities
-
code for Episode Adaptive Embedding Networks for Few-shot Learning
-