Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
Some implementations of the Ramanujan Pi algorithm.
-
-
-
A collection of some mealy machines in .dot format.
-
-
Repository for controlcode pymote
-
A collection of shell scripts or commands
-
Documents, Papers, Slides for my PhD
-
http://tomte.cs.ru.nl/ Tomte is a tool that fully automatically constructs abstractions for automata learning.
-
Implementation of ECC signature verification for curve 255-19 on an ARM board
-
-
-
The Perception and Action Toolbox
-
-
-
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