cyclone
cosmic-epoch
cyclone | cosmic-epoch | |
---|---|---|
7 | 17 | |
1 | 1,293 | |
- | 11.3% | |
10.0 | 7.8 | |
about 10 years ago | 13 days ago | |
C | just | |
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
cosmic-epoch
-
Maestro: A Linux-compatible kernel in Rust
https://blog.system76.com/post/the-spirit-of-cosmic-december...
Components of Cosmic Desktop Rust-based Desktop Environment: https://github.com/pop-os/cosmic-epoch#components-of-cosmic-...
cosmic-comp/src/wayland/handlers
-
Attempting to test the new COSMIC from source..
Ran git clone --recurse-submodules https://github.com/pop-os/cosmic-epoch
-
Cosmic Skies of a Colorado July
The repo readme has instructions for installing test builds.
https://github.com/pop-os/cosmic-epoch
- LXD is now under Canonical
-
What Desktop Environment do you use?
I think there might be some confusion in this poll and thread -- COSMIC is the name of both a suite of components in Pop_Shell, which modifies (but does not replace) GNOME shell components like the dock and workspaces, as well as a full-fledged desktop environment that replaces GNOME.
- Login with Pop cosmic does not show any window on QEMU
-
Ask HN: What Happened to Elm?
system76 is using it to develop their new cosmic desktop environment for linux. The code is here https://github.com/pop-os/cosmic-epoch
We'll see how it starts panning out this year or next.
-
How do you log in using cosmic?
I have compiled and installed cosmic to test and follow development - https://github.com/pop-os/cosmic-epoch
-
Is there a way to test the latest COSMIC DE?
See https://github.com/pop-os/cosmic-epoch
-
Just moved to Pop OS! from Fedora 37 beta. I want to set GRUB_CMDLINE_LINUX_DEFAULT="i915.enable_psr=0" , how do I do this?
I heard that the Iced version of COSMIC will allow horizontal and vertical workspaces: https://github.com/pop-os/cosmic-epoch/issues/53
What are some alternatives?
cyclonic - WIP port of cyclone to modern platforms
dream - Tidy, feature-complete Web framework
cedro - C programming language extension: Cedro pre-processor
apprun - AppRun is a JavaScript library for developing high-performance and reliable web applications using the elm inspired architecture, events and components.
cake - Cake a C23 front end and transpiler written in C
xdg-desktop-portal-hyprland - xdg-desktop-portal backend for Hyprland
cyclone
elm-canvas - A canvas drawing library for Elm
BorrowScript - TypeScript with a Borrow Checker. Multi-threaded, Tiny binaries. No GC. Easy to write.
rescript-compiler - The compiler for ReScript.
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.
azurelinux - Linux OS for Azure 1P services and edge appliances