Pinned Loading

1. semgrep/pfff semgrep/pfff Public archive

   pfff is mainly an OCaml API to write static analysis, dynamic analysis, code visualizations, code navigations, or style-preserving source-to-source transformations such as refactorings on source code.

   185 29

2. semgrep/semgrep semgrep/semgrep Public

   Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

   OCaml 10.9k 645

3. goose-lang/goose goose-lang/goose Public

   Goose converts a subset of Go to Coq

   Go 109 12

4. undergrad-summer-opportunities undergrad-summer-opportunities Public

   Programs/fellowships for undergrads

   10 1