Dotter enables typing at 20wpm with a single input (e.g. spacebar, blinking). Users synchronize
their gestures to the timer of their target prefix.
| Path | Contents |
|---|---|
frontend/ |
Vite + React web UI |
language_server/ |
Python WebSocket LM server (lm.py) and Poetry project |
demos/ |
Lean, Rust, and TypeScript interop examples |
formal/proof/ |
Lean formalization (Lake) |
math/tex/ |
LaTeX write-up (math.tex and chapters/) |
math/scripts/ |
Python notebooks / experiments tied to the math write-up |
experiments/ |
Ad-hoc experiments (scratch space) |
Clone the Repository
git clone https://github.com/oscarlaird/dotter
cd dotterInstall Requirements for Language Server
pip install -r language_server/requirements.txtLaunch Language Server
python language_server/lm.pyServe Frontend
npm install --prefix frontend
npm run devView the Application Open your browser and go to:
localhost:5173/v2
Stiff, slow, unhurried, feel that the circles are turning very slowly, never reactive. (super fast period (340ms) helped a lot to kick me into this state; 2x confirmed) Looking ahead, concentrating and not thinking about other things. Not feeling oneself to be blinking but willing.