JachymPutta

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.

  Language:C66.2k2.5k6.5k23.7k

• facebookresearch/llama

  Inference code for LLaMA models

  Language:Python50.9k4998728.7k

• typst/typst

  A new markup-based typesetting system that is powerful and easy to learn.

  Language:Rust32.5k852.4k871

• helix-editor/helix

  A post-modern modal text editor.

  Language:Rust32.5k1824.4k2.4k

• NvChad/NvChad

  Blazing fast Neovim config providing solid defaults and a beautiful UI, enhancing your neovim experience.

  Language:Lua24.2k1461.6k2.1k

• syl20bnr/spacemacs

  A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

  Language:Emacs Lisp23.6k4828.5k4.9k

• memcached/memcached

  memcached development tree

  Language:C13.4k6854983.3k

• rizsotto/Bear

  Bear is a tool that generates a compilation database for clang tooling.

  Language:C++4.8k60428313

• lewish/asciiflow

  ASCIIFlow

  Language:TypeScript4.7k55214358

• tensorflow/gnn

  TensorFlow GNN is a library to build Graph Neural Networks on the TensorFlow platform.

  Language:Python1.3k3787170

• takaxp/org-tree-slide

  A presentation tool for org-mode based on the visibility of outline trees

  Language:Emacs Lisp42385461

• formal-land/coq-of-ocaml

  Formal verification for OCaml

  Language:OCaml25187020

• nus-sys/cs5223-labs

  Language:Java471033

• alexnowakvila/QAP_pt

  Language:C285117