Holographic Node Representations: Pre-training Task-Agnostic Node Embeddings (ICLR 2025)

A high-performance, parallel, compilation-based symbolic execution engine

Understanding and Extending Subgraph GNNs by Rethinking their Symmetries (NeurIPS 2022 Oral)

Equivariant Subgraph Aggregation Networks (ICLR 2022 Spotlight)

Browser extension to curate, annotate, and discuss the most valuable content and ideas on the web. As individuals, teams and communities.

Athens is no longer maintainted. Athens was an open-source, collaborative knowledge graph, backed by YC W21

PyTorch dataset extended with map, cache etc. (tensorflow.data like)

A pythonic leveldb wrapper

A 78.5% word sense disambiguator based on Transformers and RoBERTa (PyTorch)

A Coq to Cedille compiler written in Coq

A Database for the browser using compiled SQL queries in WASM (backend)

A Database for the browser using compiled SQL queries in WASM

A raspberry PI is used to control the pool hardware (pumps, valves, temperature sensors,...), which can be accessed through an web interface.

WASM as an embedded DSL in Scala

Collection of quotes on notation design & how it affects thought.

Powerful yet simple to use screenshot software 🖥️ 📸

Android application to record drawings information

KWin script to move windows quickly

Recognize items drawn on a touchscreen

Clusterization of Twitter users and general-purpose recommender system

The new Windows Terminal and the original Windows console host, all in the same place!

Graph Imputation Neural Network

An option to spin cost effective EMR clusters in AWS with Hail and JupyterNotebook installed

Project for the Advanced Operating Systems and Virtualization (2017/2018) course held at Sapienza, University of Rome

Lecture notes for Advanced Operating Systems and Virtualization course at Sapienza University of Rome

Run compilers interactively from your web browser and interact with the assembly

Open Source Continuous File Synchronization

Mobile Applications and Cloud Computing project