spinda
computer scientist & firewall dragon โข โง๏ธ โข ๐ฉท๐๐ โข email: mds009@ucsd.edu
@PLSysSecUC San Diego
Pinned Repositories
webcompat-measurement-pipeline
cachet
๐ A domain-specific language for trustworthy JIT implementation
cachet-firefox
๐ฆ Trustworthy CacheIR in Firefox
Destroy-Windows-10-Spying
๐ต๏ธ Known clean fork of Nummer/Destroy-Windows-10-Spying (retired)
hyper-websocket
๐ Upgrade hyper HTTP requests to WebSocket connections, server-side
imagenetscraper
๐ Bulk-download all thumbnails from an ImageNet synset, with optional rescaling
lavender
๐ The slightly more compromising Python code formatter
liquidhaskell-cabal
๐ง Liquid Haskell integration for Cabal and Stack
react-redux-chatgpt
๐ค Prototype your webapp's frontend by using ChatGPT as your backend
spinda's Repositories
spinda/nemo-owncloud
๐ ownCloud plugin for the Nemo file manager (retired)
spinda/liquidhaskell-lang
๐งช LiquidHaskell project work for Google Summer of Code 2015 (retired)
spinda/liquid
โ Liquid Types master repository/workspace (retired)
spinda/liquid-base
๐ฆ LiquidHaskell specifications for the `base` package (retired)
spinda/liquid-ghc-prim
โ๏ธ LiquidHaskell specifications for the `ghc-prim` package (retired)
spinda/liquidhaskell-std
๐งฐ Standard library of LiquidHaskell specifications, for the base, ghc-prim, and integer-gmp packages (retired)
spinda/Tiny-Tiny-RSS
My Tiny Tiny RSS setup and modifications
spinda/treesheets
TreeSheets : Free Form Data Organizer (see treesheets.com)
spinda/ttrss_plugin-feediron
Evolution of ttrss_plugin-af_feedmod