Evgeny Pavlov's repositories
models
Models and examples built with TensorFlow
keras
Deep Learning for humans
tt_rating
This repo contains simple scripts for table tennis rating calculation
angelix
Automated program repair tool based on symbolic execution and program synthesis
coreclr
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.
corefx
This repo contains the .NET Core foundational libraries, called CoreFX. It includes classes for collections, file systems, console, XML, async and many others.
algorithms
Some basic algorithms implemented in C# language
.emacs.d
My emacs config
ldd2afs
This repo implements clang-based translator from C (Linux device drivers) to AFS language
clang-tools-extra
Fork of official clang-tools-extra git repository
iotjs
Platform for Internet of Things with JavaScript
clang
Fork of official clang git repository.
llvm
Fork of official llvm git repository
DSV
Driver Synchronization Verifier
AFS2REQS
This project builds reqursive equations system for program in AFS (asynchronous functional scheme) language