u6684258 Goto Github PK

android_advanced_war

anutimetable

Intuitive timetable builder for the Australian National University.

asnets

Source for Action Schema Networks paper (AAAI'18)

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

create-eth-app

Create Ethereum-powered apps with one command

dapp-starter-kit

Dapp Starter Kit for Ethereum packed with react, redux, configured redux dev tools, bootstrap, truffle, web3, reselect & lodash with web3, account, and sample contract already preloaded on the front end via redux store. All files and folders are setup to handle the scale of any application beginner to advanced

graph2vec

A parallel implementation of "graph2vec: Learning Distributed Representations of Graphs" (MLGWorkshop 2017).

mdpsim

PPDDL plan evalutation simulator

myvoicemanager

neuralfastdownward

presidential-rnn

Project 4 for Metis bootcamp. Objective was generation of character-level RNN trained on Donald Trump's statements using Keras. Also generated Markov chains, and quick pyTorch RNN as baseline. Attempted semi-supervised GAN, but was unable to test in time.

pyperplan

Modification of Pyperplan for STRIPS-HGN

reinforcement-learning-with-tensorflow

Simple Reinforcement learning tutorials

repo05_copy

sonic-psei

modified Sonic for Remote Sensing Decentralized Insurance System based on implementation by adjoint.io

starter-kits

Start building full stack dApps fast with this starter kit!

strips-hgn

Learning Domain-Independent Planning Heuristics over Hypergraphs (ICAPS'20)

u6684258.github.io

My blogs, 国内请访问https://u6684258-github-io-6c5vnarkg.vercel.app/ template from https://github.com/wu-kan/jekyll-theme-WuK

unityproject