Atom

Agda language support for the Atom editor

7,024

Notebook provides you with effortless note taking & notepads for Atom.

7,019

Make the settings view match your Atom UI theme.

4,330

Convert HTML selection to jade.

3,034

Base16 dark syntax theme for Atom.

2,910

Inspect and explore JavaScript scope.

2,571

Coq language support for the Atom editor

1,489

A reminder to take a break;

889

Compute hash of current buffer or selected text. Real-time value displayed in the Atom status bar.

642

Convert base of selected and cursor position Unicode. Real-time value displayed in the Atom status bar.

254

rockymadden's Stars