基于SpaceVim的真正开箱即用、无需配置的IDE，你只需要记住快捷键即可。（目前默认支持C/C++、Go、Python、Shell、Markdown、VimL）
☆97Feb 27, 2023Updated 3 years ago
Alternatives and similar repositories for SpaceVim
Users that are interested in SpaceVim are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 整理个人学习的知识框架与技术栈☆25Mar 15, 2026Updated last week
- Unofficial implementation of LiDAR remittance calibration from Jesse Levinson and Sebastian Thun☆14Nov 27, 2018Updated 7 years ago
- ICP implementations including Robust-ICP and Anisotropic-Scaled ICP☆12Feb 17, 2015Updated 11 years ago
- My SpaceVim configuration. Clone it into ~/.SpaceVim.d☆10Jan 18, 2026Updated 2 months ago
- Synthesiser for Asynchronous Verilog Language☆20Oct 29, 2014Updated 11 years ago
- Modern neovim configuration based on native lsp☆363Updated this week
- A copy of the latest version of MVSIS☆12Apr 18, 2021Updated 4 years ago
- Todo management in vim using unite and sqlite☆20Mar 28, 2019Updated 6 years ago
- Multi-threaded and SSE friendly NDT algorithm☆31Jan 8, 2026Updated 2 months ago
- CUDA program to find the tallest possible cacti in Minecraft.☆10Jan 1, 2024Updated 2 years ago
- Major refactor of ueberzugpp with improved performance☆17Jan 31, 2026Updated last month
- CVE-2022-3910☆12Mar 14, 2023Updated 3 years ago
- A dairy note edit and manage tool in vim☆22Dec 3, 2023Updated 2 years ago
- A repository with UEFI research stuff☆16Jun 23, 2023Updated 2 years ago
- Generate MoonBit bindings from TypeScript definitions via the TypeScript compiler API☆11Jul 29, 2025Updated 7 months ago
- CV32E40X Design-Verification environment☆16Mar 25, 2024Updated last year
- ☆11Jul 1, 2025Updated 8 months ago
- A fork of Yosys that integrates the CellIFT pass☆13Jul 23, 2025Updated 8 months ago
- Source code and supplementary materials for our paper "Stability-based Scale Estimation for Monocular SLAM"☆14Nov 20, 2017Updated 8 years ago
- Lin Rongbin's (Neo)Vim Distribution☆204Aug 21, 2025Updated 7 months ago
- A nvim config for both neovim and vscode.☆147Mar 3, 2026Updated 3 weeks ago
- collect browser bookmark with org-mode☆10Oct 23, 2022Updated 3 years ago
- ☆15Apr 26, 2021Updated 4 years ago
- Development of a virtual quadruped robot using OpenAI & Mujoco☆17Feb 15, 2023Updated 3 years ago
- My first project: a smart robot based on ROS with 2D lidar sensors and RGB-D camera☆12Jul 7, 2019Updated 6 years ago
- Reproducible nix overlay of binary distributed MoonBit toolchains and LSP☆17Mar 11, 2026Updated 2 weeks ago
- Grafana datasource plugin for GreptimeDB☆11Dec 26, 2024Updated last year
- Code for the NeurIPS 2020 paper Efficient Exact Verification of Binarized Neural Networks☆13Jun 30, 2022Updated 3 years ago
- ☆16Jan 5, 2022Updated 4 years ago
- ☆15Jun 18, 2023Updated 2 years ago
- This tool can be useful for solving some reversing challenges in CTFs events.☆15Nov 1, 2021Updated 4 years ago
- 🧪 Experimental JavaScript sandbox based on iframe for frontend (electron, micro apps, etc).☆15Jun 29, 2024Updated last year
- ☆14Jan 3, 2018Updated 8 years ago
- Roam Research Alfred Workflow☆12Jan 19, 2022Updated 4 years ago
- symbolic reachability checker☆23Sep 23, 2021Updated 4 years ago
- Counter-example guided inductive synthesis (CEGIS) implementation for the SMT solver Z3 by Microsoft Research☆60Jan 8, 2017Updated 9 years ago
- Common Interface to Boolean Satisfiability Solvers from Common Lisp☆21Apr 29, 2022Updated 3 years ago
- A node.js based server template.☆23Aug 14, 2023Updated 2 years ago
- 《算法设计与分析（第2版）》黄宇编著 个人题解（部分）☆14Oct 28, 2023Updated 2 years ago