suomela

rustsat

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 use without giving up on performance.

python-bibtexparser

Bibtex parser for Python 3

gdext

Rust bindings for Godot 4

godot-demo-projects

Demonstration and Template Projects

nannou

A Creative Coding Framework for Rust.

LCP-finder

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

extract-mbz

Extract content from Moodle backup files (.mbz)

cov-rs

Rust Source-based Code Coverage for any projects

fractional-matching

indicatif

A command line progress reporting library for Rust

MedianFilter2D

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

rust-iconv

libiconv bindings for Rust.

da-simulator

A simulator for distributed algorithms in arbitrary networks

da-pn-model

Distributed algorithms PN model simulation environment

flagpack-core

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

poly-classifier

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

aalto-cs-msc-theses

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

maximizer

The maximization step from Round Elimination

rooted-tree-classifier

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

cyclepath-classifier

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

tlpClassifier

tlpDoc

round-eliminator

Round Eliminator: a tool for automatic speedup simulation

open-source-flash

Petition to open source Flash and Shockwave spec

milligram

A minimalist CSS framework.

TensorFlow-Book

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

multi-robot_task_allocation

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

cryptominisat

An advanced SAT solver

fabric.js

Javascript Canvas Library, SVG-to-Canvas (& canvas-to-SVG) Parser

jstat

JavaScript Statistical Library