Ferrocene's toolchain manager.
☆26Apr 23, 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 24, 2026Updated last week
- The tool that makes bisecting nixpkgs pleasant.☆17Jan 22, 2026Updated 3 months ago
- postcard-rpc, over rtt, with probe-rs☆15Jan 19, 2025Updated last year
- ☆10Jan 13, 2020Updated 6 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.
- d-EVD-dual-electric-vehicle-dataset☆13Apr 24, 2026Updated last week
- Embedded Rust NFC protocol stack☆23Oct 17, 2025Updated 6 months ago
- firefox addon which allows the user to toggle javascript☆12Nov 16, 2016Updated 9 years 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
- 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
- (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
- 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.
- 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
- Run goosh locally.☆13May 12, 2011Updated 14 years ago
- My dotfiles, My Own Linux System☆10Nov 19, 2024Updated last year
- CARMA Streets is a component of CARMA ecosystem, which enables such a coordination among different transportation users. This component p…☆11Apr 9, 2026Updated 3 weeks ago
- Repository for DrawBot. The Discord Art bot!☆12Mar 21, 2025Updated last year
- In love with Atalanta☆15Feb 28, 2025Updated last year
- ☆10Nov 16, 2025Updated 5 months ago
- Minimalistic libvte based terminal.☆14Feb 16, 2026Updated 2 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Academic page for LimSim++☆11Mar 19, 2024Updated 2 years ago
- Is it difficult to develop C++ high-concurrency server applications? Come and use XServer☆10Jun 13, 2024Updated last year
- nixos is an experimental modern replacement for nixos-rebuild☆23May 7, 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 week
- Source code of Ferrocene, safety-critical Rust toolchain☆1,622Updated this week
- Static Pointer Analyzer and Transpiler from C to Safe Rust☆25Jan 4, 2026Updated 4 months ago
- MixOS, a Minimal Nix OS☆48Updated this week
- 📦 eCAL C/C++ runtime core☆12Oct 21, 2024Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Compatibility between VersionReq from semver and VersionSet from pubgrub☆12Jan 8, 2025Updated last year
- Embedded-hal simulator.☆11Jan 16, 2025Updated last year
- Github action to connect to tailscale☆20Apr 21, 2026Updated last week
- ☆17Mar 27, 2026Updated last month
- ☆14Apr 10, 2026Updated 3 weeks ago
- Fetch derivations from your friends.☆24Dec 14, 2025Updated 4 months ago
- Static website generator for Nix☆21Mar 2, 2023Updated 3 years ago