cyclone
aero
cyclone | aero | |
---|---|---|
7 | 12 | |
1 | 1,086 | |
- | - | |
10.0 | 8.9 | |
about 10 years ago | 13 days ago | |
C | Rust | |
GNU General Public License v3.0 only | GNU General Public License v3.0 only |
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
aero
-
Maestro: A Linux-compatible kernel in Rust
This feels like an ad; the blog post and the README feel like they were written to sound complicated and smart rather than tell the whole truth. Like, "On boot, the kernel has full access to the memory and is allowed to write where it should not (its own code, for example)"? Apart from the fact that ring 0 will always have full control, the MMU also exists. Also, the "48k" (the kernel has 34324 lines of non-comment code, the rest are in the other repos I assume) LOC are obvious when you consider code like src/syscall/mod.rs:717 is present.
To be fair, this is impressive, but its a basic monolithic kernel written for a school project, with the "twist" that it is in Rust and uses Linux syscalls.
For anyone who is interesting in more Rust UNIX-like kernels, Aero (https://github.com/Andy-Python-Programmer/aero) is farther ahead supports running quite a lot of recompiled Linux userspace, including dwm and WebKit.
-
Aero OS: A new modern operating system made in Rust, now able to run the Links browser, Alacritty and much more!
https://github.com/Andy-Python-Programmer/aero/blob/master/src/aero_kernel/src/mem/paging/addr.rs especially obvious, if you look at the first version of this file:
-
Aero, a new modern OS made in rust and is now able to run Xorg! :)
There is progress in implementing the DRM subsystem (cc https://github.com/Andy-Python-Programmer/aero/blob/master/src/aero_kernel/src/drivers/drm/mod.rs) but currently it only implements a small portion of the subsystem. But yea, this was one of the blocking points.
- Your one project with rust that you think is one of the best projects you have made.
-
Software Development Foundations - How to teach a 14 year old?
Get him to join the OSDev discord chat. Most of the people there started learning programming in the middle of the pandemic and are now building complex projects. Group is mostly kids his age, 12-16 year olds, learning to hack around. Like this 13 year old or this 15 year old.
- Aero: An experimental, Unix-like OS written in Rust
-
Aero is a new modern, experimental, unix-like operating system made in rust!
you can compare with initial commit: https://github.com/Andy-Python-Programmer/aero/commit/3ee1c052454a1386dc8d1688b5ca9d616e3a907b
What are some alternatives?
cyclonic - WIP port of cyclone to modern platforms
x86_64 - Library to program x86_64 hardware.
cedro - C programming language extension: Cedro pre-processor
ngs - Next Generation Shell (NGS)
cake - Cake a C23 front end and transpiler written in C
ferium - Fast and multi-source CLI program for managing Minecraft mods and modpacks from Modrinth, CurseForge, and Github Releases [Moved to: https://github.com/gorilla-devs/ferium]
cyclone
oil - Oils is our upgrade path from bash to a better language and runtime. It's also for Python and JavaScript users who avoid shell!
BorrowScript - TypeScript with a Borrow Checker. Multi-threaded, Tiny binaries. No GC. Easy to write.
album-art-wallpaper - An app for Windows that will change your desktop wallpaper to the album art of the song you are listening to.
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.
WingOS - a little 64bit operating system written in c++ with smp support