NOI Linux in Windows WSL 2
☆14Dec 18, 2023Updated 2 years ago
Alternatives and similar repositories for noiwslLauncher
Users that are interested in noiwslLauncher are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- To help you punch automatically in luogu☆25Dec 8, 2025Updated 3 months ago
- This is the source code decompiled from mulang's REPL☆22Jan 18, 2020Updated 6 years ago
- 批量下载bilibili(b站)公开收藏夹下的所有视频,支持BV号☆12May 8, 2020Updated 5 years ago
- Cealing Host With CNAME multi-IP☆14Oct 23, 2024Updated last year
- AdvancedVelocityManager is an advanced management plugin designed for the Minecraft Velocity proxy server.☆21Mar 19, 2026Updated last week
- 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.
- LaTeX Template for Fudan University School of Computer Science 2024☆11May 21, 2024Updated last year
- A BitTorrent client written entirely in Python so that you can get to the depths of the protocol☆20Aug 3, 2019Updated 6 years ago
- 使用Python3编写的脚本,可将网易云音乐下载的.ncm格式转换成.flac和.mp3☆18Dec 7, 2021Updated 4 years ago
- ☆83Updated this week
- 自动将网易云的歌单同步到本地☆16Oct 25, 2023Updated 2 years ago
- hey! what do we got here?☆33Aug 16, 2024Updated last year
- 🔄 🌐 Handle thousands of HTTP requests, disk writes, and other I/O-bound tasks simultaneously with Python's quintessential async libra…☆20Mar 13, 2026Updated last week
- Codeforces Submit add-on for Competitive Programming Helper☆23Mar 8, 2024Updated 2 years ago
- 🧪 Experiments in calling Zig code from MoonBit (via C ABI bridge initially), aiming for direct interop.☆12Apr 7, 2025Updated 11 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆14Oct 30, 2024Updated last year
- 快点进来!!!因为洛谷主题库和入门与面试题库里所有的题都在这里!! !☆27Mar 20, 2023Updated 3 years ago
- Qt/QML 女生自用教学课程 | Self-taught Qt/QML Tutorial☆35Sep 20, 2021Updated 4 years ago
- 🍔 Chen’s Private Cuisine Menu☆10Jan 4, 2026Updated 2 months ago
- The repository for HKU ENGG1340 Group Project (24/25 Semester 2).☆10Jun 22, 2025Updated 9 months ago
- Python Plugin for the Rime Input Method Engine☆30Dec 15, 2021Updated 4 years ago
- A terminal text editor written in MoonBit☆11Apr 7, 2025Updated 11 months ago
- Open, hand-typed notes by HKU students, for HKU students.☆18Sep 5, 2025Updated 6 months ago
- ☆11Mar 20, 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.
- A formalization of synthetic differential geometry in Coq using infinitesimal analysis☆11Aug 29, 2021Updated 4 years ago
- ☆50Oct 18, 2023Updated 2 years ago
- Dyson Sphere Program Blueprint Toolkit☆42Jun 5, 2022Updated 3 years ago
- A Boost Based C++ HTTP JSON Server☆14Mar 13, 2024Updated 2 years ago
- 程序员入门指南☆27Aug 17, 2022Updated 3 years ago
- Write games use jok(zig) through MoonBit(wasm).☆16Mar 24, 2025Updated last year
- Write, compile and run WebAssembly text mode in the browser☆16Jan 5, 2026Updated 2 months ago
- An upgraded version of Kantumruy.☆13Jan 13, 2024Updated 2 years ago
- Reproducible nix overlay of binary distributed MoonBit toolchains and LSP☆17Mar 11, 2026Updated 2 weeks ago
- 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.
- Simple implementation of ST LC type checker in Haskell☆13Apr 18, 2022Updated 3 years ago
- Mechanized baselines for various type system features☆18Updated this week
- A Python library to add reconstructed pronunciations of Middle Chinese on Chinese texts☆11Mar 13, 2023Updated 3 years ago
- ☆17Oct 20, 2024Updated last year
- A lightweight, WebAssembly-native Canister Development Kit (CDK) for building smart contracts on the Internet Computer (ICP) with the Moo…☆21Dec 9, 2025Updated 3 months ago
- ☆10May 27, 2025Updated 9 months ago
- Mechanized proofs and example programs for the paper Type Inference Logics, published at OOPSLA24.☆11Aug 28, 2024Updated last year