Some implementations of the Ramanujan Pi algorithm.
Repository for controlcode pymote
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
Please add issues and pull requests on https://github.com/timjs/clean-base
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.