stub22
symbolic math, type theory, knowledge representation, authorable systems, ontologies
Appstract Inventions
Pinned Repositories
axiomagic
Axiomagic is an interactive exploration toolkit
funcprog-ex
Exercises in Functional Programming
glue-ai-ng
glue.ai social robotics software - nextgen experiments
glue-ai-v1_aa-top
glue-ai-v1_appdapter
glue-ai-v1_cogchar
glue-ai-v1_freckler
glue-ai-v1_friendularity
gravax
Illustrating the AxLam method in Scala
zio_stub22
ZIO — A type-safe, composable library for async and concurrent programming in Scala
stub22's Repositories
stub22/axiomagic
Axiomagic is an interactive exploration toolkit
stub22/gravax
Illustrating the AxLam method in Scala
stub22/glue-ai-ng
glue.ai social robotics software - nextgen experiments
stub22/funcprog-ex
Exercises in Functional Programming
stub22/glue-ai-v1_aa-top
stub22/glue-ai-v1_appdapter
stub22/glue-ai-v1_cogchar
stub22/glue-ai-v1_freckler
stub22/glue-ai-v1_friendularity
stub22/glue-ai-v1_jflux
stub22/zio_stub22
ZIO — A type-safe, composable library for async and concurrent programming in Scala
stub22/glue-ai-v1_mechio-java
stub22/glue-ai-v1_mechio-native
stub22/glue-ai-v1_roboworkshop