Skip to content
View ivan-zapreev's full-sized avatar
12 followers · 24 following

Achievements

Achievement: Arctic Code Vault Contributor
BetaSend feedback

Achievements

Achievement: Arctic Code Vault Contributor
BetaSend feedback
Block or Report

Block or report ivan-zapreev

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned

  1. Distributed-Translation-Infrastructure Distributed-Translation-Infrastructure Public

    The distributed statistical machine translation infrastructure consisting of load balancing, text pre/post-processing and translation services. Written in C++ 11 and utilises multicore CPUs by empl…

    C++ 12 3

  2. Ariadne Ariadne Public

    Ariadne: An open tool for hybrid system analysis. This part of the code implements an infinite grid for representing open/closed/overt sets and performing operations on those sets.

    C++ 2 1

  3. ML-PT ML-PT Public

    The test task for ML-PT linked via https://heyiamsasha.notion.site/ML-PT-0bc4ce5012604ed397f040a1bdc29858

    Jupyter Notebook 4

  4. MRMC MRMC Public

    Markov Reward Model Checker - is a model checker for discrete-time and continuous-time Markov reward models. It supports reward extensions of PCTL and CSL (PRCTL and CSRL), and allows for the autom…

    C 2

  5. x-cure-chat x-cure-chat Public

    Free open source webchat and forum system allowing to posting downloadable videos and music files.

    Java 2 1

  6. rbu rbu Public

    A presentations for the Radbound University of Nijmegen

    C