Pinned Loading

1. Coding-Library Coding-Library Public

   Library of C++ implementations for algorithms used in competitive programming.

   C++ 153 41

2. SP-MPNN SP-MPNN Public

   Implementation of the SPN model and the experiments from the LoG 2022 paper "Shortest Path Networks for Graph Property Prediction".

   Python 22 3

3. ZZYSonny/PlanE ZZYSonny/PlanE Public

   Implementation of the BasePlanE models and the experiments from the NeurIPS 2023 paper "PlanE: Representation Learning over Planar Graphs"

   Python 12 1

4. WMI-DNF WMI-DNF Public

   Implementation of the WMI algorithm for DNF structures from the KR 2020 paper "On the approximability of weighted model integration on DNF structures".

   Python

5. Miyamura80/ZKMicrophone Miyamura80/ZKMicrophone Public

   🎙🔒 ZK Microphone: Trusted audio in the age of deepfakes 🔒🎙 Generative AI is a threat to society. It enables disinformation, manipulation, and political subversion. We've built the world's first att…

   Solidity 89 2

6. nvim-config nvim-config Public

   Neovim config

   Vim Script 1