Explore projects

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

Infer the run time of simple machine learning pipelines.

A concurrent programming language with linearly refined session types

A starter project for Plutus apps

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

The software to extract features from source code.

metaFERA framework and EmoServices web services

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