ostep-projects
circle
Our great sponsors
ostep-projects | circle | |
---|---|---|
8 | 54 | |
3,779 | 2,178 | |
- | - | |
2.0 | 5.0 | |
14 days ago | 6 months ago | |
C | C++ | |
- | - |
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.
ostep-projects
-
How is the math major here?
We were taught by Remzi (the author behind OSTEP). He was one of the best professors I have met at UW madison. Unfortunate that I had to drop though. Some of the projects we did were open source btw https://github.com/remzi-arpacidusseau/ostep-projects
-
I am getting an undefined reference despite including the source file when compiling
So, run-tests.sh is being run and the source could be found here
-
How to get started with learning Operating Systems?
The intro says they have projects throughout the book. This is the git they listed for them https://github.com/remzi-arpacidusseau/ostep-projects
- Xv6, a simple Unix-like teaching operating system
-
MIT 6.S081 – Operating System Engineering
OSTEP by Remzi and Andrea Arpaci-Dusseau is a great read for anybody interested in operating systems (https://github.com/remzi-arpacidusseau/ostep-projects). The projects in their class at the University of Wisconsin-Madison were mainly making edits to the xv6 OS
-
A free (or mostly free) computer science education
Projects
-
What's the best way to learn Operating Systems for you?
But since you've already read a few OS books, I suggest you move on to actually peeking under the hood and playing around with the concepts. OSTEP has problems at the end of each chapter you can check out. You can also try to hack into a real "toy" operation, like xv6 - check out the problems here.
circle
-
How difficult would it be to make a c++ compiler
Sean Baxter created a front end c++ compiler by himself, using llvm for the back end and the gcc or clang stl. I think it took him a couple of years. https://www.circle-lang.org/. Before this happened I heard a couple of different people claiming that there would never be a totally new compiler as it was too much work.
-
Toward a TypeScript for C++"
The real Typescript for C++ is Circle.
https://www.circle-lang.org/
Just like Typescript to JavaScript, the syntax is an evolution of what already exists, not a completely different syntax.
-
A Metaobject Protocol for C++ [pdf]
Sean Baxter's Circle [1] is arguably the spiritual successor to MOP.
[1] https://www.circle-lang.org/
-
Circle Evolves C++ [video]
Context: https://github.com/seanbaxter/circle/blob/master/new-circle/...
Note that Circle is not an F/OSS compiler as someone pointed out before. This however doesn't make Circle less relevant, because it is actually a testament to show that C++ could have been much better without the claimed breakage. If Circle does provide a number of desirable features and its compiler can be built by a single person, then why shouldn't the committee do the same?
-
My (Herb Sutter's) C++ Now 2023 talk is online: “A TypeScript for C++”
From all wannabe C++ replacements candidates, the only language that is really a TypeScript for C++, is Circle.
For whatever reason, Herb Sutter decided to ignore this language on the presentation.
https://www.circle-lang.org/
This is the only one with the syntax based on C++, incrementally changing the features via #pragma settings.
"Circle Fixes Defects, Makes C++ Language Safer & More Productive"
https://www.youtube.com/watch?v=x7fxeNqSK2k
"Circle Evolves C++"
https://www.youtube.com/watch?v=P1ZDOGDMNLM
- File for Divorce from LLVM
-
Making C++ Safe Without Borrow Checking, Reference Counting, or Tracing GC
The second someone makes a successor language that seamlessly/directly interops with C++ _AND_ has the level of build/IDE tooling that C++/Rust have, I'm on board.
The closest thing right now is Sean Baxter's "Circle" compiler in "Carbon" mode IMO:
https://github.com/seanbaxter/circle/blob/master/new-circle/...
Unfortunately, Circle is closed-source and there's no LSP or other tooling to make the authoring experience nice.
- Circle-lang: A feasible, simple, and immediate way for C++ to break out of the rut it's been in. Surprised more people aren't talking about it.
-
Recurrence-expression is a programmable superset of fold-expression
I read through the whole of https://github.com/seanbaxter/circle/blob/master/new-circle/README.md and man, I'm drooling. Awesome work, kudos.
-
Dropping support for old C++ standards
Have a look at Circle from Sean Baxter [0]. It's pretty impressive.
[0]: https://github.com/seanbaxter/circle/blob/master/new-circle/...
What are some alternatives?
zynthian-sys - System configuration scripts & files for Zynthian.
raspberry-pi-os - Learning operating system development using Linux kernel and Raspberry Pi
mt32-pi - 🎹🎶 A baremetal kernel that turns your Raspberry Pi 3 or later into a Roland MT-32 emulator and SoundFont synthesizer based on Circle, Munt, and FluidSynth.
dts2hx - Converts TypeScript definition files (d.ts) to haxe externs (.hx) via the TypeScript compiler API
computer-science - :mortar_board: Path to a free self-taught education in Computer Science!
mdspan - Reference implementation of mdspan targeting C++23
COS461-Public - Princeton University COS 461: Computer Networks
papers - ISO/IEC JTC1 SC22 WG21 paper scheduling and management
circle - A C++ bare metal environment for Raspberry Pi with USB (32 and 64 bit)
CppCoreGuidelines - The C++ Core Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in C++
xv6-public - xv6 OS
meta