Vim plugin for SageMath (Sage) mathematics software system
☆24Sep 11, 2023Updated 3 years ago
Alternatives and similar repositories for vim-sage
Users that are interested in vim-sage are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Vim TeX syntax file☆10Jan 15, 2023Updated 3 years ago
- Control XRandR from awesome WM. Moved to gitlab: https://gitlab.com/k3rni/foggy☆10Jul 28, 2020Updated 6 years ago
- Frida depends on Vala☆13Updated this week
- High level Lean 4 FFI for Rust☆14Mar 16, 2024Updated 2 years ago
- Toggle and Switch Between Multiple Floating Terminals in NeoVim or Vim☆11Aug 17, 2026Updated 2 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Example NeoVim Lua Plugin☆11Aug 29, 2020Updated 6 years ago
- Replace Unicode symbols by equivalent Latex commands☆29Sep 13, 2025Updated last year
- Source code for Pokémon Prism☆17Jan 20, 2013Updated 13 years ago
- A new UI for git. This doesn't work yet.☆29Jul 26, 2021Updated 5 years ago
- 6cdh's dotfiles☆10Mar 17, 2026Updated 7 months ago
- A better way to grep in vim.☆18Oct 5, 2022Updated 4 years ago
- Import receipts from Lidl Plus to Grocy, right from your terminal!☆14Jan 7, 2025Updated last year
- Async jobs and tasks☆16Mar 19, 2024Updated 2 years ago
- A pytest compiler for vim☆14Feb 17, 2020Updated 6 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Light phylogeny library for Rust☆11Oct 24, 2025Updated 11 months ago
- Vimming Things Done: a GTD Trusted System which lives in vim.☆29Sep 16, 2019Updated 7 years ago
- WASP was superseded by: https://github.com/OCamlPro/owi☆16Aug 28, 2024Updated 2 years ago
- A Vim plugin that runs gofmt when you save☆19May 19, 2021Updated 5 years ago
- Pop Out Panel inside Custom user mode☆23Jan 23, 2026Updated 8 months ago
- An LLVM interface for Lean 4. (WIP)☆27Aug 1, 2023Updated 3 years ago
- KallistiOS for DLang☆17Mar 16, 2025Updated last year
- Prints numbers with separators☆14Apr 29, 2021Updated 5 years ago
- Remove continuation characters when joining lines in vim☆23Jun 9, 2025Updated last year
- 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.
- ☆10Aug 12, 2015Updated 11 years ago
- A session manager for dtach.☆13Oct 5, 2014Updated 12 years ago
- An extension for telescope.nvim that allows you to search font glyphs☆14May 22, 2026Updated 4 months ago
- Try to solve Puzzle & Dragons with C++☆19Sep 15, 2026Updated last month
- mdbook typst preprocessor☆17Oct 11, 2026Updated last week
- This is a zsh initialization file (e.g. /etc/zshrc or ~/.zshrc) which activates a lot of zsh features☆13Jun 18, 2022Updated 4 years ago
- Sources for OpenDreamKit's website☆18Feb 23, 2024Updated 2 years ago
- An Interactive Discrete Mathematics Framework for GAP☆11Oct 1, 2026Updated 2 weeks ago
- Repository for the Instructor Trainers community☆12Oct 2, 2026Updated 2 weeks 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.
- A Bash script for universal OS detection☆17Sep 24, 2024Updated 2 years ago
- Comprehensive taskpaper support for vim (based on davidoc/taskpaper.vim and related repos)☆27Oct 7, 2020Updated 6 years ago
- A collection of data structures for Mario Kart 7☆20Oct 6, 2026Updated last week
- VB.NET syntax and indent and snippets☆11Jan 17, 2020Updated 6 years ago
- Provides functions for easy archive manipulation.☆19Aug 16, 2026Updated 2 months ago
- In order to call great APIs, we need great API clients.☆29Nov 11, 2021Updated 4 years ago
- A lint tool for vim help files.☆36Dec 31, 2024Updated last year