Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
Repositório com recursos para os concursos de programação.
-
Varanus: A set of applications for providing resilient communications in a Software-Defined Network
-
-
-
-
-
-
-
metaFERA framework and EmoServices web services
-
The software to extract features from source code.
-
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.
📚 👨 🏫 -
A starter project for Plutus apps
-
A concurrent programming language with linearly refined session types
-
Infer the run time of simple machine learning pipelines.
-
-
Material de Programação I (LTI) de 2021/2022
