Pinned Repositories
agda-graphsc
An abandoned attempt to formalize equality saturation in agda
conflict3
Vim plugin for highlighting and resolving diff3-style conflicts
mrsc
multi-result supercompiler
peqsen
Experimental equality saturation engine in python
st-graphics
A fork of the simple terminal that supports the kitty graphics protocol
supercompilation-hypergraph
tupimage
A utility to upload and display terminal images using the unicode placeholder extension of the kitty graphics protocol
vim-terminal-images
sergei-grechanik's Repositories
sergei-grechanik/st-graphics
A fork of the simple terminal that supports the kitty graphics protocol
sergei-grechanik/supercompilation-hypergraph
sergei-grechanik/tupimage
A utility to upload and display terminal images using the unicode placeholder extension of the kitty graphics protocol
sergei-grechanik/peqsen
Experimental equality saturation engine in python
sergei-grechanik/vim-terminal-images
sergei-grechanik/mrsc
multi-result supercompiler
sergei-grechanik/agda-graphsc
An abandoned attempt to formalize equality saturation in agda
sergei-grechanik/conflict3
Vim plugin for highlighting and resolving diff3-style conflicts
sergei-grechanik/file-line
Plugin for vim to enabling opening a file in a given line
sergei-grechanik/fzf.vim
fzf :heart: vim
sergei-grechanik/hosc
Higher-Order Supercompiler
sergei-grechanik/indent-highlight.vim
Vim plugin to highlight current block
sergei-grechanik/itermplot
An awesome iTerm2 backend for Matplotlib, so you can plot directly in your terminal.
sergei-grechanik/jupyter-vim
Make Vim talk to Jupyter kernels
sergei-grechanik/kitty
Cross-platform, fast, feature-rich, GPU based terminal
sergei-grechanik/ngraph
nGraph - open source C++ library, compiler and runtime for Deep Learning
sergei-grechanik/pytupimage
sergei-grechanik/ranger
A VIM-inspired filemanager for the console (a fork with tupimage support)
sergei-grechanik/terminal-graphics-tests
Some random scripts to test terminal graphics
sergei-grechanik/tmux
tmux source code
sergei-grechanik/tvm
Open deep learning compiler stack for cpu, gpu and specialized accelerators
sergei-grechanik/vim-better-whitespace
Better whitespace highlighting for Vim
sergei-grechanik/vim-clang-format
Vim plugin for clang-format, a formatter for C, C++, Obj-C, Java, JavaScript, TypeScript and ProtoBuf.
sergei-grechanik/vim-slime
A vim plugin to give you some slime. (Emacs)
sergei-grechanik/vim-win
🖼️ A Vim plugin for managing windows.
sergei-grechanik/wezterm
A GPU-accelerated cross-platform terminal emulator and multiplexer written by @wez and implemented in Rust