Similar repositories to isir/greta:
isir/greta
github
similar
danistefanovic/build-your-own-x
github
similar
Eugeny/terminus
github
similar
meilisearch/MeiliSearch
github
similar
k6io/k6
github
similar
tootsuite/mastodon
github
similar
isir/gretaUnity
github
similar
GU-CLASP/pyttr
github
similar
ArticulatedSocialAgentsPlatform/AsapRealizer
github
similar
cedille/icfp18-tutorial
github
similar
mitjanikolaus/childes-speech-acts
github
similar
AgentsUnited/demonstrator
github
similar
jtkristensen/f-flat
github
similar
heatherleaf/py-trindikit
github
similar
peterthiemann/definitional-session
github
similar
casvdrest/composable-semantics
github
similar
wubowen416/gesture-generation-using-WGAN
github
similar
gdijkstra/hs-to-gallina
github
similar
andreasabel/java-adt
github
similar
umazalakain/session-types-coq
github
similar
laMudri/generic-lr
github
similar
jespercockx/agda2scheme
github
similar
karinseve/OTTers
github
similar
sstucki/pts-agda
github
similar
bobatkey/agda-metric-reals
github
similar
Svito-zar/gesticulator
github
similar
jedyang97/MTAG
github
similar
frex-project/agda-fragment
github
similar
tree-sitter/tree-sitter-agda
github
similar
gallais/aGdaREP
github
similar
agda/agda-pkg
github
similar
kanishkamisra/minicons
github
similar
metaborg/linear.agda
github
similar
w3c/cogai
github
similar
mr-ohman/logrel-mltt
github
similar
exe1023/DialEvalMetrics
github
similar
ShirleyMaxx/ContextPose-PyTorch-release
github
similar
Shikib/usr
github
similar
vt-vl-lab/footskate_reducer
github
similar
bgalitsky/relevance-based-on-parse-trees
github
similar