1543295695 Goto Github PK

actions-njuhealthreport

自动完成 NJU 每日健康填报（Github Actions），So easy

deeplog

Pytorch Implementation of DeepLog.

lambdanet

Probabilistic Type Inference using Graph Neural Networks

lineararbitrary-seahorn

LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.

logdeep

log anomaly detection toolkit including DeepLog

logparser

A toolkit for automated log parsing [ICSE'19, TDSC'18, ICWS'17, DSN'16]

memae

unofficial implementation of paper Memorizing Normality to Detect Anomaly: Memory-augmented Deep Autoencoder (MemAE) for Unsupervised Anomaly Detection

memae-anomaly-detection

MemAE for anomaly detection. -- Gong, Dong, et al. "Memorizing Normality to Detect Anomaly: Memory-augmented Deep Autoencoder for Unsupervised Anomaly Detection". ICCV 2019.

nasr

problem-solving-class-coq

Rock on Coq for the Problem Solving Class at Nanjing University

stable-diffusion

A latent text-to-image diffusion model

stable-diffusion-webui

Stable Diffusion web UI

typilus

Code for "Typilus: Neural Type Hints" PLDI 2020