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