喜鹊派员工餐配方存档
☆11Jun 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:
- 从一生足迹中读取位置数据并写入图片☆35Nov 28, 2025Updated 6 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 5 years ago
- Public repository for Claude Skills☆35Updated this week
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- k theorem prover☆11Aug 16, 2022Updated 3 years ago
- [EXPERIMENTAL] RISC-V platform crate for Drone, an Embedded Operating System.☆12Apr 9, 2021Updated 5 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
- another github made by python☆32Apr 4, 2014Updated 12 years ago
- Quickey is a Simple Flutter SQLite Wrapper☆13May 29, 2026Updated 2 weeks ago
- ☆13Jan 6, 2023Updated 3 years ago
- Swift package for libssh2, automatically tracked on release tags.☆18Apr 5, 2026Updated 2 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Source code & exercises in Arend's documentation☆21May 8, 2026Updated last month
- miniKanren in Pharo☆12Jun 10, 2024Updated 2 years ago
- ☆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 3 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
- 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 quick tour to *Data types à la carte* for reading group presentation.☆16Feb 7, 2023Updated 3 years ago
- ☆25Mar 2, 2023Updated 3 years ago
- A persistent, RRB-Tree based vector for Rust☆30May 18, 2026Updated 3 weeks ago
- ARMv7 Single-Cycle processor implementation in Logisim☆13Sep 20, 2022Updated 3 years ago
- Implementation of Kaplan and Zwick's soft heap. Collaboration with Alex Hollender.☆14Oct 13, 2016Updated 9 years ago
- 我陈平安，唯有一键，可搬山，倒海，降妖，镇魔，敕神，摘星，断江，摧城，开天！☆22Jun 4, 2022Updated 4 years ago
- My QQ group bot☆17Jan 10, 2024Updated 2 years ago
- 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
- 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.
- Zero-knowledge Range Proof☆16Nov 16, 2017Updated 8 years ago
- ☆18Aug 27, 2023Updated 2 years ago
- ☆23Nov 16, 2013Updated 12 years ago
- Brewy: A Homebrew GUI☆119Updated this week
- A formally verified compiler of untyped lambda calculus to brainfuck☆16Aug 2, 2017Updated 8 years ago
- Tankle Adventure☆16Nov 12, 2024Updated last year
- My personal website.☆25May 28, 2026Updated 2 weeks ago