Explore projects

A concurrent programming language with linearly refined session types

Infer the run time of simple machine learning pipelines.

This repository contains publicly accessible files used for the development of the SATO platform, namely the ontologies, context, and other support files.

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. 📚 👨‍🏫

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.