Explore projects

Some implementations of the Ramanujan Pi algorithm.

Repository for controlcode pymote

Data Manager

Re-usable Tonic libraries and stand-alone Tonic viewer

Several sets of benchmarks for the two partition refinement algorithms found in the gitlab.science.ru.nl/rick/partition repository.

Implementation of ECC signature verification for curve 255-19 on an ARM board

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.

Docker image for the software security testcms.

Deprecated. The first attempt at a cost analysis for iTasks

THIS IS A MIRROR!!!

Please add issues and pull requests on https://github.com/timjs/clean-scrub

THIS IS A MIRROR!!!

Please add issues and pull requests on https://github.com/timjs/clean-base

THIS IS A MIRROR!!!

Please add issues and pull requests on https://github.com/timjs/itasks-ide

A project where we develop some of the (Java) data-structures that we use in Tomte

Package fsm implements a simple finite state (Mealy) machine.