Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
Data Manager
-
Python+Java tool for learning TCP implementations
-
Deprecated. The first attempt at a cost analysis for iTasks
-
The goal is a fast parallel Assembly implementation of the SHA-256 hashing algorithm, using SIMD operations on the ARM Cortex-A8 processor.
Bachelor thesis by Wouter van der Linde [s4291832], Radboud University, Nijmegen, The Netherlands
-
Active Learning of NOndeterministic Systems
-
Data Manager
-
Package fsm implements a simple finite state (Mealy) machine.
-
Package partition can be used to construct the coarsest refinement of a partition P of a set N of integers [0, n) with respect to one or more functions of type N->N.
-
Several sets of benchmarks for the two partition refinement algorithms found in the gitlab.science.ru.nl/rick/partition repository.
-
Docker image for the software security testcms.
-
Re-usable Tonic libraries and stand-alone Tonic viewer
-
Authors: Rauf Mahmudlu, Halim Munawar, Moritz Neikes, Niels Samwel
-
New implementation of diagonalization code, written for python wrapping.
-
-
We compare the existing RA learners (Tomte and RALib) on a set of benchmarks and analyze the statistics. The project includes the binaries of the tools, as well as scripts that automatically generate models, run and collect data.
-
Basic learner setup, using learnlib/automatalib, containing an example SUL and a socket-interface to connect a SUL over TCP.
-
Basic learner setup, using learnlib/automatalib, containing an example SUL and a socket-interface to connect a SUL over TCP. https://github.com/Jaxan/basic-learning
-
Mealy machines, DFAs, Circuits and minimisation in Haskell: https://github.com/Jaxan/Kiss2FSM
-
ARM implementation of the ChaCha20 block cipher
-
Online monitoring for Very Long Baseline Interferometry campaigns.