Popular repositories Loading

1. zk-playground zk-playground Public

   Rust 2 1

2. souffle souffle Public

   Forked from b-scholz/souffle

   Soufflé is a translator of declarative Datalog programs into the C++ language. Soufflé is used as a domain-specific language for static program analysis, over large code bases with millions of line…

   C++

3. gruvbox gruvbox Public

   Forked from morhetz/gruvbox

   Retro groove color scheme for Vim

   Vim Script

4. onedark.vim onedark.vim Public

   Forked from joshdick/onedark.vim

   A dark Vim/Neovim color scheme inspired by Atom's One Dark syntax theme.

   Vim Script

5. ddisasm ddisasm Public

   Forked from GrammaTech/ddisasm

   A fast and accurate disassembler

   C++

6. dotfiles dotfiles Public

   My configs

   Lua