/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

 robert.kra.hn
A Rust web server / frontend setup like it's 2022 (with axum and yew) | Robert Krahn
| | www.shuttle.dev
Getting Started with Axum - Rust's Most Popular Web Framework | Shuttle
2.2 parsecs away

Travel
| | This guide is a deep-dive on Axum, a Rust web backend framework. We look at using Axum to write a competent web service with middleware, routing, static files and more.
| | woile.dev
A Rust web app with HTML templates | Willy's blog
1.4 parsecs away

Travel
| | Writing a web application in rust using axum and minijinja. If you have used jinja2 in the past this will feel familiar. But we also dig into protocols and networking.
| | spacedimp.com
Using Rust, Axum, PostgreSQL, and Tokio to build a Blog
1.5 parsecs away

Travel
| |
| | github.com
GitHub - theoremprover-museum/HOL88: The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degree of programmability through the meta-language ML. ยท GitHub
3.9 parsecs away

Travel
| The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degree of programmability through the meta-language ML. - GitHub - theoremprover-museum/HOL88: The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degree of programmability through the meta-language ML.