Stars
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 78.5% word sense disambiguator based on Transformers and RoBERTa (PyTorch)
ChristianMoesl / wasmdb-backend
Forked from scala-lms/tutorialsA 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.
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!
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
Linux kernel module for User Level Threads (Fibers)