grencez
Follow
Ask me anything about the computational complexities of synthesizing and verifying self-stabilizing protocols. Or whatever.
- Mountain View, CA
- grencez.dev
- https://orcid.org/0000-0002-2079-0164
- @grencez
Block or Report
Block or report grencez
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
rendezqueue/rendezllama
rendezqueue/rendezllama PublicCLI for llama.cpp with various commands to guide, edit, and regenerate tokens on the fly.
-
fildesh/fildesh
fildesh/fildesh PublicFildesh is a scripting language to help pipe data between programs. With elastic buffering, a pipeline can be a DAG or even a digraph with cycles.
-
ProtocolConvergence/protocon
ProtocolConvergence/protocon PublicAdd convergence to shared memory protocols
-
rendezqueue/rules_sxproto
rendezqueue/rules_sxproto PublicBazel rules to encode & decode protocol buffer messages in S-expression, json, text, and binary formats.
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.