← Trending

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

hax

github.com

A Rust verification tool

Open source

Visit github.comexternal siteGitHub504 starsexternal site

Reactions (1)

Similar products

by description similarity

  1. garde

    A powerful validation library for Rust

    GitHub907 starsgithub.comLibraryOpen sourcelatest reaction

  2. 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

  3. atlas

    Pure Rust Inference Engine

    GitHub714 starsgithub.comOpen sourcelatest reaction

  4. nucleo

    A fast and convenient fuzzy matcher library for rust

    GitHub1,523 starsgithub.comLibraryOpen sourcelatest reaction

  5. rustpbx

    A PBX written by rust

    GitHub838 starsgithub.comOpen sourcelatest reaction