目标是最精致的编程语言
☆114May 7, 2024Updated last year
Alternatives and similar repositories for key-lang
Users that are interested in key-lang are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- [已废弃] 飞鸽传书 校园远程通知平台☆12May 4, 2022Updated 3 years ago
- ☆10May 27, 2025Updated 10 months ago
- 《计算机世界观》 助你塑造正确的计算机世界观☆39Jun 5, 2022Updated 3 years ago
- Safe wrapper around freedesktop.org's fontconfig library, for locating fonts on UNIX like systems.☆23Oct 7, 2025Updated 6 months ago
- CommandLine! Calling Methods defined in CSharp Source file by using a command line string, with this library, you can easily do that; 命令行…☆13Mar 10, 2022Updated 4 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- hikvision ipcameras ip camera password reset offline tool for encrypt.xml support hikkvision reset code fro admin☆11Oct 3, 2016Updated 9 years ago
- Template project for using napi-rs to build native package via pnpm.☆30Apr 12, 2026Updated last week
- A refined web framework☆38Apr 11, 2024Updated 2 years ago
- A .NET conversion of the xBRZ image upscaling algorithm. The original C++ version can be found here: https://sourceforge.net/projects/xbr…☆13Nov 13, 2020Updated 5 years ago
- tg 图片推送 bot☆16Sep 17, 2022Updated 3 years ago
- Custom error type of nom to improve accuracy of error position☆11Mar 23, 2023Updated 3 years ago
- Elegant maps and elements of Nanjing Metro☆30Jan 11, 2026Updated 3 months ago
- Nim Socks5 library☆29Dec 29, 2021Updated 4 years ago
- A pauseless garbage collector in C.☆12Jan 5, 2023Updated 3 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.
- ☆14Jan 6, 2014Updated 12 years ago
- Coq code formatter☆24Jan 22, 2026Updated 2 months ago
- HTTP,WebSocket ... with Netty☆11Jul 12, 2022Updated 3 years ago
- Create your own Awesome List by GitHub stars!☆34May 16, 2025Updated 11 months ago
- The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.☆19Mar 29, 2025Updated last year
- 我的世界翻译器☆14Jul 19, 2025Updated 9 months ago
- ☆17Feb 14, 2023Updated 3 years ago
- Deprecated☆39Mar 31, 2026Updated 2 weeks ago
- all-in-one dumper for Zenless Zone Zero written in Rust☆19Jan 8, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 😽 一只Rust写的喵喵回收站☆12Nov 5, 2024Updated last year
- Modern graphing calculator operating system.☆11Sep 20, 2020Updated 5 years ago
- a strange book discussing basic stuffs of polynomials☆15Mar 31, 2022Updated 4 years ago
- universal plugin framework for web application☆31Oct 7, 2023Updated 2 years ago
- Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…☆40Mar 12, 2026Updated last month
- Intel 185H Kubernetes with SR-IOV GPU Passthrough to cluster w/ various projects. Now with working Intel SR-IOV to KubeVirt!☆16Updated this week
- ☆73Feb 3, 2026Updated 2 months ago
- 在学习Java反序列化漏洞的过程中，用来理解Java RMI程序的执行流程，演示如何攻击Java RMI程序的几个示例。☆11May 6, 2020Updated 5 years ago
- A meta-circular interpreter of a subset of Scheme☆16Apr 12, 2020Updated 6 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆10Apr 1, 2024Updated 2 years ago
- A math library specialized for 2d screen graphics.☆14Feb 28, 2025Updated last year
- Elaboration with inductive types☆16Jun 1, 2023Updated 2 years ago
- Generate an elm-ethereum contract interface from your contract's ABI☆11Dec 7, 2022Updated 3 years ago
- Curated list of media streaming.☆11Mar 1, 2023Updated 3 years ago
- Mirai 插件 - 实时推送用户的 GitHub 动态到 QQ 群☆12May 5, 2023Updated 2 years ago
- Compiler for a language with Python-like syntax☆11Dec 13, 2018Updated 7 years ago