findpanics
carbon-lang
findpanics | carbon-lang | |
---|---|---|
6 | 174 | |
35 | 32,232 | |
- | 0.4% | |
0.0 | 9.8 | |
over 2 years ago | 6 days ago | |
Rust | C++ | |
Apache License 2.0 | GNU General Public License v3.0 or later |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
findpanics
-
Is there something like "super-safe" rust?
findpanics is also unmaintained, but a couple of years younger.
-
Is Rust really safe? How to identify functions that can potentially cause panic
Try findpanics (https://github.com/philipc/findpanics) instead. It's also unmaintained, but several years more recent.
-
My thoughts on Rust and C++
That's fair. I think I may just be a bit sore that Rustig was allowed to bit-rot and findpanics hasn't seen a commit since 2020.
- What improvements would you like to see in Rust or what design choices do you wish were reconsidered?
-
What's your strategy for checking that your code is panic free?
The approaches I've seen (Rustig, findpanics, no-panic, dont_panic) tend to be based around using whole-program analysis on the generated output binary to determine what's calling the panic machinery once the optimizers have had their way with it.
-
Sustainability with Rust
It's a shame that Rustig is unmaintained. I haven't had a chance to try findpanics yet, but it may be a good runner-up.
carbon-lang
- Carbon Copy Newsletter No.2
-
Cpp2 and cppfront – An experimental 'C++ syntax 2' and its first compiler
The roadmap for Carbon [0] mentions wanting to have basic, non-trivial programs written in Carbon by the end of 2024. They're aiming for a v0.1 release in 2025. If it gains traction, they're aiming for a v1.0 beyond 2027.
I don't think anyone outside Google will seriously adopt this before it reaches v1.0. Even within Google, they may choose other options.
[0] - https://github.com/carbon-language/carbon-lang/blob/trunk/do...
- Carbon Language Newsletter, the Carbon Copy, February 2024
-
Odin Programming Language
Carbon was started by Chandler Carruth, at Google, but they wanted to move it to broader governance quickly. It's not under the Google GitHub today, but its own org.
https://github.com/carbon-language/carbon-lang/blob/trunk/do...
-
C++ Should Be C++
What do you think about Carbon[1]? I am hopeful.
[1] https://github.com/carbon-language/carbon-lang
- The NSA advises move to memory-safe languages
- Carbon Language: An experimental successor to C++
-
Toward a TypeScript for C++"
https://github.com/carbon-language/carbon-lang/blob/trunk/do...
next year 0.1 will be usable, 1.0 is about 3 years away, sigh, back to my rust fight
-
Programming Languages Every Developer Should Watch Out For
1. Carbon
What are some alternatives?
lang-team - Home of the Rust lang team
rust - Empowering everyone to build reliable and efficient software.
prusti-dev - A static verifier for Rust, based on the Viper verification infrastructure.
crubit
rustig - A tool to detect code paths leading to Rust's panic handler
cppfront - A personal experimental C++ Syntax 2 -> Syntax 1 compiler
rust_fallible_vec - Fallible allocation support for Rust's Vec
Odin - Odin Programming Language
hifitime - A high fidelity time management library in Rust
go - The Go programming language
rustig - A tool to detect code paths leading to Rust's panic handler
hylo - The Hylo programming language