Explore projects

Varanus: A set of applications for providing resilient communications in a Software-Defined Network

A concurrent programming language with linearly refined session types

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

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

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. ⚛️ 🔐

Repositório com recursos para os concursos de programação.

Material de Programação I (LTI) de 2021/2022

Project with the code produced for the Master Thesis "Predicting clinically relevant endpoints in ALS using machine learning".

A starter project for Plutus apps

Infer the run time of simple machine learning pipelines.

OpenPLC Runtime version 3