higher-order
There are 24 repositories under higher-order topic.
xgi-org/xgi
CompleX Group Interactions (XGI) is a Python package for higher-order networks.
chrsmrrs/k-gnn
Source code for our AAAI paper "Weisfeiler and Leman Go Neural: Higher-order Graph Neural Networks".
TangXiaoLv/HFunc
java implement Higher-order function ，support map，filter , reduce with parallel, android
lxucs/coref-hoi
PyTorch implementation of the end-to-end coreference resolution model with different higher-order inference methods.
nunchaku-inria/nunchaku
Model finder for higher-order logic
hablapps/stateless
A library which is not recognized as citizen of any infrastructure.
microauth/micro-compose
Higher-order "compose" function
alonsodomin/haskell-schema
A library for describing Haskell data types and obtain free generators, JSON codecs, pretty printers, etc.
logsem/clutch
Probabilistic separation logics for verifying higher-order probabilistic programs.
Lysxia/quickcheck-higherorder
QuickCheck extension for higher-order properties
gvolpe/effects-playground
:dart: Learning different effect systems by example
simonepiaggesi/hosgns
Data and code repository from "Time-varying graph representation learning via higher-order skip-gram with negative sampling"
EfresBR/G4iMGrinder
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.
okwolf/hyperapp-middleware
Build HOAs for Hyperapp
DubiousCactus/TrulyMAML
Clean implementation of "Model-Agnostic Meta-Learning" in PyTorch using Facebook's Higher.
digitake/bs-rest-api
Functors to build REST API Broker
bhovhannes/redux-action-chain-hor
Higher-order reducer which makes possible dispatching an array of actions at once
golovach-ivan/Correct-by-Construction
Tools for RHO-Lang smart contracts formal verification (with Namespace/Spatial/Hennessy-Milner Logics)
ManuelVs/Sharade
TFG - Simple functional nondeterministic language that combines call-time choice and run-time choice semantics.
homeinfogmbh/functoolsplus
More higher-order functions and operations on callable objects.
Moradii/LinearJ
Inhomogeneous higher-order summary statistics for point processes on linear networks
errikos/bsc-thesis
Undergraduate Thesis - National and Kapodistrian University of Athens
phononautomata/threshold
Coupling epidemic spreading, vaccination and opinion dynamics on data-informed multilayer networks
thinkful-ei-macaw/javascript-drills-jm
Day 1: Functions & higher order functions drills by @huehealer and @malcolmkiano