oliwheeler
Follow
Stars
5
stars
written in C++
Clear filter
Microsoft Cognitive Toolkit (CNTK), an open source deep-learning toolkit
Service Fabric is a distributed systems platform for packaging, deploying, and managing stateless and stateful distributed applications and containers at large scale.
🆎 A fork of React Native's <Text/> component that supports Reanimated Shared Values as text!
IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniq…