sergei-grechanik Goto Github PK

agda-graphsc

An abandoned attempt to formalize equality saturation in agda

conflict3

Vim plugin for highlighting and resolving diff3-style conflicts

file-line

Plugin for vim to enabling opening a file in a given line

fzf.vim

fzf :heart: vim

hosc

Higher-Order Supercompiler

indent-highlight.vim

Vim plugin to highlight current block

itermplot

An awesome iTerm2 backend for Matplotlib, so you can plot directly in your terminal.

jupyter-vim

Make Vim talk to Jupyter kernels

kitty

Cross-platform, fast, feature-rich, GPU based terminal

mrsc

multi-result supercompiler

ngraph

nGraph - open source C++ library, compiler and runtime for Deep Learning

peqsen

Experimental equality saturation engine in python

pytupimage

ranger

A VIM-inspired filemanager for the console (a fork with tupimage support)

st-graphics

A fork of the simple terminal that supports the kitty graphics protocol

supercompilation-hypergraph

terminal-graphics-tests

Some random scripts to test terminal graphics

tmux

tmux source code

tupimage

A utility to upload and display terminal images using the unicode placeholder extension of the kitty graphics protocol

tvm

Open deep learning compiler stack for cpu, gpu and specialized accelerators

vim-better-whitespace

Better whitespace highlighting for Vim

vim-clang-format

Vim plugin for clang-format, a formatter for C, C++, Obj-C, Java, JavaScript, TypeScript and ProtoBuf.

vim-slime

A vim plugin to give you some slime. (Emacs)

vim-terminal-images

vim-win

🖼️ A Vim plugin for managing windows.

wezterm

A GPU-accelerated cross-platform terminal emulator and multiplexer written by @wez and implemented in Rust