Pinned Repositories
goose
Goose converts a subset of Go to Coq
pfff
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.
semgrep
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
c-shell
Custom terminal shell written in C
comp-structures-labs
Labs from the old 6.004 (Computation Structures) class
sourcechecker
A Chrome extension that checks if links are associated with reputable science publications.
undergrad-summer-opportunities
Programs/fellowships for undergrads
sharontlin's Repositories
sharontlin/undergrad-summer-opportunities
Programs/fellowships for undergrads
sharontlin/c-shell
Custom terminal shell written in C
sharontlin/comp-structures-labs
Labs from the old 6.004 (Computation Structures) class
sharontlin/sourcechecker
A Chrome extension that checks if links are associated with reputable science publications.
sharontlin/dotfiles
Collection of my dotfiles
sharontlin/fb-remove-sponsored
Chrome extension for removing Facebook sponsored posts
sharontlin/RustTorch
sharontlin/song-tunes-shuffler
Simple song list organizer/shuffler
sharontlin/Virtual-Drums
A C socket application that allows users to play and record drum sequences