xsk07

whisper

Robust Speech Recognition via Large-Scale Weak Supervision

openzeppelin-contracts

OpenZeppelin Contracts is a library for secure smart contract development.

antlr4

ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.

optuna

A hyperparameter optimization framework

awesome-ai-agents

A list of AI autonomous agents

stable-baselines3

PyTorch version of Stable Baselines, reliable implementations of reinforcement learning algorithms.

Gymnasium

An API standard for single-agent reinforcement learning environments, with popular reference environments and related utilities (formerly Gym)

missingno

Missing data visualization module for Python.

PettingZoo

An API standard for multi-agent reinforcement learning environments, with popular reference environments and related utilities

javacc

JavaCC - a parser generator for building parsers from grammars. It can generate code in Java, C++ and C#.

pm4py-core

Public repository for the PM4Py (Process Mining for Python) project.

logictensornetworks

Deep Learning and Logical Reasoning from Data and Knowledge

T-LSTM

Time-Aware LSTM

prism

The main development version of the PRISM model checker.

eprover

Caterpillar

Caterpillar: A BPMN-based BPMS for Ethereum

ISDNet

packages-jpl

JPL: The Prolog <-> Java interface

Deformation-Segmentation

PyTorch implementation of Learning to Downsample for Segmentation of Ultra-High Resolution Images [ICLR 2022]

processtransformer

Transformer Network for Predictive Business Process Monitoring Tasks

PetriNetPlans

Petri Net Plans library and applications

MINERful

A fast, two-steps algorithm for the automated discovery and management of declarative business process constraints

prism-games

The main development version of the PRISM-games model checker, an extension of PRISM which supports stochastic games.

Declare4Py

A Python package for declarative Process Mining with Machine Learning applications

smartRPA

DLAI-s2-2023

PQL

Process Query Language (PQL) is a special-purpose programming language for managing process models based on information about process instances that these models describe. PQL is based upon temporal logic and adopts the concrete syntax of SQL.

ML_labs

This repository contains the laboratory exercises with discussions of the Machine Learning course (2023/24) at the Master's degree in Computer Science at the Sapienza University of Rome

deep-learning-notes

Student course notes for the Deep Learning and Applied Artificial Intelligence master course at Sapienza, University of Rome.

blockchain-project