CJ Bell

icon indicating a website link http://people.csail.mit.edu/cj/

Results 3 repositories owned by CJ Bell

vscoq

92
Stars
9
Forks
92
Watchers

Coq Support for Visual Studio Code

verified publisher icon siegebell

vsc-prettify-symbols-mode

92
Stars
22
Forks
92
Watchers

Prettify Symbols Mode for Visual Studio Code

verified publisher icon siegebell

scope-info

16
Stars
2
Forks
16
Watchers

vscode extension to view TextMate scope info upon hover

verified publisher icon siegebell