TheoWinterhalter

Packages 0

No packages… yet.

Themes 0

No themes… yet.

Stars 45 See all

selection-count

Counts selected characters.
isheeft
515

linter-ui-default

Default UI for the Linter package
steelbrain
1.8.1 4,766,119

chester-atom-syntax

A pretty Atom syntax theme based on Lonely Planet colours
csutter
87,067

ocamltop-html

Ocaml-Top in Atom
etouss
985

repl

A short description of your package
T-800
4,404

agda-mode

agda-mode on Atom
banacorn
8,952