Models and examples built with TensorFlow
Deep Learning for humans
This repo contains simple scripts for table tennis rating calculation
Automated program repair tool based on symbolic execution and program synthesis
This repo contains the .NET Core runtime, called CoreCLR, and the base library, called mscorlib. It includes the garbage collector, JIT compiler, base .NET data types and many low-level classes.
This repo contains the .NET Core foundational libraries, called CoreFX. It includes classes for collections, file systems, console, XML, async and many others.
Some basic algorithms implemented in C# language
My emacs config
This repo implements clang-based translator from C (Linux device drivers) to AFS language
Fork of official clang-tools-extra git repository
Fork of official clang git repository.
Fork of official llvm git repository
Driver Synchronization Verifier
This project builds reqursive equations system for program in AFS (asynchronous functional scheme) language