喜鹊派员工餐配方存档
☆12Jun 13, 2024Updated 2 years ago
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:
- Analysis of evidential models☆15Jun 22, 2023Updated 3 years ago
- 从一生足迹中读取位置数据并写入图片☆34Nov 28, 2025Updated 10 months ago
- [EXPERIMENTAL] RISC-V platform crate for Drone, an Embedded Operating System.☆12Apr 9, 2021Updated 5 years ago
- 🔫 Toy ML-like Imperative Programming Language (WIP)☆10Apr 15, 2021Updated 5 years ago
- Galley — A lightweight macOS PDF previewer with SyncTeX support☆26Sep 7, 2026Updated last month
- 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.
- Replaced login method for Xcodes.☆15Oct 23, 2024Updated last year
- k theorem prover☆11Aug 16, 2022Updated 4 years ago
- ☆16Mar 13, 2024Updated 2 years ago
- Data Types a la carte from PureScript -> JavaScript☆13Apr 19, 2017Updated 9 years ago
- A low level, expressive language☆14Dec 12, 2024Updated last year
- ☆14Jan 6, 2023Updated 3 years ago
- miniKanren in Pharo☆12Jun 10, 2024Updated 2 years ago
- Quickey is a Simple Flutter SQLite Wrapper☆13May 29, 2026Updated 4 months ago
- ☆18Mar 14, 2016Updated 10 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.
- ARMv7 Single-Cycle processor implementation in Logisim☆13Sep 20, 2022Updated 4 years ago
- Elaboration with inductive types☆16Jun 1, 2023Updated 3 years ago
- Implementation of Kaplan and Zwick's soft heap. Collaboration with Alex Hollender.☆14Oct 13, 2016Updated 10 years ago
- Swift package for libssh2, automatically tracked on release tags.☆19Apr 5, 2026Updated 6 months ago
- ☆16Mar 11, 2022Updated 4 years ago
- A macOS app that silently sends keyboard events to background applications via shortcuts, like a phantom.☆51Mar 8, 2025Updated last year
- ☆12Aug 26, 2022Updated 4 years ago
- 🚧施工中🚧 用 Arend 写证明的交互式教程☆14Sep 7, 2022Updated 4 years ago
- SUSTech CS202/CS214 Computer Organization Project. Streams Bad Apple.☆10Dec 11, 2023Updated 2 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆25Mar 2, 2023Updated 3 years ago
- A quick tour to *Data types à la carte* for reading group presentation.☆16Feb 7, 2023Updated 3 years ago
- 我陈平安，唯有一键，可搬山，倒海，降妖，镇魔，敕神，摘星，断江，摧城，开天！☆22Jun 4, 2022Updated 4 years ago
- ☆19Sep 18, 2026Updated 3 weeks ago
- A type-checked alternative to cfg(feature)☆21Jun 5, 2025Updated last year
- TiSpace manages VMs in K8s for developers☆14Nov 16, 2024Updated last year
- Code for paper "GeoTikzBridge: Advancing Multimodal Code Generation for Geometric Perception and Reasoning"☆23Apr 10, 2026Updated 6 months ago
- A theme for Maverick, designed for wiki site.☆16May 1, 2020Updated 6 years ago
- ☆17Aug 27, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A simple WoW add-on that sorts party, arena, and raid frames.☆19Sep 27, 2026Updated 2 weeks ago
- Zero-knowledge Range Proof☆16Nov 16, 2017Updated 8 years ago
- A formally verified compiler of untyped lambda calculus to brainfuck☆15Aug 2, 2017Updated 9 years ago
- Tankle Adventure☆16Nov 12, 2024Updated last year
- A Rust implementation of a Model Context Protocol (MCP) server designed for working with Xcode `Localizable.xcstrings` files.☆18Nov 9, 2025Updated 11 months ago
- 🧊 A Elbereth Gilthoniel / silivren penna míriel! 🌟☆18Jun 25, 2022Updated 4 years ago
- An implementation of animated list widget that will be automatically updated based on different lists snippets. Based on Android's DiffUt…☆11Jun 27, 2023Updated 3 years ago