An extremely fast Python package and project manager, written in Rust.

Distributed Graph Algorithms in Lean

This library aims to provide implementations of elements commonly used in the development on software in the area of satisfiability solving. The focus of the library is to provide as much ease of u…

Bibtex parser for Python 3

Rust bindings for Godot 4

Demonstration and Template Projects

A Creative Coding Framework for Rust.

An algorithm for checking the existence of LCP-maps between LCL-problems.

Extract content from Moodle backup files (.mbz)

Rust Source-based Code Coverage for any projects

A command line progress reporting library for Rust

Fast Median Filter for Floating Point Data, 1D and 2D, in C#

libiconv bindings for Rust.

A simulator for distributed algorithms in arbitrary networks

Distributed algorithms PN model simulation environment

Flagpack contains 250+ flag icons to easily use within your code project.

See our manuscript at https://arxiv.org/abs/2202.08544

Listing of M.Sc. Theses of the Department of Computer Science at Aalto University

The maximization step from Round Elimination

See our manuscript at http://arxiv.org/abs/2102.09277

A command-line tool for automatically calculating round complexity of LCL problems in cycles and paths

Round Eliminator: a tool for automatic speedup simulation

Petition to open source Flash and Shockwave spec

A minimalist CSS framework.

Accompanying source code for Machine Learning with TensorFlow. Refer to the book for step-by-step explanations.

Algorithm of a multi-robot task allocation for multi-target tracking