git.benjamin.barenblat.name
index
Name
Description
Idle
Links
debathena-extra-software
10 years
summary
log
tree
sipb-code-of-conduct
10 years
summary
log
tree
skia
2D graphics library
6 years
summary
log
tree
astc-codec
Adaptive Scalable Texture Compression implementation
5 years
summary
log
tree
meeus48
Astronomical Algorithms for the HP 48
2 years
summary
log
tree
abseil
Base functionality library for C++
4 years
summary
log
tree
bluespec-buffer
Bluespec buffer bank
9 years
summary
log
tree
btls
BoringSSL-backed TLS and cryptography library for Haskell
3 years
summary
log
tree
binser
C++ code generator for binary serialization/deserialization
2 years
summary
log
tree
eigen
C++ library for linear algebra
3 years
summary
log
tree
audiotrond
CFA635-based interface for MPD
19 months
summary
log
tree
livestreamer
CLI program that captures streams from various streaming services
12 years
summary
log
tree
disable-keyboard-shortcuts
Chrome extension to disable keyboard shortcuts
2 years
summary
log
tree
wayback-machine-button
Chrome extension to reopen the current page in the Wayback Machine
3 years
summary
log
tree
debian-abseil
Debian packaging for Abseil
3 weeks
summary
log
tree
debian-boogie
Debian packaging for Boogie
7 years
summary
log
tree
debian-compcert
Debian packaging for CompCert
9 years
summary
log
tree
debian-coq
Debian packaging for Coq
5 years
summary
log
tree
debian-dafny
Debian packaging for Dafny
8 years
summary
log
tree
debian-deadbeef
Debian packaging for DeaDBeeF
9 years
summary
log
tree
debian-dwarf-fortress
Debian packaging for Dwarf Fortress
9 years
summary
log
tree
debian-urweb
Debian packaging for Ur/Web
4 years
summary
log
tree
debian-aac-tactics
Debian packaging for aac-tactics
5 years
summary
log
tree
debian-rcm
Debian packaging for rcm
4 years
summary
log
tree
debian-secpwgen
Debian packaging for secpwgen
9 years
summary
log
tree
debian-transmission-remote-gtk
Debian packaging for transmission-remote-gtk
3 years
summary
log
tree
debian-xcwd
Debian packaging for xcwd
5 years
summary
log
tree
proof-general
Emacs interface for proof assistants
5 years
summary
log
tree
firebase-ios-sdk
Firebase iOS SDK
6 years
summary
log
tree
ugtd
GTD software
7 years
summary
log
tree
gtd-txt
Getting Things Done in plain text
3 years
summary
log
tree
easytag
Git repo of the development series of EasyTag (as there is no official SCM)
13 years
summary
log
tree
dns
Haskell DNS library
11 years
summary
log
tree
6033dp1
LaTeX class for 6.033 design project 1
12 years
summary
log
tree
citra
Nintendo 3DS emulator/debugger
9 years
summary
log
tree
offlineimap.el
OfflineIMAP support for Emacs
10 years
summary
log
tree
glplanet
OpenGL-based planetary renderer
2 years
summary
log
tree
haskell-unix
POSIX functionality
7 years
summary
log
tree
walk
Plan 9 style utilities to replace find(1)
23 months
summary
log
tree
protobuf
Protocol Buffers – Google’s data interchange format
6 years
summary
log
tree
pavmon
PulseAudio sink volume monitor
2 years
summary
log
tree
riscv-opcodes
RISC-V opcodes
8 years
summary
log
tree
grpc
RPC system from Google
5 years
summary
log
tree
fish_riddle.smt2
SMT-LIB solution to the fish riddle
7 years
summary
log
tree
bazel-ocaml
Skylark rules for OCaml
9 years
summary
log
tree
hp48-authenticator
TOTP for the HP 48
2 years
summary
log
tree
hierarchical-exceptions
Template Haskell functions to easily create exception hierarchies
10 years
summary
log
tree
Burton-Conner-Tetris-Battle
Tetris installation controlled by DDR pads on the side of Burton-Conner
13 years
summary
log
tree
urweb_bcrypt
Ur FFI module for the bcrypt hash algorithm
11 years
summary
log
tree
urweb-crypto-hash-openssl
Ur bindings for OpenSSL’s MD5, SHA-1, and SHA-2 functions
6 years
summary
log
tree
[1]
[2]
[3]