Ferrocene's toolchain manager.
☆25Apr 2, 2026Updated last 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 4 years ago
- Release your Nix flake to FlakeHub.com.☆39Apr 2, 2026Updated last week
- The tool that makes bisecting nixpkgs pleasant.☆17Jan 22, 2026Updated 2 months ago
- Vector Bazel Rules and Toolchains☆15Mar 2, 2026Updated last month
- postcard-rpc, over rtt, with probe-rs☆15Jan 19, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- d-EVD-dual-electric-vehicle-dataset☆13Aug 21, 2025Updated 7 months ago
- ☆43Nov 16, 2025Updated 4 months ago
- Embedded Rust NFC protocol stack☆23Oct 17, 2025Updated 5 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
- Bemenu/dmenu/rofi/wldash/wofi like launcher. Best used with sway.☆11Sep 1, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- remote UI for embedded (Rust) applications☆15Sep 26, 2023Updated 2 years ago
- HDL development environment on Nix.☆26Oct 23, 2024Updated last year
- Nix dynamic derivations made easy☆88Updated this week
- A Full-Source Bootstrap for NixOS☆70Mar 1, 2026Updated last month
- MOVED TO https://github.com/rust-embedded/embedded-hal☆21Jul 12, 2023Updated 2 years ago
- Configurations for my personal (NixOS / MacOS) systems☆21Updated this week
- CARMA Streets is a component of CARMA ecosystem, which enables such a coordination among different transportation users. This component p…☆11Mar 10, 2026Updated last month
- ☆10Nov 16, 2025Updated 4 months ago
- Is it difficult to develop C++ high-concurrency server applications? Come and use XServer☆10Jun 13, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Run pkg-config from declarative dependencies in Cargo.toml☆27Jun 30, 2021Updated 4 years ago
- PREEMPT_RT Linux for Real-time Edge Software☆13Mar 24, 2026Updated 3 weeks ago
- Source code of Ferrocene, safety-critical Rust toolchain☆1,612Apr 7, 2026Updated last week
- Static Pointer Analyzer and Transpiler from C to Safe Rust☆25Jan 4, 2026Updated 3 months ago
- Site level energy system optimization model toolbox for investigations of EV fleet integration and management strategies☆14Apr 22, 2025Updated 11 months ago
- MixOS, a Minimal Nix OS☆45Updated this week
- 📦 eCAL C/C++ runtime core☆12Oct 21, 2024Updated last year
- Compatibility between VersionReq from semver and VersionSet from pubgrub☆12Jan 8, 2025Updated last year
- Embedded-hal simulator.☆11Jan 16, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Github action to connect to tailscale☆20Mar 10, 2026Updated last month
- ☆17Mar 27, 2026Updated 2 weeks ago
- ☆14Updated this week
- 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
- My emacs setup. 25+ years in the making, not counting reboots.☆26Apr 2, 2026Updated last week
- A scripting and animation runtime for the RAMSES rendering ecosystem☆10Jul 5, 2024Updated last year