higher-order topic
k-gnn
Source code for our AAAI paper "Weisfeiler and Leman Go Neural: Higher-order Graph Neural Networks".
HFunc
java implement Higher-order function ，support map，filter , reduce with parallel, android
xgi
CompleX Group Interactions (XGI) is a Python package for higher-order networks.
haskell-schema
A library for describing Haskell data types and obtain free generators, JSON codecs, pretty printers, etc.
stateless
A library which is not recognized as citizen of any infrastructure.
nunchaku
Model finder for higher-order logic
quickcheck-higherorder
QuickCheck extension for higher-order properties
coref-hoi
PyTorch implementation of the end-to-end coreference resolution model with different higher-order inference methods.