MicroVIM, a simple editor implementing some basic vim features.
☆27Dec 12, 2024Updated last year
Alternatives and similar repositories for mvim
Users that are interested in mvim are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The Chinese translation for Let's Build a Compiler by Jack W. Crenshaw.☆21Jan 14, 2024Updated 2 years ago
- The loli bootloader☆15Feb 18, 2026Updated 7 months ago
- Port linux 0.12 to RISC-V 64☆19Nov 9, 2023Updated 2 years ago
- oneforall2☆10Oct 8, 2024Updated last year
- RISC-V VM in Bash☆29Apr 3, 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.
- 南京大学电子系课程资料汇总☆11Jun 7, 2022Updated 4 years ago
- 一个基于 Linux framebuffer 技术的图形系统。基于教学目的开发，不接受其它目的的演进。☆18Apr 24, 2024Updated 2 years ago
- Mainline status of RK3528 SoC.☆18Sep 6, 2025Updated last year
- 在Telegram、QQ、IRC之间转发消息的应用☆20Jan 28, 2018Updated 8 years ago
- Item Render Rebirth is a mod for MCMOD.cn☆18Dec 3, 2018Updated 7 years ago
- Cha86.dev☆34Dec 16, 2025Updated 9 months ago
- Universebenzene's personal Gentoo overlay☆27Updated this week
- ☆13Feb 8, 2023Updated 3 years ago
- Home, sweet $HOME.☆31Jun 21, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Towards a million-node RISC-V cluster.☆14Mar 6, 2025Updated last year
- Python Telegram Bot for Chevereto☆10Updated this week
- Monthly Progress Reports for RISC-V Operating Systems☆12Sep 30, 2023Updated 2 years ago
- logic programming in elixir☆10Nov 1, 2018Updated 7 years ago
- Cross-platform Audio Visualizer☆16Jul 20, 2026Updated 2 months ago
- Material You Mastodon/Akkoma/Pleroma client☆52Dec 26, 2023Updated 2 years ago
- ☆32Updated this week
- helper for fitgirl fuckingfast download☆15May 21, 2025Updated last year
- Data repo for https://one-among.us☆179Updated this week
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A small Wayland compositor inspired by Plan 9's rio.☆35Feb 13, 2026Updated 7 months ago
- [Archived] dde 23 on NixOS☆33Jul 15, 2024Updated 2 years ago
- Sync PyPI (or plain HTTP(S) PyPI mirrors using Shadowmire) with a lightweight and easy approach☆18Updated this week
- DefinitelyTyped documentation-generator source + gh-pages☆12Jun 26, 2014Updated 12 years ago
- A command-line tool that uses AI to rename and organize video files.☆21Jul 28, 2026Updated last month
- An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory☆15Oct 15, 2018Updated 7 years ago
- ☆10Nov 14, 2018Updated 7 years ago
- Btop in Rust☆15Aug 2, 2026Updated last month
- Digital Ocean Tutorials 上一些文章的翻译，主要为运维相关。https://www.digitalocean.com/community/tutorials☆12Jun 6, 2016Updated 10 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Capture and debug/modify Wayland connections☆45Oct 31, 2023Updated 2 years ago
- Yet another Scheme interpreter.☆11Sep 17, 2022Updated 4 years ago
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Apr 3, 2023Updated 3 years ago
- Experiments with the Verse Calculus in miniKanren☆14Sep 17, 2023Updated 3 years ago
- tak is a benchmark thing 👍 (or maybe just an excuse to collect all the languages)☆14Oct 24, 2025Updated 10 months ago
- petpet generator in Rust☆16Feb 14, 2024Updated 2 years ago
- an itch.io butler wrapper for lazybones like me☆11Sep 2, 2026Updated 2 weeks ago