Benjamin Barenblat's repositories
disable-keyboard-shortcuts
Chrome extension to disable keyboard shortcuts
localsubnetsetd
maintain nftables sets for local subnets
wayback-machine-button
Chrome extension to reopen the current page in the Wayback Machine
Language:JavaScriptApache-2.0000
astc-codec
A software ASTC decoder implementation which supports the ASTC LDR profile
Language:C++Apache-2.0000
audiotrond
CFA635-based interface for MPD
Language:GoApache-2.0000
brightnessctl
read and control device brightness
debian-rcm
Debian packaging for rcm
Language:PerlBSD-3-Clause000
debian-transmission-remote-gtk
Debian packaging for transmission-remote-gtk
fiat-crypto
fast, formally verified cryptography
flutter-plugins
Plugins for Flutter, including FlutterFire, maintained by the Flutter team
google-toolbox-for-mac
Google Toolbox for Mac
Language:Objective-CApache-2.0000
grpc
RPC system from Google
Language:C++Apache-2.0000
mpv
video player based on MPlayer/mplayer2
Language:CNOASSERTION000
proof-general
Emacs interface for proof assistants
xscreensaver-dbus
D-Bus interface for xscreensaver
Language:HaskellApache-2.0000