Seweryn's starred repositories
openzeppelin-contracts
OpenZeppelin Contracts is a library for secure smart contract development.
awesome-ai-agents
A list of AI autonomous agents
stable-baselines3
PyTorch version of Stable Baselines, reliable implementations of reinforcement learning algorithms.
PettingZoo
An API standard for multi-agent reinforcement learning environments, with popular reference environments and related utilities
pm4py-core
Public repository for the PM4Py (Process Mining for Python) project.
logictensornetworks
Deep Learning and Logical Reasoning from Data and Knowledge
Caterpillar
Caterpillar: A BPMN-based BPMS for Ethereum
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
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
deep-learning-notes
Student course notes for the Deep Learning and Applied Artificial Intelligence master course at Sapienza, University of Rome.