Ian Wehrman (@iwehrman)
github

iwehrman

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    48
  • Global Rank 351,264 (Top 13 %)
  • Followers 55
  • Following 3
  • Registered about 13 years ago
  • Most used languages
    JavaScript
         78.6 %
    Python
         14.3 %
    OCaml
         7.1 %
  • Location 🇺🇸 United States
  • Country Total Rank 68,541
  • Country Ranking
    OCaml
         556

Top repositories

1

brackets-simple-js-code-hints

A Brackets extension that provides JavaScript code hinting.
JavaScript
16
star
2

brackets-csslint

CSSLint extension for Brackets
JavaScript
5
star
3

brackets-edit-history

An extension for Brackets that provides edit history navigation commands
JavaScript
4
star
4

node-connection-example

JavaScript
3
star
5

brackets-kill-ring

Brackets Kill Ring
JavaScript
3
star
6

Slothrop

Slothrop is an automated equational theorem prover that performs a variant of Knuth-Bendix completion.
OCaml
3
star
7

Weak-Memory-Local-Reasoning

LaTeX sources for my doctoral dissertation, "Weak-Memory Local Reasoning"
Python
3
star
8

generator-rpc-example

JavaScript
3
star
9

brackets-insert-hint-on-tab

JavaScript
2
star
10

node-connection

JavaScript
2
star
11

position-bookmarklet

JavaScript
1
star
12

TheRuns

Python
1
star
13

goodfuckingcoffee

An app to help you find good fucking coffee
JavaScript
1
star
14

google-search-result-hotkeys

Google Search Result Hotkeys Chrome Extension
JavaScript
1
star