spinda

computer scientist & firewall dragon • ⚧️ • 🩷💛💙 • email: mds009@ucsd.edu

@PLSysSecUC San Diego

Pinned Repositories

webcompat-measurement-pipeline
Language:Jupyter Notebook0 2 01
cachet
🏅 A domain-specific language for trustworthy JIT implementation
Language:Boogie3 11 100
cachet-firefox
🦊 Trustworthy CacheIR in Firefox
0 9 00
Destroy-Windows-10-Spying
🕵️ Known clean fork of Nummer/Destroy-Windows-10-Spying (retired)
Language:C#200 17 060
hyper-websocket
🔌 Upgrade hyper HTTP requests to WebSocket connections, server-side
Language:Rust9 3 00
imagenetscraper
👁 Bulk-download all thumbnails from an ImageNet synset, with optional rescaling
Language:Python26 2 16
lavender
💜 The slightly more compromising Python code formatter
Language:Python10 3 04
liquidhaskell-cabal
💧 Liquid Haskell integration for Cabal and Stack
Language:Haskell24 5 106
react-redux-chatgpt
🤖 Prototype your webapp's frontend by using ChatGPT as your backend
Language:JavaScript38 3 01

spinda's Repositories

spinda/Destroy-Windows-10-Spying
🕵️ Known clean fork of Nummer/Destroy-Windows-10-Spying (retired)
Language:C#200 17 060
spinda/diagrams-wx
📊 Backend for rendering diagrams in wxWidgets with Haskell
Language:Haskell3 3 00
spinda/instapaper-sender
📰 Basic HTTP gateway to save articles to Instapaper
Language:Haskell3 3 0
spinda/node-firewatch.camera
📷 API client for firewatch.camera
Language:JavaScript2 3 0
spinda/tokio-dbus
🚌 Rust async D-Bus client built on Tokio (unfinished)
Language:Rust2 2 0
spinda/glyph
✍️ Handwriting synthesis in Haskell (unfinished)
Language:Haskell1
spinda/glyph-editor
🧬 GUI editor for the Glyph handwriting synthesis engine (unfinished)
Language:Haskell1
spinda/locksmart-api
🔒 API client for the Dog & Bone LockSmart service
Language:JavaScript1
spinda/tracelogger-tools
👣 Toolkit for working with SpiderMonkey's Tracelogger
Language:JavaScript1 2 0
spinda/ansi-wl-pprint
The Wadler/Leijen Pretty Printer for colored ANSI terminal output
Language:Haskell2 0
spinda/fbchat
Facebook Chat (Messenger) for Python
Language:Python
spinda/ghc
Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list (ghc-devs@haskell.org)
Language:Haskell
spinda/glyph-cli
✏️ Command-line interface for the Glyph handwriting synthesis engine
Language:Haskell
spinda/go-ipfs
IPFS implementation in go
Language:Go
spinda/hasklate
Haskell to C++ metaprogramming transpiler
Language:Haskell2 0
spinda/liquid-fixpoint
Haskell Interface for Back-End Implication / Horn Clause Constraint Solving for Liquid Types
Language:Haskell
spinda/liquidhaskell
Liquid Types For Haskell
Language:Haskell
spinda/mime-types
The ultimate javascript content-type utility.
Language:JavaScript
spinda/nan
Native Abstractions for Node.js
Language:C++
spinda/node-license-validator
Validate the licenses of your dependencies against a list
Language:JavaScript
spinda/quasi
A quasi-quoting macro system
Language:Rust
spinda/quick-error
A rust-macro which makes errors easy to write
Language:Rust
spinda/quirc
QR decoder library
Language:C
spinda/reactive-banana
Library for functional reactive programming in Haskell.
Language:Haskell
spinda/rust
A safe, concurrent, practical language.
Language:Rust2 0
spinda/rust-guidelines
This repository has moved
spinda/schemamama_rusqlite
schema migrations impl for rusqlite
Language:Rust
spinda/stack
The Haskell Tool Stack
Language:Haskell
spinda/stackage
"Stable Hackage," tools for creating a vetted set of packages from Hackage.
Language:Shell
spinda/stackedit
In-browser markdown editor
Language:JavaScript2 0