ivan-zapreev/x-cure-chat

Stars
2
Language
Java
License
GNU General Publi...
Created almost 10 years ago
Updated over 8 years ago

ivan-zapreev/x-cure-chat

ivan-zapreev

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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

Distributed-Translation-Infrastructure

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 employing multi-threading, allows for secure SSL/TLS communications.

ML-PT

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

Jupyter Notebook

Ariadne

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.

Back-Off-Language-Model-SMT

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

MRMC

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 automated verification of properties concerning long-run and instantaneous rewards as well as cumulative rewards. In particular, it supports to check the reachability of a set of goal states (by only visiting legal states before) under a time and an accumulated reward constraint.

SR2JLIB

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 compilation of individuals, and allows using JNI interface through dynamic class loading. See an example use https://github.com/ivan-zapreev/SR2JLIB_EX.

Automated-Translation-Tries

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

Demos

My demos in different programming languages

SR2JLIB_EX

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

data-science-r-projects

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

SCOTS2SR

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-zapreev/SCOTS2JNI, and https://github.com/ivan-zapreev/SR2JLIB