grencez
Ask me anything about the computational complexities of synthesizing and verifying self-stabilizing protocols. Or whatever.
@googleMountain View, CA
Pinned Repositories
fildesh
create nonlinear pipelines with file descriptors
cx
C/C++ data structures and simple C extensions via a custom preprocessor
exc
Programs that don't deserve their own repositories.
grencez.dev
What I did, documented for next time.
trip
TRivial Package Manager
protocon
Add convergence to shared memory protocols
rendezllama
CLI for llama.cpp with various commands to guide, edit, and regenerate tokens on the fly.
rules_sxproto
Bazel rules to encode & decode protocol buffer messages in S-expression, json, text, and binary formats.
grencez's Repositories
grencez/trip
TRivial Package Manager
grencez/cx
C/C++ data structures and simple C extensions via a custom preprocessor
grencez/exc
Programs that don't deserve their own repositories.
grencez/grencez.dev
What I did, documented for next time.
grencez/circlife
Monotonous Life on a Circle Planet
grencez/config
Various config files
grencez/cx-pp
Preprocessed version of the cx/ repository
grencez/grencez-gentoo-overlay
Gentoo overlay by and for myself (grencez).
grencez/intrawake.net
grencez/notes-by-grencez
Docs before publishing to grencez.dev.
grencez/outherspace
Some sort of racing game and raytracing engine that works in 4 dimensions
grencez/outherspace-data
Data for OutherSpace game
grencez/oweage
Track money owed within a group of friends
grencez/s
Various useful scripts
grencez/tex2web
Tool for making very simple webpages from LaTeX-like files.
grencez/tmp_bazel-central-registry
The central registry of Bazel modules for the Bzlmod external dependency system.
grencez/tmp_llama.cpp
Port of Facebook's LLaMA model in C/C++
grencez/website