Stars
Classify sleep from heart rate and acceleration via Apple Watch
General tips to drive your research at Mila
Ozan is a personal knowledge base inspired from Obsidian built on flutter.
A lucid dreaming device with a night-vision smart camera that detects eye movements during REM sleep and triggers audio and visual alerts to promote lucidity. Like having your own private sleep lab…
Isaac Lab API, powered by MuJoCo-Warp, for RL and robotics research.
A Targeted Lucidity Reactivation app that helps induce lucid dreams outside the lab
CNN models that classify sleep EEG data into either dreamless sleep, dream sleep or lucid sleep
Learning Deep Representations of Data Distributions
Converts pixel-art-style images such as those from generative models or low-quality sprites to true resolution usable assets
Firmware for OpenLD EEG Hardware: STM32F407 microcontroller with ADS1299
Course material for the Advanced Cognitive Modeling class (Master students, Aarhus University)
A website for sharing resources for teaching and learning mathematics
ShinkaEvolve: Towards Open-Ended and Sample-Efficient Program Evolution
A hand-picked collection of the best lucid dreaming apps, devices, research papers, books, forums, discord servers, podcasts, games, movies, YouTube channels, and techniques. Find open-source proje…
Dream Journal focused on lucid dreaming
buncha servers (mostly ai, higher scored ones are researchy) on discord
Lean theorem proving interface which feels like pen-and-paper proofs.
Companion webpage for the book "Bayesian Optimization" by Roman Garnett
Data Sets from the History of Statistics and Data Visualization
Tutorial on Bayesian tests for Machine Learning
This is the homepage of a new book entitled "Mathematical Foundations of Reinforcement Learning."