A reimplementation of the Flap parser in Rust (with our own modifications applied)!
☆55Apr 10, 2024Updated last year
Alternatives and similar repositories for paguroidea
Users that are interested in paguroidea are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.☆19Mar 29, 2025Updated last year
- LIMITS is yet another fully open source, interoperable, decentralised real-time communication protocol!☆20Jan 15, 2023Updated 3 years ago
- 🚧施工中🚧 用 Arend 写证明的交互式教程☆14Sep 7, 2022Updated 3 years ago
- A type-driven and high-performance ORM framework in Rust☆31Jun 13, 2025Updated 9 months ago
- Pretty printing library for SQL☆24Jun 24, 2023Updated 2 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.
- An implementation of memcpy for amd64 with clang/gcc☆15Feb 7, 2022Updated 4 years ago
- A Rust style C++ library.☆19Sep 3, 2022Updated 3 years ago
- Zero-copy, no-std proquint encoding and decoding☆13May 7, 2023Updated 2 years ago
- Next-GEN Confguration Template Generation Language☆12Jul 21, 2022Updated 3 years ago
- Typst blog template based on Zola, typst.ts, and apollo.☆40Jun 8, 2025Updated 9 months ago
- Very Naive MIPS CPU using Clash☆29Oct 17, 2021Updated 4 years ago
- ☆12Oct 2, 2021Updated 4 years ago
- Yet another python JIT.☆20Mar 22, 2023Updated 3 years ago
- Ergonomic tagged pointer☆31Oct 8, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Two-Level Type Theory☆28Dec 13, 2019Updated 6 years ago
- Conference on Homotopy Type Theory 2023☆13Jan 24, 2024Updated 2 years ago
- A variant of Ahash written in C++.☆10Mar 20, 2023Updated 3 years ago
- A rust implementation of lock free cuckoo hashmap☆69Jan 28, 2025Updated last year
- Rudac is a Rust Data structure and Algorithm Crate. It aims to be a comprehensive crate of useful data structure and algorithms.☆18Oct 14, 2021Updated 4 years ago
- A binary representation of json value, optimized for parsing and querying.☆25Nov 14, 2025Updated 4 months ago
- Typst symbol classifier☆240Mar 19, 2026Updated last week
- My type-ups for copilot to learn from.☆11Aug 30, 2022Updated 3 years ago
- Rust bindings for the Lean 4 proof assistant☆46Sep 24, 2025Updated 6 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A quick-and-dirty attempt to get scoped tasks in Rust.☆14Jun 4, 2023Updated 2 years ago
- 🐝🧇 Prototype template #lang for Pollen☆11Nov 24, 2025Updated 4 months ago
- Documented version of a simple type-theoretic language: Mini-TT☆18May 5, 2019Updated 6 years ago
- Free conversion between async and sync in Rust☆53Jun 25, 2022Updated 3 years ago
- Environment control for benchmarks☆14Feb 10, 2025Updated last year
- Just for fun riscv64 emulator, which boots the Linux.☆41Dec 14, 2022Updated 3 years ago
- ☆17Aug 7, 2023Updated 2 years ago
- mdbook on common pitfalls in unsafe rust code☆11May 24, 2019Updated 6 years ago
- A small crate to provide space-efficient Option<_> replacements☆38Mar 10, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Obtain the number of threads in the current process☆17Feb 15, 2024Updated 2 years ago
- Convert shared libraries into relocatable objects☆10Dec 23, 2023Updated 2 years ago
- Cosmo is a language replacing awful C++'s compile-time magics☆12Jun 14, 2025Updated 9 months ago
- An EFI application to play Bad Apple☆10Dec 28, 2021Updated 4 years ago
- Generate parsers directly from AST node types☆89Jun 6, 2024Updated last year
- Stronger types for a few Typed Racket operators☆11Jan 25, 2024Updated 2 years ago
- A simple stream-based bilibili live client library.☆18Apr 7, 2025Updated 11 months ago