Languages on the rise like Rust and Go are being quite vocal against inheritance and many engineers seem to agree. Is this the end of inheritance? What do you think?

This page summarizes the projects mentioned and recommended in the original post on /r/rust
hardware-buttons scrape-images linkedin-bot

CodeRabbit: AI Code Reviews for Developers
Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.
coderabbit.ai
featured
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

  1. magmide

    A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

    https://github.com/magmide/magmide when

  2. CodeRabbit

    CodeRabbit: AI Code Reviews for Developers. Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.

    CodeRabbit logo

  3. flux

    Refinement Types for Rust (by flux-rs)

    Right, the way to fix it is to use refinement types (such as flux for rust)

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts

  • Trying to find a crate that allows you to constrain the value of arguments in various ways via a proc macro

    2 projects | /r/rust | 16 May 2023

  • Announcing Magmide Month! (proof language for/using Rust)

    1 project | /r/rust | 28 Feb 2023

  • A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

    1 project | /r/programming | 30 May 2022

  • A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

    1 project | /r/coding | 30 May 2022

  • A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

    1 project | /r/compsci | 30 May 2022
Loading...