Results for "isomorphisms"

Claude Code Claude Desktop GitHub Copilot Cursor Windsurf Cline Zed JetBrains

📄SKILL.md 🤖CLAUDE.md ⚡Claude Commands 📐.cursorrules 📐Cursor Rules 🕹️AGENTS.md 🧬codex.md 🏄.windsurfrules 🔧.clinerules 🧑‍✈️Copilot Instructions

All Development Operations Data Product Marketing Customer Design Sales

110 skills found · Page 1 of 4

Chymyst / Curryhoward

261

Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism

universal

automated-theorem-proverscode-generationcurry-howard-isomorphism+7

Updated 7d ago

Lucifier129 / Isomorphism React Todomvc

193

Isomorphism javascript of todomvc powered by react and express

universal

Updated 1y ago

MiviaLab / Vf3lib

138

VF3 Algorithm - The fastest algorithm to solve subgraph isomorphism on large and dense graphs

universal

algorithmdense-graphgraph-isomorphism+6

Updated 23d ago

gbouritsas / GSN

106

Official repository for the paper "Improving Graph Neural Network Expressivity via Subgraph Isomorphism Counting" (TPAMI'22) https://arxiv.org/abs/2006.09252

universal

graph-neural-networksgraph-representation-learningneural-network-expressivity+2

Updated 7d ago

egyptdj / Stagin

105

STAGIN: Spatio-Temporal Attention Graph Isomorphism Network

universal

attentionconnectomeexplainability+7

Updated 2mo ago

ciaranm / Glasgow Subgraph Solver

A solver for subgraph isomorphism problems, based upon a series of papers by subsets of McCreesh, Prosser, and Trimble.

universal

Updated 1mo ago

nd7141 / Graph Datasets

Data for "Understanding Isomorphism Bias in Graph Data Sets" paper.

universal

Updated 4mo ago

pdobsan / Pynauty

Isomorphism testing and automorphisms of graphs

universal

graph-theorygroup-theorypython

Updated 2d ago

kdub0 / Hand Isomorphism

A C library for indexing poker hands that respects suit isomorphisms

universal

Updated 1mo ago

OwenTrokeBillard / Vf2

VF2 subgraph isomorphism algorithm in Rust.

universal

Updated 3mo ago

aplbrain / Grandiso Networkx

Performant, pure-Python subgraph isomorphism and monomorphism search (aka "motif search")

universal

algorithmaplbrainbossdb+11

Updated 2mo ago

russchua / Graph Isomorphism Networks

A Tensorflow 2.0 implementation of Graph Isomorphism Networks.

universal

Updated 10mo ago

HKUST-KnowComp / NeuralSubgraphCounting

Source Code for KDD 2020 paper "Neural Subgraph Isomorphism Counting"

universal

Updated 3mo ago

MiviaLab / Vf2lib

VF2 - Subgraph Isomorphism

universal

Updated 1mo ago

WSP-LAB / HiddenCPG

HiddenCPG: Large-Scale Vulnerable Clone Detection Using Subgraph Isomorphism of Code Property Graphs

universal

clone-detectionsubgrpah-isomorphism

Updated 2mo ago

topheman / React Es6 Isomorphic

A simple app to try React and ES6, using topheman-apis-proxy as data api backend NOW with isomorphism

universal

Updated 2y ago

melvic-ybanez / Chi

A function code generator and an isomorphism analyzer

universal

Updated 3mo ago

Rooooyy / HiTIN

Code for ACL 2023 paper "HiTIN: Hierarchy-aware Tree Isomorphism Network for Hierarchical Text Classification"

universal

deep-learninggraph-neural-networksnatural-language-processing

Updated 2mo ago

pkumod / GSI

GPU-friendly Subgraph Isomorphism, published in ICDE 2020

universal

gpuisomorphismsubgraph

Updated 2mo ago

takagi / Common Lisp Script

Isomorphism between browser side and server side in Common Lisp.

universal

Updated 3y ago