higher-order

There are 0 repository under higher-order topic.

• chrsmrrs / k-gnn

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

  deep-learninggraph-neural-networksgraphsgraph-algorithmspytorchweisfeiler-lehmanweisfeier-lemanend-to-endhigher-order
  Language:C++ 178

• TangXiaoLv / HFunc

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

  higher-orderjavafunction
  Language:Java 112

• lxucs / coref-hoi

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

  coreference-resolutionhigher-ordernlppytorch
  Language:Python 59

• nunchaku-inria / nunchaku

  Model finder for higher-order logic

  model-findingsatcvc4higher-orderlogicproof-assistantisabellehol
  Language:OCaml 41

• hablapps / stateless

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

  opticsdslhigher-orderscalastatelessbx
  Language:Scala 26

• microauth / micro-compose

  Higher-order "compose" function

  higher-order
  Language:JavaScript 24

• alonsodomin / haskell-schema

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

  haskellhaskell-libraryschemadata-structureshigher-orderjsonquickcheck
  Language:Haskell 18

• Lysxia / quickcheck-higherorder

  QuickCheck extension for higher-order properties

  quickcheckhaskellhigher-ordertesting
  Language:Haskell 16

• logsem / clutch

  Higher-order probabilistic separation logics for verifying higher-order probabilistic programs.

  coqcouplingsirisprobabilisticrelationalasynchronoushigher-orderlogicseparation-logic
  Language:Coq 12

• gvolpe / effects-playground

  :dart: Learning different effect systems by example

  effectsfusionhaskellmtlpolysemyfusedhigher-orderfunctorrioreadert
  Language:Haskell 11

• okwolf / hyperapp-middleware

  Build HOAs for Hyperapp

  hyperapphigher-orderfunctionallifecycle
  Language:JavaScript 7

• simonepiaggesi / hosgns

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

  temporal-graphsrepresentation-learningnetwork-analysisnode-embeddingstensorflow2tensor-decompositionhigher-orderskip-gram
  Language:Jupyter Notebook 7

• 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.

  dnag-quadruplexesimotifsquadruplexesrnahigher-order
  Language:R 6
• TrulyMAML

  DubiousCactus / TrulyMAML

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

  meta-learningclassificationregressionmamlmaml-algorithmmulti-task-learningpytorch-implementationhigher-order
  Language:Python 3

• digitake / bs-rest-api

  Functors to build REST API Broker

  bucklescriptfunctorsreasonmlrest-apihigher-order
  Language:OCaml 2

• bhovhannes / redux-action-chain-hor

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

  higher-orderreducerreduxactionperformance
  Language:TypeScript 1

• golovach-ivan / Correct-by-Construction

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

  ccshennessymilnerlogicspatialnamespacereflectivehigher-order
  Language:Scala 1

• ManuelVs / Sharade

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

  haskellcall-time-choicerun-time-choicefunctional-programmingfunctional-languagenondeterministichigher-orderlazy-evaluation
  Language:Haskell 1

• homeinfogmbh / functoolsplus

  More higher-order functions and operations on callable objects.

  functionsfunctoolshigher-orderlibrary
  Language:Python 0

• Moradii / LinearJ

  Inhomogeneous higher-order summary statistics for point processes on linear networks

  point-pattern-analysislinear-networkj-functionhigher-ordersummary-statistics
  Language:R 0

• errikos / bsc-thesis

  Undergraduate Thesis - National and Kapodistrian University of Athens

  logic-programmingnegationuniversity-thesishigher-order
  Language:TeX

• thinkful-ei-macaw / javascript-drills-jm

  Day 1: Functions & higher order functions drills by @huehealer and @malcolmkiano

  javascripthigher-orderfunctions
  Language:JavaScript