hoelzl/tensorflow
Open source software library for numerical computation using data flow graphs.
Semantics of S-Expression based SCEL, implemented in PLT Redex
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Open source software library for numerical computation using data flow graphs.
Unreal Engine Dynamic Shooter Template
More details can be found in my blog: Unreal Possibilities
ACL2 System and Books as Maintained by the Community