Rust programming, in Vietnamese.
☆45Dec 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:
- 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 2 years ago
- An end-to-end implementation process for building, labeling & deploying a dataset with 25136 images of 30 Vietnamese foods & their URLs: …☆21Nov 16, 2021Updated 4 years ago
- orz☆15Dec 8, 2022Updated 3 years ago
- A view wrapper for gyscos/cursive views which aligns child views 🖥️☆18Aug 12, 2024Updated last year
- Distributed by design. Data-driven by default.☆62Updated this week
- 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 Minecraft: Java Edition Launcher for Android based on Boardwalk. Note that v2 will not able to run Minecraft 1.12+.☆14Apr 16, 2021Updated 5 years ago
- A loading-screen wrapper for gyscos/cursive views 🖥️☆18Aug 12, 2024Updated last year
- Reading and writing of osu! binary files: `osu!.db`, `collection.db`, `scores.db` and `.osr` replay files.☆28Apr 24, 2025Updated last year
- Shader☆11Sep 15, 2021Updated 4 years ago
- This is our project for the Mobile Development course at HCMUS.☆12Jan 13, 2023Updated 3 years ago
- automatic grading tool for edunext☆35May 17, 2023Updated 2 years ago
- Deno package + CLI for fetching GitHub/BitBucket/Custom provider release + asset links with pattern matching☆10Jul 12, 2021Updated 4 years ago
- Final Project for OOP Course - University of Science, VNUHCM☆10Feb 13, 2023Updated 3 years ago
- LaTeX Beginner's Guide, published by packt☆26Jan 18, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- High-level command-line media processing tool written in Rust.☆18Jul 22, 2025Updated 9 months ago
- ☆23Sep 22, 2021Updated 4 years ago
- plugin☆10Mar 26, 2023Updated 3 years ago
- 📸 Neovim plugin to take screenshots of your Neovim session.☆13Jan 18, 2025Updated last year
- The C++ build system that just works.☆16Nov 24, 2025Updated 5 months ago
- Second revision of my Kitteh language. Now comes with a compiler to x86.☆17Jun 15, 2023Updated 2 years ago
- Coursera Specialization☆14Nov 11, 2018Updated 7 years ago
- Rust programming, in any language. Write rust like a true polyglot.☆126Mar 27, 2025Updated last year
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
- 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.
- LSP inline hints for Lua, intended for use with Neovim.☆15May 31, 2023Updated 2 years ago
- ☆12Jul 28, 2016Updated 9 years ago
- Mirror of https://git.sr.ht/~nedia/auto-save.nvim☆11Oct 18, 2023Updated 2 years ago
- Minecraft 1.19.2 server written in C++☆18Mar 10, 2024Updated 2 years ago
- Solutions to Software Security course provided by University of Maryland - Coursera☆21Dec 19, 2020Updated 5 years ago
- A multi-purpose Discord bot with simple moderation commands, reaction roles, reminders, and much more!☆16Dec 29, 2021Updated 4 years ago
- ☆12Apr 2, 2026Updated last month
- Make every colorscheme fast (WIP)☆11Apr 16, 2023Updated 3 years ago
- 🧛🏻♂️ Dark theme for MusicBee☆15Mar 20, 2022Updated 4 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Game Boy Advance emulator with audio support written in Rust 🦀🎮☆16Feb 26, 2025Updated last year
- a tool for editing .sht files used in various Touhou games☆21Sep 20, 2023Updated 2 years ago
- My homework when i was studying programming in HCMUS.☆13Jun 16, 2018Updated 7 years ago
- A maintained discord.py extension for inter-process communication☆16Apr 17, 2025Updated last year
- A formatter/linter for Coq source☆14Jan 15, 2022Updated 4 years ago
- An experiment with LSP hints☆13Jul 19, 2022Updated 3 years ago
- Experiments with some ways of automating reasoning in lean 4☆18Apr 20, 2024Updated 2 years ago