← Trending

Tangerine Index lists products launched since ChatGPT and people's reactions to them.

h5i

github.com

An Axum-based Rust web framework with Lean 4-verifiable application kernels that run on servers, bare-metal embedded devices, and GPUs, plus integrated security testing.

LibraryOpen source

Visit github.comexternal siteGitHub909 starsexternal site

Install and connect

From the official MCP Registry, Homebrew, npm, PyPI, and crates.io. Matched by repository or domain once a day.

Reactions (1)

Similar products

by description similarity

  1. core

    High-performance, well-tested & documented core libraries for Ethereum, in Rust

    GitHub968 starsgithub.comOpen sourcelatest reaction

  2. ui

    A Shadcn-inspired component registry for Rust. Build cross-platform apps for Web, Desktop, iOS and Android.

    GitHub801 starsgithub.comDesktopOpen sourcelatest reaction

  3. meow-rs

    A high-performance Rust implementation of the mihomo (Clash Meta) proxy kernel.

    GitHub644 starsgithub.comOpen sourcelatest reaction

  4. arceos

    An experimental modular OS written in Rust.

    GitHub784 starsgithub.comOpen sourcelatest reaction

  5. Rusdantic

    A unified, high-performance data validation and serialization framework for Rust, inspired by Pydantic's ergonomics and powered by Serde.

    Hacker News5 ptsGitHub7 starsgithub.comLibraryOpen source2 reactionslatest reaction