JachymPutta's Stars
redis/redis
Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes, Streams, HyperLogLogs, Bitmaps.
facebookresearch/llama
Inference code for LLaMA models
typst/typst
A new markup-based typesetting system that is powerful and easy to learn.
helix-editor/helix
A post-modern modal text editor.
NvChad/NvChad
Blazing fast Neovim config providing solid defaults and a beautiful UI, enhancing your neovim experience.
syl20bnr/spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
memcached/memcached
memcached development tree
rizsotto/Bear
Bear is a tool that generates a compilation database for clang tooling.
lewish/asciiflow
ASCIIFlow
tensorflow/gnn
TensorFlow GNN is a library to build Graph Neural Networks on the TensorFlow platform.
takaxp/org-tree-slide
A presentation tool for org-mode based on the visibility of outline trees
formal-land/coq-of-ocaml
Formal verification for OCaml
nus-sys/cs5223-labs
alexnowakvila/QAP_pt