喜鹊派员工餐配方存档
☆11Jun 13, 2024Updated last year
Alternatives and similar repositories for MAGPIE
Users that are interested in MAGPIE are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 从一生足迹中读取位置数据并写入图片☆34Nov 28, 2025Updated 3 months ago
- Analysis of evidential models☆15Jun 22, 2023Updated 2 years ago
- Replaced login method for Xcodes.☆14Oct 23, 2024Updated last year
- 🔫 Toy ML-like Imperative Programming Language (WIP)☆10Apr 15, 2021Updated 4 years ago
- k theorem prover☆11Aug 16, 2022Updated 3 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- [EXPERIMENTAL] RISC-V platform crate for Drone, an Embedded Operating System.☆12Apr 9, 2021Updated 4 years ago
- ☆16Mar 13, 2024Updated 2 years ago
- Data Types a la carte from PureScript -> JavaScript☆13Apr 19, 2017Updated 8 years ago
- A low level, expressive language☆14Dec 12, 2024Updated last year
- Swift package for libssh2, automatically tracked on release tags.☆16Jan 25, 2026Updated 2 months ago
- another github made by python☆32Apr 4, 2014Updated 11 years ago
- Quickey is a Simple Flutter SQLite Wrapper☆13Feb 14, 2026Updated last month
- ☆13Jan 6, 2023Updated 3 years ago
- Source code & exercises in Arend's documentation☆21Jul 19, 2021Updated 4 years ago
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- miniKanren in Pharo☆11Jun 10, 2024Updated last year
- ☆18Mar 14, 2016Updated 10 years ago
- A macOS app that silently sends keyboard events to background applications via shortcuts, like a phantom.☆51Mar 8, 2025Updated last year
- Elaboration with inductive types☆16Jun 1, 2023Updated 2 years ago
- ☆16Mar 11, 2022Updated 4 years ago
- ☆12Aug 26, 2022Updated 3 years ago
- 🚧施工中🚧 用 Arend 写证明的交互式教程☆14Sep 7, 2022Updated 3 years ago
- SUSTech CS202/CS214 Computer Organization Project. Streams Bad Apple.☆10Dec 11, 2023Updated 2 years ago
- A quick tour to *Data types à la carte* for reading group presentation.☆16Feb 7, 2023Updated 3 years 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.
- ☆24Mar 2, 2023Updated 3 years ago
- A persistent, RRB-Tree based vector for Rust☆27Mar 19, 2026Updated last week
- ARMv7 Single-Cycle processor implementation in Logisim☆13Sep 20, 2022Updated 3 years ago
- 我陈平安，唯有一键，可搬山，倒海，降妖，镇魔，敕神，摘星，断江，摧城，开天！☆22Jun 4, 2022Updated 3 years ago
- Implementation of Kaplan and Zwick's soft heap. Collaboration with Alex Hollender.☆14Oct 13, 2016Updated 9 years ago
- My QQ group bot☆17Jan 10, 2024Updated 2 years ago
- Brewy: A Homebrew GUI☆104Updated this week
- TiSpace manages VMs in K8s for developers☆14Nov 16, 2024Updated last year
- An implementation of animated list widget that will be automatically updated based on different lists snippets. Based on Android's DiffUt…☆11Jun 27, 2023Updated 2 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.
- Zero-knowledge Range Proof☆17Nov 16, 2017Updated 8 years ago
- ☆18Aug 27, 2023Updated 2 years ago
- ☆23Nov 16, 2013Updated 12 years ago
- My personal website.☆23Mar 9, 2026Updated 2 weeks ago
- A formally verified compiler of untyped lambda calculus to brainfuck☆16Aug 2, 2017Updated 8 years ago
- Tankle Adventure☆16Nov 12, 2024Updated last year
- The missing DisplayLink object for Apple platforms.☆27Mar 8, 2026Updated 2 weeks ago