Projects in Awesome Lists tagged with higher-order
A curated list of projects in awesome lists tagged with higher-order .
https://github.com/xgi-org/xgi
CompleX Group Interactions (XGI) is a Python package for higher-order networks.
higher-order higher-order-networks hypergraphs network-science
Last synced: 01 May 2025
https://github.com/tangxiaolv/hfunc
java implement Higher-order function ，support map，filter , reduce with parallel, android
Last synced: 25 Apr 2025
https://github.com/alonsodomin/haskell-schema
A library for describing Haskell data types and obtain free generators, JSON codecs, pretty printers, etc.
data-structures haskell haskell-library higher-order json quickcheck schema
Last synced: 21 Apr 2025
https://github.com/lysxia/quickcheck-higherorder
QuickCheck extension for higher-order properties
haskell higher-order quickcheck testing
Last synced: 20 Mar 2025
https://github.com/logsem/clutch
Probabilistic separation logics for verifying higher-order probabilistic programs.
asynchronous coq couplings higher-order iris logic probabilistic relational separation-logic
Last synced: 14 Feb 2025
https://github.com/colltoaction/nx_yaml
A higher-order syntax
category-theory geometric-deep-learning higher-order hypergraph intermediate-representation language network-analysis networkx programming-language yaml
Last synced: 11 Apr 2025
https://github.com/bhovhannes/redux-action-chain-hor
Higher-order reducer which makes possible dispatching an array of actions at once
action higher-order performance reducer redux
Last synced: 09 Apr 2025
https://github.com/colltoaction/nx_hif
A higher-order runtime
graph-algorithms graph-rewriting higher-order hypergraph
Last synced: 20 Apr 2025