gravatar for speckdavid

speckdavid speckdavid on Github

global

Languages

5 total

LanguageReposStarsGlobal
all838525,070
C++32940,078
PDDL2623
C13128,213
SAS10-
Jupyter Notebook10-

Repos

8 total

RepoLanguageStarsRank
speckdavid/symk on GithubsymkC++2555,018
speckdavid/rl-plan on Githubrl-planPDDL627
speckdavid/shakey2016 on Githubshakey2016C++4213,055
speckdavid/symbolic-osp on Githubsymbolic-ospC3174,793
speckdavid/fd-symbolic-axioms on Githubfd-symbolic-axiomsPDDL0-
speckdavid/SDAC-Benchmarks on GithubSDAC-BenchmarksSAS0-
speckdavid/up-symk on Githubup-symkJupyter Notebook0-
speckdavid/decoupling-transformer on Githubdecoupling-transformerC++0-

Badges

Get your badge to use on GitHub or websites using the code below

Global

Global

Displays global rankings for all languages plus top two languages by stars

Preview

Last updated: 2024-05-19T09:21:52.776693594Z Re-sync