Pinned Loading

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