Ferrocene's toolchain manager.
☆26Jun 2, 2026Updated last month
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
- Vector Bazel Rules and Toolchains☆16Mar 2, 2026Updated 4 months ago
- postcard-rpc, over rtt, with probe-rs☆17Jan 19, 2025Updated last year
- ☆10Jan 13, 2020Updated 6 years ago
- d-EVD-dual-electric-vehicle-dataset☆13Apr 24, 2026Updated 2 months ago
- 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.
- A minimal NixOS image builder for DigitalOcean.☆18Jun 25, 2020Updated 6 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.☆17Jan 15, 2024Updated 2 years ago
- A collection of NixOS modules covering hardware quirks.☆20May 17, 2026Updated last month
- ☆16May 5, 2022Updated 4 years ago
- AGX Dynamics for Unreal plugin.☆13Jun 26, 2026Updated last 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
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 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
- 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…☆11Jun 23, 2026Updated last week
- ☆10Nov 16, 2025Updated 7 months ago
- Is it difficult to develop C++ high-concurrency server applications? Come and use XServer☆10Jun 13, 2024Updated 2 years ago
- Source code of Ferrocene, safety-critical Rust toolchain☆1,641Updated this week
- Static Pointer Analyzer and Transpiler from C to Safe Rust☆25Jan 4, 2026Updated 6 months ago
- Site level energy system optimization model toolbox for investigations of EV fleet integration and management strategies☆16Apr 22, 2025Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- 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
- 📦 eCAL C/C++ runtime core☆12Oct 21, 2024Updated last year
- Embedded-hal simulator.☆11Jan 16, 2025Updated last year
- Github action to connect to tailscale☆21Jun 8, 2026Updated 3 weeks ago
- ☆17Jun 15, 2026Updated 2 weeks ago
- ☆14Apr 10, 2026Updated 2 months ago
- Static website generator for Nix☆21Mar 2, 2023Updated 3 years ago
- My emacs setup. 25+ years in the making, not counting reboots.☆26Jun 24, 2026Updated last week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A no_std GIF library for embedded applications(embedded-graphics)☆28Oct 1, 2024Updated last year
- a lisp interpreter written in Go☆14Jun 24, 2020Updated 6 years ago
- nix to bazel-re proxy☆27Oct 1, 2024Updated last year
- Carbs Linux repositories☆11Oct 9, 2024Updated last year
- ☆16May 20, 2026Updated last month
- Network Traffic Fuzzer☆17Dec 28, 2024Updated last year
- ☆15Apr 15, 2026Updated 2 months ago