CompleX Group Interactions (XGI) is a Python package for higher-order networks.

Source code for our AAAI paper "Weisfeiler and Leman Go Neural: Higher-order Graph Neural Networks".

java implement Higher-order function ，support map，filter , reduce with parallel, android

PyTorch implementation of the end-to-end coreference resolution model with different higher-order inference methods.

Model finder for higher-order logic

A library which is not recognized as citizen of any infrastructure.

Higher-order "compose" function

A library for describing Haskell data types and obtain free generators, JSON codecs, pretty printers, etc.

QuickCheck extension for higher-order properties

Probabilistic separation logics for verifying higher-order probabilistic programs.

🎯 Learning different effect systems by example

Data and code repository from "Time-varying graph representation learning via higher-order skip-gram with negative sampling"

Build HOAs for Hyperapp

G4-iM Grinder is a fast, robust and highly adaptable algorithm. It is capable of locating, identifying, qualifying and quantifying DNA and RNA potential quadruplex structures, such as G-quadruplex, i-Motifs and their higher order versions.

Clean implementation of "Model-Agnostic Meta-Learning" in PyTorch using Facebook's Higher.

Functors to build REST API Broker

Tools for RHO-Lang smart contracts formal verification (with Namespace/Spatial/Hennessy-Milner Logics)

TFG - Simple functional nondeterministic language that combines call-time choice and run-time choice semantics.

Higher-order reducer which makes possible dispatching an array of actions at once

Coupling epidemic spreading, vaccination and opinion dynamics on data-informed multilayer networks