diff --git a/src/lib.rs b/src/lib.rs
index f444ae7..14f9b4f 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -1,11 +1,3 @@
 #![allow(dead_code, clippy::module_name_repetitions)] // yes, I want to name my structs with the same name as the file
 mod node;
-
-#[cfg(test)]
-mod tests {
-    #[test]
-    fn it_works() {
-        let result = 2 + 2;
-        assert_eq!(result, 4);
-    }
-}
+mod splay;
diff --git a/src/node.rs b/src/node.rs
index 771c497..889a62f 100644
--- a/src/node.rs
+++ b/src/node.rs
@@ -1,3 +1,4 @@
+#[derive(Copy, Clone)]
 pub enum Parent {
     Node(usize), // parent node in the tree
     Path(usize), // path to the root in the forest
@@ -47,12 +48,3 @@ impl Node {
         }
     }
 }
-
-#[cfg(test)]
-mod tests {
-    #[test]
-    fn it_works() {
-        let result = 2 + 2;
-        assert_eq!(result, 4);
-    }
-}
diff --git a/src/splay.rs b/src/splay.rs
new file mode 100644
index 0000000..acee868
--- /dev/null
+++ b/src/splay.rs
@@ -0,0 +1,279 @@
+use crate::node::{Node, Parent};
+
+pub fn rotate_left(forest: &mut Vec<Node>, node_idx: usize) {
+    // base cases:
+    // - node_idx is out of bounds
+    // - node_idx should have a right child
+    if node_idx >= forest.len() || forest[node_idx].right.is_none() {
+        return;
+    }
+
+    let right_child = forest[node_idx].right.unwrap();
+    if let Parent::Node(parent_idx) = forest[node_idx].parent {
+        if forest[parent_idx].left == Some(node_idx) {
+            forest[parent_idx].left = Some(right_child);
+        } else {
+            forest[parent_idx].right = Some(right_child);
+        }
+    }
+
+    forest[node_idx].right = forest[right_child].left;
+    forest[right_child].left = Some(node_idx);
+    forest[right_child].parent = forest[node_idx].parent;
+    forest[node_idx].parent = Parent::Node(right_child);
+
+    if let Some(new_right_child) = forest[node_idx].right {
+        forest[new_right_child].parent = Parent::Node(node_idx);
+    }
+}
+
+pub fn rotate_right(forest: &mut Vec<Node>, node_idx: usize) {
+    // base cases:
+    // - node_idx is out of bounds
+    // - node_idx should have a left child
+    if node_idx >= forest.len() || forest[node_idx].left.is_none() {
+        return;
+    }
+
+    let left_child = forest[node_idx].left.unwrap();
+    if let Parent::Node(parent_idx) = forest[node_idx].parent {
+        if forest[parent_idx].left == Some(node_idx) {
+            forest[parent_idx].left = Some(left_child);
+        } else {
+            forest[parent_idx].right = Some(left_child);
+        }
+    }
+
+    forest[node_idx].left = forest[left_child].right;
+    forest[left_child].right = Some(node_idx);
+    forest[left_child].parent = forest[node_idx].parent;
+    forest[node_idx].parent = Parent::Node(left_child);
+
+    if let Some(new_left_child) = forest[node_idx].left {
+        forest[new_left_child].parent = Parent::Node(node_idx);
+    }
+}
+
+pub fn splay(forest: &mut Vec<Node>, node_idx: usize) {
+    assert!(node_idx < forest.len(), "splay: node_idx out of bounds");
+    while let Parent::Node(parent_idx) = forest[node_idx].parent {
+        if forest[parent_idx].left == Some(node_idx) {
+            if let Parent::Node(grandparent_idx) = forest[parent_idx].parent {
+                if forest[grandparent_idx].left == Some(parent_idx) {
+                    // zig-zig
+                    rotate_right(forest, grandparent_idx);
+                    rotate_right(forest, parent_idx);
+                } else {
+                    // zig-zag
+                    rotate_right(forest, parent_idx);
+                    rotate_left(forest, parent_idx);
+                }
+            } else {
+                // zig
+                rotate_right(forest, parent_idx);
+            }
+        } else if let Parent::Node(grandparent_idx) = forest[parent_idx].parent {
+            if forest[grandparent_idx].right == Some(parent_idx) {
+                // zig-zig
+                rotate_left(forest, grandparent_idx);
+                rotate_left(forest, parent_idx);
+            } else {
+                // zig-zag
+                rotate_left(forest, parent_idx);
+                rotate_right(forest, parent_idx);
+            }
+        } else {
+            // zig
+            rotate_left(forest, parent_idx);
+        }
+    }
+}
+
+#[cfg(test)]
+mod tests {
+    use super::{rotate_left, rotate_right};
+    use crate::node::{self, Node};
+
+    fn create_nodes(n: usize) -> Vec<Node> {
+        (0..n).map(|i| Node::new(i, 0.0)).collect()
+    }
+
+    #[test]
+    pub fn rotate_left_base_case() {
+        // rotate left a single node, should do nothing:
+        let mut forest = create_nodes(1);
+        rotate_left(&mut forest, 0);
+        assert_eq!(forest[0].right, None);
+        assert!(forest[0].right.is_none());
+        assert!(matches!(forest[0].parent, node::Parent::Root));
+    }
+
+    #[test]
+    pub fn rotate_left_two_nodes() {
+        // connect two nodes and rotate left on '0':
+        //      0                  1
+        //       \      =>        /
+        //        1              0
+        let mut forest = create_nodes(2);
+        forest[0].right = Some(1);
+        forest[1].parent = node::Parent::Node(0);
+        rotate_left(&mut forest, 0);
+        assert_eq!(forest[0].right, None);
+        assert_eq!(forest[1].left, Some(0));
+        assert!(matches!(forest[0].parent, node::Parent::Node(1)));
+        assert!(matches!(forest[1].parent, node::Parent::Root));
+    }
+
+    #[test]
+    pub fn rotate_left_with_parent() {
+        // rotate left '1':
+        //     0                  0
+        //      \                  \
+        //       1        =>        2
+        //        \                / \
+        //         2              1   4
+        //        / \              \
+        //       3   4              3
+        let mut forest = create_nodes(5);
+        forest[0].right = Some(1);
+        forest[1].parent = node::Parent::Node(0);
+        forest[1].right = Some(2);
+        forest[2].parent = node::Parent::Node(1);
+        forest[2].left = Some(3);
+        forest[3].parent = node::Parent::Node(2);
+        forest[2].right = Some(4);
+        forest[4].parent = node::Parent::Node(2);
+        rotate_left(&mut forest, 1);
+        assert!(matches!(forest[0].parent, node::Parent::Root));
+        assert_eq!(forest[0].right, Some(2));
+        assert!(matches!(forest[2].parent, node::Parent::Node(0)));
+        assert_eq!(forest[2].left, Some(1));
+        assert!(matches!(forest[1].parent, node::Parent::Node(2)));
+        assert_eq!(forest[2].right, Some(4));
+        assert!(matches!(forest[4].parent, node::Parent::Node(2)));
+        assert_eq!(forest[1].right, Some(3));
+        assert!(matches!(forest[3].parent, node::Parent::Node(1)));
+    }
+
+    #[test]
+    pub fn rotate_right_base_case() {
+        // rotate right a single node, should do nothing:
+        let mut forest = create_nodes(1);
+        rotate_right(&mut forest, 0);
+        assert!(forest[0].left.is_none());
+        assert!(forest[0].right.is_none());
+        assert!(matches!(forest[0].parent, node::Parent::Root));
+    }
+
+    #[test]
+    pub fn rotate_right_two_nodes() {
+        // connect two nodes and rotate right on '0':
+        //     0                1
+        //    /        =>        \
+        //   1                    0
+        let mut forest = create_nodes(2);
+        forest[0].left = Some(1);
+        forest[1].parent = node::Parent::Node(0);
+        rotate_right(&mut forest, 0);
+        assert_eq!(forest[0].left, None);
+        assert_eq!(forest[1].right, Some(0));
+        assert!(matches!(forest[0].parent, node::Parent::Node(1)));
+        assert!(matches!(forest[1].parent, node::Parent::Root));
+    }
+
+    #[test]
+    pub fn rotate_right_with_parent() {
+        // rotate right on '1':
+        //    0                  0
+        //     \                  \
+        //      1        =>        2
+        //     /                  / \
+        //    2                  3   1
+        //   / \                    /
+        //  3   4                  4
+        let mut forest = create_nodes(5);
+        forest[0].right = Some(1);
+        forest[1].parent = node::Parent::Node(0);
+        forest[1].left = Some(2);
+        forest[2].parent = node::Parent::Node(1);
+        forest[2].left = Some(3);
+        forest[3].parent = node::Parent::Node(2);
+        forest[2].right = Some(4);
+        forest[4].parent = node::Parent::Node(2);
+        rotate_right(&mut forest, 1);
+        assert!(matches!(forest[0].parent, node::Parent::Root));
+        assert_eq!(forest[0].right, Some(2));
+        assert!(matches!(forest[2].parent, node::Parent::Node(0)));
+        assert_eq!(forest[2].left, Some(3));
+        assert!(matches!(forest[3].parent, node::Parent::Node(2)));
+        assert_eq!(forest[2].right, Some(1));
+        assert!(matches!(forest[1].parent, node::Parent::Node(2)));
+        assert_eq!(forest[1].left, Some(4));
+        assert!(matches!(forest[4].parent, node::Parent::Node(1)));
+    }
+
+    #[test]
+    pub fn splay_base_case() {
+        // splay a single node, should do nothing:
+        let mut forest = create_nodes(1);
+        super::splay(&mut forest, 0);
+        assert!(forest[0].left.is_none());
+        assert!(forest[0].right.is_none());
+        assert!(matches!(forest[0].parent, node::Parent::Root));
+    }
+
+    #[test]
+    pub fn splay_two_nodes() {
+        // connect two nodes and splay on '1':
+        //      0                  1
+        //       \      =>        /
+        //        1              0
+        let mut forest = create_nodes(2);
+        forest[0].right = Some(1);
+        forest[1].parent = node::Parent::Node(0);
+        super::splay(&mut forest, 1);
+        assert_eq!(forest[0].right, None);
+        assert_eq!(forest[1].left, Some(0));
+        assert!(matches!(forest[0].parent, node::Parent::Node(1)));
+        assert!(matches!(forest[1].parent, node::Parent::Root));
+    }
+
+    #[test]
+    pub fn splay_leaf() {
+        // Node '0' has a path pointer to Node '6',
+        // the remaning nodes are represented in a Splay-tree.
+        // splaying a leaf node '4' should result in:
+        //    6                    6              6                   6
+        //    |                    |              |                   |
+        //    0                    0              0                   4
+        //     \                    \              \                /   \
+        //      1        =>          1      =>      4       =>     0     1
+        //     /                    /              / \              \
+        //    2                    4              3   1              3
+        //   / \                  /                \                  \
+        //  3   4                3                  2                  2
+        //                        \
+        //                         2
+        let mut forest = create_nodes(6);
+        forest[0].parent = node::Parent::Path(6);
+        forest[0].right = Some(1);
+        forest[1].parent = node::Parent::Node(0);
+        forest[1].left = Some(2);
+        forest[2].parent = node::Parent::Node(1);
+        forest[2].left = Some(3);
+        forest[3].parent = node::Parent::Node(2);
+        forest[2].right = Some(4);
+        forest[4].parent = node::Parent::Node(2);
+        super::splay(&mut forest, 4);
+        assert!(matches!(forest[4].parent, node::Parent::Path(6)));
+        assert_eq!(forest[4].left, Some(0));
+        assert!(matches!(forest[0].parent, node::Parent::Node(4)));
+        assert_eq!(forest[4].right, Some(1));
+        assert!(matches!(forest[1].parent, node::Parent::Node(4)));
+
+        assert_eq!(forest[0].right, Some(3));
+        assert!(matches!(forest[3].parent, node::Parent::Node(0)));
+        assert_eq!(forest[3].right, Some(2));
+        assert!(matches!(forest[2].parent, node::Parent::Node(3)));
+    }
+}