Popular repositories Loading

1. brackets-simple-js-code-hints brackets-simple-js-code-hints Public

   A Brackets extension that provides JavaScript code hinting.

   JavaScript 17 4

2. Slothrop Slothrop Public

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

   OCaml 8

3. brackets-csslint brackets-csslint Public

   CSSLint extension for Brackets

   JavaScript 6 1

4. brackets-edit-history brackets-edit-history Public

   An extension for Brackets that provides edit history navigation commands

   JavaScript 5 5

5. brackets-kill-ring brackets-kill-ring Public

   Brackets Kill Ring

   JavaScript 4 1

6. Weak-Memory-Local-Reasoning Weak-Memory-Local-Reasoning Public

   LaTeX sources for my doctoral dissertation, "Weak-Memory Local Reasoning"

   Python 3 1