managarm
dark
managarm | dark | |
---|---|---|
10 | 43 | |
1,311 | 1,607 | |
1.1% | 1.1% | |
9.5 | 9.9 | |
1 day ago | 2 days ago | |
C++ | F# | |
MIT License | 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.
managarm
- RISC-V support (super-duper ultra WIP) by ElectrodeYT · Pull Request #534 · managarm/managarm
-
What are some C++ projects with high quality code that I can read through?
managarm is pretty clean from what I remember.
- The managarm Operating System: an asynch mirokernel OS with Linux compatibility
-
Tilck – A Tiny Linux-Compatible Kernel
Somewhat related, Managarm[0] also attempts to be Linux compatible, but has a microkernel, multiserver design.
0. https://github.com/managarm/managarm
-
Linux Kernel 6.1 LTS Released with Initial Support for the Rust Programming Language
Neat idea. There is some research done on fully async OSes like https://github.com/managarm/managarm
-
Creator of SerenityOS announces new Jakt programming language effort
If you haven't already, I'd hang out with the Managarm crew. Prety friendly, and what they're doing with C++ and async is very cool!
-
In Defense of Async: Function Colors Are Rusty
But well, maybe you should look at Managarm.
-
Managarm development stream VOD 6/11/2021 - Implementing /proc/self
You can find more information on the project on our github page here. It is mostly a hobby project, so me and the other developers like to work on it in our free time.
-
This Month in Rust OSDev (May 2021)
Not hosted on rust-osdev but the Managarm project (an OS that focuses on async and that is primarily written in C++ so far) recently gained a rustc port and ports of some basic utilities written in Rust (ripgrep, exa). Support for Rust drivers is in the works (but still requires adding support for some libraries first that wrap the low-level system call interface).
-
LakeOS: a hobbyist multiserver microkernel OS written in Rust
If you have never seen an async OS, then you must’ve missed Managarm, a fully asynchronous operating system written in c++20. It’s a cool thing to check out, runs on x86_64 (a port to a raspberry pi4 is in progress) and has an extensive userland with various Linux applications running on a custom written libc. In case you’re curious, the repo can be found here: https://github.com/managarm/managarm
dark
- Darklang
-
WASM_of_OCaml
Yes. Darklang was originally in OCaml using js_of_ocaml, and we ported it to F# using Blazor (https://github.com/darklang/dark/tree/main/backend/src/Wasm). It works.
We found that in dotnet 6, the code was much slower, with long startup times and a much bigger download, than in js_of_ocaml. It also had a lot of issues in running in a Webworker, which wasn't the case for js_of_ocaml.
In dotnet 7, the webworker issues are better and AOT is easier, so startup is faster. Download sizes are still bad, and it's still slower than js_of_ocaml.
However, dotnet allows almost any code to run in WASM, which js_of_ocaml had large limitations. This meant a decent chunk of functionality had to be worked around to make separate js vs native targets, which also was a massive pain and took a long time. Dune's virtual targets wasn't ready at the time - I think we were one of the test cases for it.
-
It's so unfortunate they decided to go with the Clojure/Haskell type syntax, as opposed to something friendlier like Elixir. A lot of people will not even try this language as a result. [Unison]
Why should I use this instead of https://darklang.com/
-
Cloud, Why So Difficult?
First it was probably Dark. They made a lot of noise some years ago, but then I never heard of them again (looking at their current website, looks like they moved on to AI now, obviously).
-
New open-source programming language for DevOps engineers by the creator of the CDK
Reminds me of Darklang. Personally, I don't think vendoring cloud services into a language is going to be beneficial. I'm curious how the language deals with vendor updates. Do I have to upgrade the language then? If so, I see a lot conflicts coming from this. Then it comes down to Javascript or HCL, the HCL bit makes me think that the below statement is not as truthy as it is on the surface:
-
Darklang Release 9
We still don't have all that many users (~100 active), so I'm not sure you'll find an answer here. But we collect that sort of feedback publicly, which might answer your question: https://github.com/darklang/dark/discussions/categories/feed...
-
Making Something Waspy: A Review Of Wasp
I wish I could remember what took me to YCombinator's website on the 10th of October, 2022. That was when I first heard about Wasp and another language called DarkLang. After I learned about Wasp, I was intrigued and curious to know how it works, which led me to join the discord server the next day.
-
Using Rust at a Startup: A Cautionary Tale
Some languages that try to integrate an HTTP server and a database:
Ur/Web: http://impredicative.com/ur/
Dark (Darklang): https://darklang.com/
-
The Current State of Infrastructure From Code
There are others in this space I did not assess like Encore, Shuttle, Modal, and Dark. These were not assessed for the sake of time. If you're interested in IfC, I encourage you to take a look at these others.
-
Finally, we have support for negative numbers!
Oh, finally! I was waiting to build my serverless CRUD webapp in Dark (OCaml + JavaScript and Fsharp?) until they had support for returning negative numbers on a GET request!
What are some alternatives?
mlibc - Portable C standard library
nvim-ts-rainbow - Rainbow parentheses for neovim using tree-sitter. Use https://sr.ht/~p00f/nvim-ts-rainbow instead
WingOS - a little 64bit operating system written in c++ with smp support
Bracket-Pair-Colorizer-2 - Bracket Colorizer Extension for VSCode
modern-cpp-tutorial - 📚 Modern C++ Tutorial: C++11/14/17/20 On the Fly | https://changkun.de/modern-cpp/
unison - A friendly programming language from the future
entt - Gaming meets modern C++ - a fast and reliable entity component system (ECS) and much more
nanos - A kernel designed to run one and only one application in a virtualized environment
Beef - Beef Programming Language
liquibase - Main Liquibase Source
crystal - The Crystal Programming Language
terraform-cdk - Define infrastructure resources using programming constructs and provision them using HashiCorp Terraform