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
-
-
tmp_llama.cpp Public
Forked from ggerganov/llama.cppPort of Facebook's LLaMA model in C/C++
C++ MIT License UpdatedNov 11, 2024 -
grencez-gentoo-overlay Public
Gentoo overlay by and for myself (grencez).
Shell BSD Zero Clause License UpdatedSep 21, 2024 -
tmp_bazel-central-registry Public
Forked from bazelbuild/bazel-central-registryThe central registry of Bazel modules for the Bzlmod external dependency system.
Starlark Apache License 2.0 UpdatedSep 16, 2024 -
grencez.dev Public
What I did, documented for next time.
-
notes-by-grencez Public
Docs before publishing to grencez.dev.
Creative Commons Zero v1.0 Universal UpdatedNov 27, 2023 -
outherspace Public
Some sort of racing game and raytracing engine that works in 4 dimensions
C ISC License UpdatedNov 25, 2023 -
cx Public archive
C/C++ data structures and simple C extensions via a custom preprocessor
-
-
-
-
-
-
tex2web Public
Tool for making very simple webpages from LaTeX-like files.
C ISC License UpdatedSep 5, 2020 -
-
-
-