Skip to content

@anodized-rs Anodized

Change the repository type filter

All

    Repositories list

    3 repositories

    • anodized

      Public
      Harden your Rust with specifications.
      Rust
      •
      Apache License 2.0
      •4•109•20•3•Updated Jul 23, 2026Jul 23, 2026

    • prototype-aeneas-integration

      Public
      Prototype of integrating Aeneas with Anodized
      TypeScript
      •
      MIT License
      •0•0•0•0•Updated Jun 25, 2026Jun 25, 2026

    • charon

      Public
      Analyze Rust crates without touching compiler internals
      Rust
      •
      Apache License 2.0
      •49•0•0•0•Updated Jun 9, 2026Jun 9, 2026
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.