carbon language

Open-source projects categorized as carbon language
Edit details
Topics: experimental-language Language Experimental Compiler programming-language
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

carbon language Open-Source Projects

carbon language

  • carbon-lang

    Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

    • Project mention: Circle C++ with Memory Safety | news.ycombinator.com | 2024-06-02

    Thanks for clarifying that point. It's worth pointing out that the safety strategy doc[0] mentions that

    >A key subset of safety categories Carbon should address are:

    >[...]

    >Data race safety protects against racing memory access: when a thread accesses (read or write) a memory location concurrently with a different writing thread and without synchronizing

    But then later in the doc it says

    >It's possible to modify the Rust model several ways in order to reduce the burden on C++ developers:

    >Don't offer safety guarantees for data races, eliminating RefCell.

    >[...]

    >Overall, Carbon is making a compromise around safety in order to give a path for C++ to evolve. [...]

    One could read this as saying that guaranteed safety against data races is not a goal. Perhaps this doc could be reworded? Maybe something like "Carbon does not see guaranteed safety against data races as strictly necessary to achieve its security goals but still we still currently aim for a model that will prevent them."

    [0] https://github.com/carbon-language/carbon-lang/blob/trunk/do...

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

    InfluxDB logo
NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020).

carbon language discussion

Log in or Post with

carbon language related posts

Index

Project Stars
1 carbon-lang 32,331

Sponsored
Power Real-Time Data Analytics at Scale
Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
www.influxdata.com