Schema.org - schemas and supporting software

3D force-directed graph component using ThreeJS/WebGL

A Hugo theme built using Yahoo's Pure CSS

Decision making under uncertainty using the POMDPs.jl ecosystem taught by Robert Moss

The ros2 benchmarks for jetson xavier and pc.

Self-hosted, version-controlled data engineering platform for AWS

qcomp.org – Quantitative Model Repository and Tool Comparison

In this project, first a model checker is programmed in Python for cost-optimal reachability properties on timed automata, specified in Modest. Then, that model checker is used to compute battery-a…

Open-source flash card web app to learn any content thoroughly. Feature set based on peer reviewed research on human memory and learning.