cyclone
zero-to-production
cyclone | zero-to-production | |
---|---|---|
7 | 85 | |
1 | 4,695 | |
- | - | |
10.0 | 4.0 | |
about 10 years ago | about 1 month ago | |
C | Rust | |
GNU General Public License v3.0 only | Apache License 2.0 |
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.
cyclone
-
Maestro: A Linux-compatible kernel in Rust
One of the inspirations for Rust, as I recall, was Cyclone: https://cyclone.thelanguage.org/
Which was/is a "safe" dialect of C; basically C extended with a bunch of the stuff that made it into Rust (algebraic datatypes, pattern matching, etc.) Though its model of safety is not the borrow checker model that Rust has.
Always felt to me like something like Cyclone would be the natural direction for OS development to head in, as it fits better with existing codebases and skillsets.
In any case, I'm happy to see this stuff happening in Rust.
-
C for All
It sounds like they re-invented Cyclone.
https://cyclone.thelanguage.org
-
Is it possible to have a superset of the C programming languages standard that is as safe as Rust?
Looks like it was a research project and is now abandoned: http://cyclone.thelanguage.org
-
Need to learn FAST... Any recommendations for a free interactive rust course?
The borrow checker is Rust's secret sauce. It's the one thing no other language has. (Except Cyclone I think, which is an unmaintained research language.)
- What do you think about a C transpiler?
-
Is my method of programming wrong?
Also, lifetimes are not the mechanism by which Rust ensures safety - it's a necessary side-effect of the approach that Rust has taken, and this has nothing to do with the issues that "plague" other languages. Region-based memory management techniques are neither new nor really innovative. https://cyclone.thelanguage.org/, which directly inspired Rust, had them, and the authors gave up working on it because the ergonomics were terrible, as is the case with Rust. Lifetimes are needed for the Rust compiler to reason about what it can reasonably allow at compile time, but it, along with the Borrow Checker (which provides the actual safety net) ensures that whole swathes of valid programs are disallowed because the Rust compiler is not smart enough (and probably never will be) to check that these programs are valid.
- A Formal Model of Checked C
zero-to-production
-
Empowering Web Privacy with Rust: Building a Decentralized Identity Management System
Zero to Production in Rust - Book by Luca Palmieri: An in-depth book that guides readers through building a fully functional backend application in Rust, from zero to production.
-
Rust books to read
And the book "Zero To Production In Rust - An introduction to backend development", I didn’t read it yet but seems pretty good
-
How to read a YAML configuration file in my Rust service?
It’s a lot simpler if you add serde to the mix (derive Deserialize for your settings types). Have a look at the example from the Zero to Production book: https://github.com/LukeMathWalker/zero-to-production/blob/main/src/configuration.rs
-
Ask HN: What to use for a Rest API written in Rust?
You probably want to check out the Zero to Production book which is about using Rust for back-end development.
https://www.zero2prod.com/
-
I’ve fallen in love with rust so now what?
If your'e more into a tutorial with a book https://www.zero2prod.com/ is really good. You gonna build a newsletter service. With all the good stuff in backend development.
-
Hyper – A fast and correct HTTP implementation for Rust
If you want to build a backend in Rust, Axum (which uses hyper underneath) is pretty recommended these days, as it's all in the tokio ecosystem. Actix Web is good too, but it has its own ecosystem of libraries. I read the book Zero To Production in Rust [0] which was a great overview on not just Rust but scalable backend architectures as a whole.
Interestingly, Cloudflare wanted to use hyper but found that it was too correct, so they had to build their own [1].
[0] https://www.zero2prod.com
[1] https://blog.cloudflare.com/how-we-built-pingora-the-proxy-t...
-
Conversion?
In addition to the book, which has already been recommended. If you’re specifically into backend you should try Zero to Production. Luca really knows what he’s talking about, and it’s an excellent overview of backend rust and the development process in general.
-
Do you know any programming tutorials where somebody explains how to write an app from the architecture point of view?
I highly recommend the book Zero to Production in Rust which also has an associated GitHub. I like the style of the writing and the explanations used within the book. Even though it uses Rust, the concepts seem to work in any language - I have applied the concepts to both Go and Python in the past.
-
Opensource to learn from?
I would recommend you a book - "Zero to Production in Rust" https://www.zero2prod.com/
-
Simple projects to practice Rust?
if you want to learn more about web backend development there is nothing better then https://www.zero2prod.com/
What are some alternatives?
cyclonic - WIP port of cyclone to modern platforms
rust-by-example - Learn Rust with examples (Live code editor included)
cedro - C programming language extension: Cedro pre-processor
realworld-axum-sqlx - A Rust implementation of the Realworld demo app spec using Axum and SQLx.
cake - Cake a C23 front end and transpiler written in C
axum - Ergonomic and modular web framework built with Tokio, Tower, and Hyper
cyclone
black-hat-rust - Applied offensive security with Rust - https://kerkour.com/black-hat-rust
BorrowScript - TypeScript with a Borrow Checker. Multi-threaded, Tiny binaries. No GC. Easy to write.
rust-blog - Educational blog posts for Rust beginners
checkedc-clang - This repo contains a version of clang that is being modified to support Checked C. Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe.
tour_of_rust - A tour of rust's language features