Ferrocene's toolchain manager.
☆24Mar 6, 2026Updated 2 weeks ago
Alternatives and similar repositories for criticalup
Users that are interested in criticalup are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A minimal actor model library using nostd Rust and designed to run with any executor☆18May 24, 2021Updated 4 years ago
- The tool that makes bisecting nixpkgs pleasant.☆17Jan 22, 2026Updated 2 months ago
- Vector Bazel Rules and Toolchains☆15Mar 2, 2026Updated 3 weeks ago
- postcard-rpc, over rtt, with probe-rs☆15Jan 19, 2025Updated last year
- ☆10Jan 13, 2020Updated 6 years ago
- d-EVD-dual-electric-vehicle-dataset☆12Aug 21, 2025Updated 7 months ago
- ☆42Nov 16, 2025Updated 4 months ago
- ☆14Apr 28, 2024Updated last year
- (WIP) A Github action that sets up a Doom Emacs environment for CI/CD.☆17Sep 7, 2023Updated 2 years ago
- DEPRECATED: Arm Virtual Hardware Client☆16Dec 13, 2024Updated last year
- Port of the fantastic Iconoir Icon Pack to Rust embedded devices, with a focus on speed, usability, and completeness.☆16Jan 15, 2024Updated 2 years ago
- A collection of NixOS modules covering hardware quirks.☆16Feb 19, 2026Updated last month
- AGX Dynamics for Unreal plugin.☆12Updated this week
- remote UI for embedded (Rust) applications☆15Sep 26, 2023Updated 2 years ago
- HDL development environment on Nix.☆26Oct 23, 2024Updated last year
- An idea regarding non-commercial open source licensing☆18Dec 12, 2021Updated 4 years ago
- MOVED TO https://github.com/rust-embedded/embedded-hal☆21Jul 12, 2023Updated 2 years ago
- CARMA Streets is a component of CARMA ecosystem, which enables such a coordination among different transportation users. This component p…☆11Mar 10, 2026Updated 2 weeks ago
- In love with Atalanta☆15Feb 28, 2025Updated last year
- Academic page for LimSim++☆11Mar 19, 2024Updated 2 years ago
- ☆16Jan 23, 2026Updated 2 months ago
- Is it difficult to develop C++ high-concurrency server applications? Come and use XServer☆10Jun 13, 2024Updated last year
- MixOS, a Minimal Nix OS☆43Updated this week
- Run pkg-config from declarative dependencies in Cargo.toml☆27Jun 30, 2021Updated 4 years ago
- PREEMPT_RT Linux for Real-time Edge Software☆13Dec 18, 2025Updated 3 months ago
- Source code of Ferrocene, safety-critical Rust toolchain☆1,604Updated this week
- Static Pointer Analyzer and Transpiler from C to Safe Rust☆25Jan 4, 2026Updated 2 months ago
- Site level energy system optimization model toolbox for investigations of EV fleet integration and management strategies☆13Apr 22, 2025Updated 11 months ago
- 📦 eCAL C/C++ runtime core☆12Oct 21, 2024Updated last year
- Compatibility between VersionReq from semver and VersionSet from pubgrub☆12Jan 8, 2025Updated last year
- Garbage collector implementation in Rust for Rust☆13Aug 30, 2020Updated 5 years ago
- Embedded-hal simulator.☆11Jan 16, 2025Updated last year
- Github action to connect to tailscale☆19Mar 10, 2026Updated 2 weeks ago
- Fetch derivations from your friends.☆23Dec 14, 2025Updated 3 months ago
- nix-community reference documentation (until officially released) [maintainer=@hsjobeki]☆25Jun 29, 2024Updated last year
- Static website generator for Nix☆21Mar 2, 2023Updated 3 years ago
- A scripting and animation runtime for the RAMSES rendering ecosystem☆10Jul 5, 2024Updated last year
- My emacs setup. 25+ years in the making, not counting reboots.☆26Jan 15, 2026Updated 2 months ago
- ☆12Jun 13, 2021Updated 4 years ago