Explore projects
-
Updated
-
Codebase for the CIDR 2024 Paper "Taking the Shortcut: Actively Incorporating the Virtual Memory Index of the OS to Hardware-Accelerate Database Indexing"
Updated -
Updated
-
audio streaming service with automatic power control for loudspeakers
Updated -
Updated
-
Updated
-
Updated
-
A collection of scrips to combine all components into a bootable image
Updated -
Updated
-
Adapted GHC 8.9.0 development version that provides a persistent PM heap and PSTM transaction support
Updated -
Updated
-
-
-
Updated