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
- 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 last month
- A Haskell implementation of the Jupyter messaging protocol☆41Jul 15, 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.
- Example NeoVim Lua Plugin☆11Aug 29, 2020Updated 6 years ago
- A sample project illustrating how to write and distribute SageMath extensions☆16Feb 10, 2023Updated 3 years ago
- Replace Unicode symbols by equivalent Latex commands☆29Sep 13, 2025Updated last year
- Source code for Pokémon Prism☆18Jan 20, 2013Updated 13 years ago
- A new UI for git. This doesn't work yet.☆29Jul 26, 2021Updated 5 years ago
- Find highlines using my rasterio tool☆21Nov 13, 2025Updated 10 months ago
- 6cdh's dotfiles☆10Mar 17, 2026Updated 6 months ago
- A better way to grep in vim.☆18Oct 5, 2022Updated 3 years ago
- Async jobs and tasks☆16Mar 19, 2024Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- A pytest compiler for vim☆14Feb 17, 2020Updated 6 years ago
- ☆11Mar 23, 2026Updated 6 months ago
- Light phylogeny library for Rust☆11Oct 24, 2025Updated 11 months ago
- Hosting https://www.sagemath.org files; send Issues/PRs to repositories https://github.com/sagemath/website, https://github.com/sagemath/…☆36May 7, 2026Updated 4 months 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
- Python code (using regina, snappy, and sage) for working with transverse taut and veering ideal triangulations.☆10Updated this week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Prints numbers with separators☆14Apr 29, 2021Updated 5 years ago
- ☆26Apr 27, 2026Updated 5 months ago
- An LLVM interface for Lean 4. (WIP)☆27Aug 1, 2023Updated 3 years ago
- KallistiOS for DLang☆17Mar 16, 2025Updated last year
- ☆11Feb 23, 2017Updated 9 years ago
- Multi-party Private Set Union☆18Feb 1, 2025Updated last year
- Remove continuation characters when joining lines in vim☆23Jun 9, 2025Updated last year
- Rust iterator extensions for instruction-parallel reductions☆16May 28, 2026Updated 3 months ago
- Control Flow Linearization☆26May 4, 2025Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Travis builds for certbot.eff.org☆11Jan 19, 2022Updated 4 years ago
- ☆26Sep 6, 2020Updated 6 years ago
- Try to solve Puzzle & Dragons with C++☆19Sep 15, 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
- Mini installer that contains everything that's necessary to run rhumba☆14May 18, 2021Updated 5 years ago
- A Bash script for universal OS detection☆17Sep 24, 2024Updated 2 years ago