dvoits

Moscow State University

Pinned Repositories

BioModelAnalyzer
BioModelAnalyzer is a user-friendly tool for constructing biological models and verifying them
Language:HTML0 1 00
ChronoZoom
ChronoZoom is an interactive timeline for all of history.
Language:JavaScript0 1 00
InteractiveDataDisplay
Interactive Data Display for JavaScript
Language:JavaScript0 2 00
mvctutorial
Language:JavaScript0 1 00
OpenAPI-Specification
The OpenAPI Specification Repository
Language:JavaScript00
stryker
Mutation testing for JavaScript and friends
Language:TypeScript0 0 00
stryker-net
Mutation testing for .NET core and .NET framework!
Language:C#0 0 00
vscode
Visual Studio Code
Language:TypeScript00
z3
The Z3 Theorem Prover
Language:C++0 1 00
z3test
Test and benchmark repository for Z3.
Language:SMT0 2 390

dvoits's Repositories

dvoits/BioModelAnalyzer
BioModelAnalyzer is a user-friendly tool for constructing biological models and verifying them
Language:HTML0 1 00
dvoits/ChronoZoom
ChronoZoom is an interactive timeline for all of history.
Language:JavaScript0 1 00
dvoits/InteractiveDataDisplay
Interactive Data Display for JavaScript
Language:JavaScript0 2 00
dvoits/mvctutorial
Language:JavaScript0 1 00
dvoits/OpenAPI-Specification
The OpenAPI Specification Repository
Language:JavaScript00
dvoits/stryker
Mutation testing for JavaScript and friends
Language:TypeScript0 0 00
dvoits/stryker-net
Mutation testing for .NET core and .NET framework!
Language:C#0 0 00
dvoits/vscode
Visual Studio Code
Language:TypeScript00
dvoits/z3
The Z3 Theorem Prover
Language:C++0 1 00
dvoits/z3test
Test and benchmark repository for Z3.
Language:SMT0 2 390