Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
A concurrent programming language with linearly refined session types
-
Infer the run time of simple machine learning pipelines.
-
The Qis|krypt⟩ is a software suite of protocols of quantum cryptography and quantum communications, as well, other protocols and algorithms, built using the IBM’s open-source Software Development Kit for quantum computing Qiskit.
⚛ ️🔐 -
-
A collection of Jupyter Notebooks with explanations, insights, tutorials, exercises and showing how to use the Qiskrypt software suite, built using the IBM’s open-source Software Development Kit for quantum computing Qiskit.
📚 👨 🏫 -
This repository contains publicly accessible files used for the development of the SATO platform, namely the ontologies, context, and other support files.
-
-
-
Repositório com recursos para os concursos de programação.
-
-
-
metaFERA framework and EmoServices web services
-
-
Varanus: A set of applications for providing resilient communications in a Software-Defined Network
-
A starter project for Plutus apps
-
The software to extract features from source code.
-
-
