Software that can generate photos from paintings, turn horses into zebras, perform style transfer, and more.

Multi-layer Recurrent Neural Networks (LSTM, GRU, RNN) for character-level language models in Torch

CompetiTest.nvim is a Neovim plugin for Competitive Programming: it can manage and check testcases, download problems and contests from online judges and much more

Neovim support for the Lean theorem prover