Rust programming, in Vietnamese.
☆46Dec 15, 2022Updated 3 years ago
Alternatives and similar repositories for gir
Users that are interested in gir are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- NeonVM: QEMU-based virtualization API and controller for Kubernetes☆19Mar 30, 2023Updated 3 years ago
- Một chiếc guide nhỏ xinh giúp bạn dễ dàng hơn trong việc tối ưu server☆17Jul 3, 2023Updated 3 years ago
- A loading-screen wrapper for gyscos/cursive views 🖥️☆19Aug 12, 2024Updated 2 years ago
- automatic grading tool for edunext☆36May 17, 2023Updated 3 years ago
- Custom inspect-mode with CoreProtect hookup!☆12Jul 10, 2026Updated last month
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A customized Pufferfish fork☆36Jul 20, 2022Updated 4 years ago
- Reading and writing of osu! binary files: `osu!.db`, `collection.db`, `scores.db` and `.osr` replay files.☆28Apr 24, 2025Updated last year
- A Minecraft: Java Edition Launcher for Android based on Boardwalk. Note that v2 will not able to run Minecraft 1.12+.☆15Apr 16, 2021Updated 5 years ago
- code made for finding the herobrine seed☆14Jan 16, 2021Updated 5 years ago
- an optimizing compiler to a binary turing machine☆14Dec 16, 2024Updated last year
- My personal home-manager scripts. Mirror of https://git.dtth.ch/nki/nix-home☆12Updated this week
- Code for the course Implement RougeDB: A Redis clone from outer space written in Rust☆11Jan 15, 2025Updated last year
- The C++ build system that just works.☆18Updated this week
- Cloud file and email Sync, file Sharing, inter-cloud Encryption and Backup solution written in Rust and modern technologies☆14May 15, 2026Updated 3 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.
- A filter cascade implementation in rust☆15Apr 5, 2023Updated 3 years ago
- Second revision of my Kitteh language. Now comes with a compiler to x86.☆17Jun 15, 2023Updated 3 years ago
- plugin☆10Mar 26, 2023Updated 3 years ago
- A simple plugin that adds names to terminals☆10Apr 26, 2023Updated 3 years ago
- Script and library to wait for a DNS authority server to get its configuration.☆15Oct 21, 2021Updated 4 years ago
- ☆16Aug 2, 2026Updated 2 weeks ago
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
- Rust programming, in any language. Write rust like a true polyglot.☆126Mar 27, 2025Updated last year
- Mirror of https://git.sr.ht/~nedia/auto-save.nvim☆11Oct 18, 2023Updated 2 years ago
- 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.
- Anduin - game engine written in rust with usage of Vulkan API☆13Nov 24, 2018Updated 7 years ago
- Game Boy Advance emulator with audio support written in Rust 🦀🎮☆16Feb 26, 2025Updated last year
- ☆12Apr 2, 2026Updated 4 months ago
- Source code for all my competitive programming activities☆13Dec 28, 2024Updated last year
- Cycle-level, trace-driven, parallel GPU simulator for NVIDIA Pascal.☆16Dec 13, 2025Updated 8 months ago
- a tool for editing .sht files used in various Touhou games☆21Sep 20, 2023Updated 2 years ago
- Make every colorscheme fast (WIP)☆11Apr 16, 2023Updated 3 years ago
- A formatter/linter for Coq source☆14Jan 15, 2022Updated 4 years ago
- List Of Shame, by random people (MCVN edition)☆22May 4, 2026Updated 3 months ago
- 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.
- replay decoder for touhou series☆27Jan 26, 2012Updated 14 years ago
- Wasm examples, brought to you by humans!☆16Jan 7, 2021Updated 5 years ago
- 🧛🏻♂️ Dark theme for MusicBee☆16Mar 20, 2022Updated 4 years ago
- An osu!stable server + account switcher to automate signing in across different private servers.☆15Jan 18, 2026Updated 7 months ago
- A simple system for hosting competitive programming contests.☆23Nov 20, 2025Updated 8 months ago
- A tool for building Lean4 .olean files from Lean3 export data☆10Jul 28, 2021Updated 5 years ago
- A Python implementation of the SIEVE eviction algorithm☆19Jan 15, 2024Updated 2 years ago