Ferrocene's toolchain manager.
☆26May 21, 2026Updated this week
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 5 years ago
- Release your Nix flake to FlakeHub.com.☆38May 15, 2026Updated last week
- QMC Heston pricing on GPU☆12May 2, 2023Updated 3 years ago
- The tool that makes bisecting nixpkgs pleasant.☆17Jan 22, 2026Updated 4 months ago
- Vector Bazel Rules and Toolchains☆16Mar 2, 2026Updated 2 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- postcard-rpc, over rtt, with probe-rs☆16Jan 19, 2025Updated last year
- ☆10Jan 13, 2020Updated 6 years ago
- ☆42Nov 16, 2025Updated 6 months ago
- Embedded Rust NFC protocol stack☆23Oct 17, 2025Updated 7 months ago
- ☆14Apr 28, 2024Updated 2 years ago
- (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.☆19May 17, 2026Updated last week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- AGX Dynamics for Unreal plugin.☆12Updated this week
- (going to be a) BLE stack for embedded Rust (now for real)☆19Jul 6, 2024Updated last year
- Bemenu/dmenu/rofi/wldash/wofi like launcher. Best used with sway.☆11Sep 1, 2023Updated 2 years ago
- remote UI for embedded (Rust) applications☆15Sep 26, 2023Updated 2 years ago
- HDL development environment on Nix.☆26Oct 23, 2024Updated last year
- 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…☆11May 14, 2026Updated last week
- A Full-Source Bootstrap for NixOS☆78Mar 1, 2026Updated 2 months ago
- In love with Atalanta☆15Feb 28, 2025Updated last year
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆10Nov 16, 2025Updated 6 months ago
- Academic page for LimSim++☆11Mar 19, 2024Updated 2 years ago
- ☆15Apr 20, 2026Updated last month
- Is it difficult to develop C++ high-concurrency server applications? Come and use XServer☆10Jun 13, 2024Updated last year
- Run pkg-config from declarative dependencies in Cargo.toml☆27Jun 30, 2021Updated 4 years ago
- PREEMPT_RT Linux for Real-time Edge Software☆13Apr 22, 2026Updated last month
- Source code of Ferrocene, safety-critical Rust toolchain☆1,627May 15, 2026Updated last week
- Static Pointer Analyzer and Transpiler from C to Safe Rust☆25Jan 4, 2026Updated 4 months ago
- MixOS, a Minimal Nix OS☆48May 17, 2026Updated last week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Compatibility between VersionReq from semver and VersionSet from pubgrub☆12Jan 8, 2025Updated last year
- 📦 eCAL C/C++ runtime core☆12Oct 21, 2024Updated 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☆20Apr 21, 2026Updated last month
- Fetch derivations from your friends.☆24Dec 14, 2025Updated 5 months ago
- nix-community reference documentation (until officially released) [maintainer=@hsjobeki]☆25Jun 29, 2024Updated last year