Axum scaffold with clean architecture
☆28Jun 29, 2025Updated 11 months ago
Alternatives and similar repositories for clean-axum
Users that are interested in clean-axum are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 使用 axum 和 gRPC 构建分布式博客系统☆10Sep 23, 2022Updated 3 years ago
- ☆16Feb 24, 2025Updated last year
- axum.rs专题：axum使用SeaORM☆23Jun 11, 2022Updated 3 years ago
- ☆17Mar 31, 2026Updated last month
- An offline Rust thesaurus library.☆12Aug 13, 2022Updated 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.
- A Rust implementation of the Lean kernel☆11Jan 2, 2023Updated 3 years ago
- Production-ready Axum + PostgreSQL application template☆57Nov 16, 2024Updated last year
- regexes for trees; grep for s-exprs☆18Jun 10, 2024Updated last year
- GPT: Rust Assistant. Your go-to expert in the Rust ecosystem, specializing in precise code interpretation, up-to-date crate version check…☆19Mar 4, 2025Updated last year
- piggybacking on the Dafny language implementation to explore interactive semi-automated verified program synthesis, combining LLMs and sy…☆16Mar 26, 2026Updated 2 months ago
- Simple http reverse proxy using pingora☆35May 17, 2025Updated last year
- A tool for drawing derivation trees of Tau Prolog☆11Feb 23, 2022Updated 4 years ago
- Elaboration with inductive types☆16Jun 1, 2023Updated 2 years ago
- Check your grade automatically and send e-mail when new grade comes☆12Feb 7, 2018Updated 8 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.
- Grid Forms integration for newforms☆27Mar 11, 2015Updated 11 years ago
- Train finite-state grapheme-to-phoneme transducers☆13Feb 4, 2025Updated last year
- ClickHouse client in pure Swift☆27Apr 16, 2026Updated last month
- ☆13Mar 27, 2024Updated 2 years ago
- MML Rust serializer/deserializer☆15May 17, 2020Updated 6 years ago
- dependent type theory experiment☆26Mar 1, 2024Updated 2 years ago
- AXUM中文网☆32Oct 30, 2025Updated 7 months ago
- Automatic Python —> Rust FFI bindings☆19Nov 24, 2025Updated 6 months ago
- General neural tactic for Lean 4☆29May 23, 2026Updated last week
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A composable terminal UI framework for building flexible text-based interfaces☆15Jun 29, 2024Updated last year
- A Toaster component for Leptos☆37Apr 18, 2025Updated last year
- Falcon is a powerful, interpreted programming language.☆18Jan 22, 2023Updated 3 years ago
- Example project how-to use oatpp asynchronous API.☆20Apr 22, 2024Updated 2 years ago
- Code context extractor for AI assistants. Walks Git repos, respects .gitignore, filters files. Optimized output for LLMs like Claude. Sup…☆17Feb 13, 2025Updated last year
- example for gofiber/fiber with svelte☆17Apr 4, 2024Updated 2 years ago
- A NativeCall binding to the Cairo 2d graphics library for Perl 6☆11May 5, 2026Updated 3 weeks ago
- Implementation of local search-based algorithms for solving SAT and Max-SAT in Python☆13Dec 6, 2020Updated 5 years ago
- In this article, we'll explore how to create a robust API that supports Create, Read, Update, and Delete operations using the Axum framew…☆32Dec 27, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- AI-assisted verification of Dafny Programs☆20Nov 9, 2025Updated 6 months ago
- Few tests to check docker for mac performance hacks☆10Feb 14, 2017Updated 9 years ago
- weavetui is a modern, robust, and modular Text User Interface (TUI) framework for Rust, built on top of ratatui and tokio☆24Mar 7, 2026Updated 2 months ago
- The Pulse separation logic DSL for F*☆35Apr 4, 2026Updated last month
- Rust bindings for the spaCy library.☆24Dec 11, 2022Updated 3 years ago
- Term project for TaPL. A mini coq-like proof assistant.☆17Jun 17, 2018Updated 7 years ago
- This API retrieves the IP and DNS information for the given Domain/IP. Written in Golang and a Svelte Front-End☆16Mar 9, 2021Updated 5 years ago