Mini Moonbit implementation from 摩卡猫猫
☆15Dec 4, 2024Updated last year
Alternatives and similar repositories for minimoonbit-moca
Users that are interested in minimoonbit-moca are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆20Nov 24, 2024Updated last year
- ☆60Jun 5, 2025Updated last year
- Convenient BitTorrent Client based on the aria2 JSON-RPC☆24Updated this week
- 弥希 Miki 的舰长日报☆18Updated this week
- Example of testing a driver crate using mocks and `defmt-test`.☆10Aug 19, 2021Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A C0 compiler for homework | C0 编译器 | 北航软院编译原理大作业☆30Jun 1, 2020Updated 6 years ago
- Bootloader/monitor for stm32h7 systems☆17Apr 11, 2021Updated 5 years ago
- Automatic testing of MoonBit programs☆35Updated this week
- Simply and Easily cross-compile the Rust sysroot crates.☆14Jan 24, 2022Updated 4 years ago
- 采样频率12kHz的驱动端故障数据--CWRU凯斯西储大学故障诊断实验数据集☆11May 31, 2023Updated 3 years ago
- ☆14Jun 2, 2025Updated last year
- Equip Ghidra with LLM☆14Feb 10, 2026Updated 5 months ago
- Vectorized Terminus Font☆18Aug 22, 2017Updated 8 years ago
- Kerbal Space Program config file support for Visual Studio Code☆10Aug 2, 2021Updated 4 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A terminal text editor written in MoonBit☆10Apr 7, 2025Updated last year
- a simple pl/0 compiler implemented in rust.☆37Oct 5, 2024Updated last year
- A Logical Relation for Martin-Löf Type Theory in Agda☆11Jul 31, 2025Updated 11 months ago
- Async ICM20948 Rust driver for [no_std] environments using embedded-hal traits.☆18Mar 19, 2026Updated 4 months ago
- Essential tools for security, easily install with scoop☆14Updated this week
- A naive interpreter for IR of NJU compiler principle lab3, to accelerate interpretation, the ir will be compiled to machine-friendly bina…☆16Jun 17, 2020Updated 6 years ago
- a custom 7z, which can use three keys instead of password to extract zip file.☆13Oct 5, 2018Updated 7 years ago
- A simple Unity importer for qoi, the "Quite OK Image" image format (https://github.com/phoboslab/qoi)☆12Oct 6, 2024Updated last year
- A CTF platform developed using ASP.NET Core and VUE。一个由ASP.NET Core 和 VUE开发完成的CTF平台☆10Oct 5, 2025Updated 9 months 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.
- A theme for VS Code☆16May 12, 2021Updated 5 years ago
- Automated Reasoning Infrastructure & Applications☆15Jul 21, 2026Updated last week
- A unicorn-based dynamic simulation execution IDA plugin☆17Jan 30, 2020Updated 6 years ago
- JavaScript Runtime built with Mozilla's SpiderMonkey Engine☆14Nov 4, 2024Updated last year
- ☆17Jul 11, 2026Updated 2 weeks ago
- Nsq v1.1.0 版本的源码分析☆14Aug 9, 2020Updated 5 years ago
- make js file hot-reload when use hot-require to load the file☆18Jul 16, 2016Updated 10 years ago
- Captcha based on SVG.☆14Feb 11, 2026Updated 5 months ago
- The implementation of an SMTLib dialect for xDSL☆19Apr 16, 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.
- 我陈平安，唯有一键，可搬山，倒海，降妖，镇魔，敕神，摘星，断江，摧城，开天！☆22Jun 4, 2022Updated 4 years ago
- A Rust style C++ library.☆19Sep 3, 2022Updated 3 years ago
- Some test samples for CPG execution logic.☆20Apr 13, 2024Updated 2 years ago
- The Ciao Preprocessor☆13Jun 17, 2025Updated last year
- make ida9 plugin great again!☆16Aug 11, 2024Updated last year
- 基于辣鸡北航教务系统的各种脚本☆10Mar 15, 2018Updated 8 years ago
- Automatically exported from code.google.com/p/metropolis-procedural-modeling☆15Apr 9, 2015Updated 11 years ago