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

Achievements

Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Arctic Code Vault Contributor

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.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse

  • ML-PT Public

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

    Jupyter Notebook 5 GNU General Public License v3.0 Updated Jan 20, 2023

  • SimpDOM Public

    Forked from MurtuzaBohra/SimpDOM

    Simplified DOM Trees for Transferable Attribute Extraction from the Web

    Python 1 Updated Nov 16, 2022

  • 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 GNU General Public License v2.0 Updated Jun 2, 2020

  • data-science-python-projects Public

    The repository to store the Python projects for the IBM data science course

    Jupyter Notebook GNU General Public License v3.0 Updated Feb 27, 2020

  • data-science-r-projects Public

    The repository to store the R projects for the Harvard data science course

    R 1 GNU General Public License v3.0 Updated Jan 29, 2020

  • rbu Public

    A presentations for the Radbound University of Nijmegen

    C Updated Jan 24, 2020

  • 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…

    distributed-systems text machine multithreading load-balancer ssl-support preprocessing
    C++ 12 3 GNU General Public License v2.0 Updated Nov 29, 2018

  • SCOTS2SR Public

    The main project for the application doing symbolic fitting of BDD based symbolic controllers generated by SCOTSv2.0, depends on https://github.com/ivan-zapreev/SCOTS2DLL, https://github.com/ivan-z…

    Java 1 GNU General Public License v3.0 Updated Jun 3, 2018

  • SR2JLIB Public

    This is a Symbolic Regression library (Netbeans project) for fitting data with vector functions using Grammar-Guided Genetic Programming. The library features multi-threading, just-in-time compilat…

    HTML 1 GNU General Public License v3.0 Updated Jun 3, 2018

  • SCOTS2C Public

    BDD controller compression utilities for SCOTSv2.0 (a tool for computing discrete abstractions and symbolic controllers)

    C GNU General Public License v3.0 Updated May 17, 2018

  • SR2JLIB_EX Public

    An example project showing how the https://github.com/ivan-zapreev/SR2JLIB library to be used.

    Java 1 GNU General Public License v3.0 Updated May 16, 2018

  • SCOTS2DLL Public

    The native C++ part of the https://github.com/ivan-zapreev/SCOTS2SR project, depends on https://github.com/ivan-zapreev/SCOTS2JNI and https://github.com/ivan-zapreev/SCOTS2C

    C++ GNU General Public License v3.0 Updated May 16, 2018

  • SCOTS2JNI Public

    The JNI part of the https://github.com/ivan-zapreev/SCOTS2SR project, depends on https://github.com/ivan-zapreev/SR2JLIB, is used by https://github.com/ivan-zapreev/SCOTS2DLL

    Java GNU General Public License v3.0 Updated May 15, 2018

  • Demos Public

    My demos in different programming languages

    Java 1 Updated Apr 7, 2016

  • Automated-Translation-Tries Public

    A C++ unordered-map based Trie implementation for storing n-gram language models for statisticam machine translation.

    HTML 1 GNU General Public License v2.0 Updated Apr 7, 2016

  • 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 Updated Apr 7, 2016

  • x-cure-chat Public

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

    Java 2 1 GNU General Public License v3.0 Updated Apr 7, 2016

  • Back-Off-Language-Model-SMT Public

    The implementation of the Back-Off Language model(s) for SMT

    HTML 2 GNU General Public License v2.0 Updated Apr 7, 2016