A plugin which help users to toggle a fullscreen mode on GVim or MacVim.
☆29Jun 28, 2023Updated 3 years ago
Alternatives and similar repositories for vim-fullscreen
Users that are interested in vim-fullscreen are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- windows port of http://vim-users.jp/2011/10/hack234/☆20Nov 5, 2019Updated 6 years ago
- Show wifi information on statusline/tabline of Neovim/Vim☆20Nov 27, 2025Updated 8 months ago
- my clone for http://www.vim.org/scripts/script.php?script_id=2666☆23Oct 30, 2014Updated 11 years ago
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆12Mar 15, 2021Updated 5 years ago
- Simple YMF825 driver for Arduino☆13Jun 16, 2018Updated 8 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A light-weight, self-bootstrapping software build utility.☆21Jul 25, 2024Updated 2 years ago
- A vim-emulator for jEdit 5☆15Apr 4, 2023Updated 3 years ago
- LeaderF extension for navigate the marks.☆23Mar 8, 2024Updated 2 years ago
- ☆13Oct 7, 2016Updated 9 years ago
- ☆15Aug 15, 2017Updated 8 years ago
- A gem that makes it easy to serialize your objects to json and back. Without this, you'll have to add your own to_json and json_create me…☆16Mar 29, 2012Updated 14 years ago
- "Efficient Neural Theorem Proving via Fine-grained Proof Structure Analysis" (ICML 2025) official implementation.☆16Jun 8, 2025Updated last year
- A collection of useful tips/tricks/hints for Isabelle users.☆17May 2, 2024Updated 2 years ago
- Yet another emacs dark color theme☆14Apr 6, 2016Updated 10 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- StarExec is a cross community logic solving service☆19Jun 1, 2025Updated last year
- Vim extension for C++ Insights.☆19Apr 27, 2026Updated 3 months ago
- An Emacs 24 theme with the Answer to The Ultimate Question of Life, the Universe, and Everything... well. ok, perhaps not ( crib-sheet : …☆15Mar 24, 2013Updated 13 years ago
- Sample project using sinatra and faye-websocket☆21Feb 9, 2015Updated 11 years ago
- Scripts for downloading and pre-processing the `proof-pile`, a high quality dataset of mathematical text and code.☆22Nov 26, 2022Updated 3 years ago
- Code for the paper "Decomposing the Enigma: Subgoal-based Demonstration Learning for Formal Theorem Proving"☆20May 25, 2023Updated 3 years ago
- TinyThread is a small multi-thread library for embedded system. Currently it supports Cortex-M0 chips, such as Nuvoton Nano100/NUC100/M05…☆19Jun 14, 2016Updated 10 years ago
- ☆26Aug 23, 2024Updated last year
- GitHub Action to install Doxygen☆15Jul 20, 2026Updated 3 weeks ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Master thesis template of college of Computer Science, Zhejiang University, can easily be extended to the doctoral thesis and engineering…☆12Mar 15, 2016Updated 10 years ago
- Markdown 风格指南☆11Feb 23, 2020Updated 6 years ago
- Pokemon might be in your open file....☆17Jul 22, 2016Updated 10 years ago
- Auto-formatter for OCaml code☆11Oct 24, 2025Updated 9 months ago
- Completion for vital.vim☆13Mar 29, 2016Updated 10 years ago
- Enarx Keep Loader☆15Oct 25, 2021Updated 4 years ago
- 大学１年のころに制作したコマンドプロンプトで動くトランプゲーム（ババ抜き）。☆10Jun 30, 2022Updated 4 years ago
- Plugin to allow full screen use in gvim on Windows☆113May 18, 2017Updated 9 years ago
- MRU plugin includes unite.vim/denite.nvim MRU sources☆126Feb 5, 2020Updated 6 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A clock widget for statusline with sky color at the time☆18Nov 3, 2018Updated 7 years ago
- Repository for OpenCV's extra modules☆14Feb 19, 2015Updated 11 years ago
- tools and benchmarks for verified coding☆27Jun 5, 2026Updated 2 months ago
- an arithmetic library for OCaml’s native integers☆11Jun 30, 2024Updated 2 years ago
- A minimal language for Isabelle/HOL, designed for easing machine learning.☆30Updated this week
- Fast and flexible IDE base on lovely GNU/Emacs for Emacs gurus.☆20Nov 16, 2014Updated 11 years ago
- CLX C++ Libraries☆14Apr 8, 2011Updated 15 years ago