Dev tools · alternatives · 2026

24 alternatives to Cargo-fel4, Rust tools for working with the seL4 high-assurance kernel

A Cargo subcommand for working with feL4 projects. - PolySync/cargo-fel4

Cargo-fel4 is a Rust development tool for building software with the seL4 high-assurance kernel. It's designed for developers working on systems that require formal verification and security guarantees. The tool… Below are 24 products that do a similar job, ranked by how close each is in meaning and then by launch-day votes. Cargo-fel4, Rust tools for working with the seL4 high-assurance kernel launched in 2018; newer entries below may have overtaken it.

1. 1
   Cargo-rail: graph-aware monorepo tooling for Rust; 11 deps▲61

   The Rust Monorepo Engine. Contribute to loadingalias/cargo-rail development by creating an account on GitHub.

   Dec 2025 · github.com · its alternatives →

2. 2
   Warp, a Rust-based terminal▲946

   Hi HN community, I’m Zach, founder and CEO of Warp, and am excited to show you Warp, a fast Rust-based terminal that’s easy to use and built for teams. As of today, Warp is in public beta and any Mac user can download it. It works with bash, zsh, and fish. The terminal’s teletype-like interface has made it hard for the CLI to thrive. After 20 years of programming, I still find it hard to copy a command’s output; I always forget how to use `tar`; and I always have to relearn how to move my cursor. To fix fundamental accessibility issues, I believe we need to start innovating on the terminal,…

   2022 · warp.dev · its alternatives →

3. 3
   Cargo-semver-checks, a fast CI-friendly query-based Rust semver linter▲6

   I've started work on a linter for Rust crate semver compliance: cargo-semver-checks 🥳 TL;DR goals: - Query a diff of rustdoc JSON outputs - Scan time: tiny fraction of rustdoc time (think: ripgrep) - No false positive reports -> suitable for CI - No nightly to check, no unsafe

   2022 · twitter.com · its alternatives →

4. 4
   Cargo-memex – compile rust code into a meme and run it▲61

   compile rust code into memes. Contribute to mattsse/cargo-memex development by creating an account on GitHub.

   2021 · github.com · its alternatives →

5. 5
   Ferrite – Markdown editor in Rust with native Mermaid diagram rendering▲241

   Ferrite: Fast Markdown/Text/Code editor in Rust with native Mermaid diagrams Built a Markdown editor using Rust + egui. v0.2.1 just dropped with major Mermaid improvements: → Native Mermaid diagrams - Flowcharts, sequence, state, ER, git graphs - pure Rust, no JS → Split view - Raw + rendered side-by-side with sync scrolling → Syntax highlighting - 40+ languages with large file optimization → JSON/YAML/TOML tree viewer - Structured editing with expand/collapse → Git integration - File tree shows modified/staged/untracked status Also: minimap, zen mode,…

   Jan 2026 · github.com · its alternatives →

6. 6
   Shelgon: A Framework for Building Interactive REPL Shells in Rust▲130

   I've been working on Shelgon, a framework that lets you build your own custom REPL shells and interactive CLI applications in Rust. You can use Shelgon to: - Create a custom shell with only a few lines of code - Build interactive debugging tools with persistent state between commands - Develop domain-specific language interpreters with shell-like interfaces - Add REPL capabilities to existing applications Getting started is straightforward - implement a single trait that handles your command execution logic, and Shelgon takes care of the terminal UI, input handling, and async runtime…

   2025 · github.com · its alternatives →

7. 7
   I built a Rust crate for running unsafe code safely▲113

   A Rust crate for containing memory leaks and fragmentation - brannondorsey/mem-isolate

   2025 · github.com · its alternatives →

8. 8
   FeOx – Fast embedded KV store in Rust▲37

   FeOx (Iron-Oxide) is an ultra-fast, embedded and persisted KV store in pure Rust. - mehrantsi/feoxdb

   2025 · github.com · its alternatives →

9. 9
   Cargo Task.rs▲14

   2024 · github.com · its alternatives →

10. 10
    Artifact Keeper – Open-Source Artifactory/Nexus Alternative in Rust▲166

    I'm a software engineer who keeps getting pulled into DevOps no matter how hard I try to escape it. I recently moved into a Lead DevOps Engineer role writing tooling to automate a lot of the pain away. On my own time outside of work, I built Artifact Keeper — a self-hosted artifact registry that supports 45+ package formats. Security scanning, SSO, replication, WASM plugins — it's all in the MIT-licensed release. No enterprise tier. No feature gates. No surprise invoices. Your package managers — pip, npm, docker, cargo, helm, go, all of them — talk directly to it using their native…

    Feb 2026 · github.com · its alternatives →

11. 11
    Iron, a fast middleware-oriented Rust web server framework▲81

    An Extensible, Concurrent Web Framework for Rust. Contribute to iron/iron development by creating an account on GitHub.

    2014 · github.com · its alternatives →

12. 12
    cuTile Rust: Safe, data-race-free GPU kernels in Rust▲106

    cuTile Rust provides a safe, tile-based kernel programming DSL for the Rust programming language. It features a safe host-side API for passing tensors to asynchronously executed kernel functions. - NVlabs/cutile-rs

    Jun 2026 · github.com · its alternatives →

13. 13
    Keystone▲125

    We kept hitting the same wall: you clone some arbitrary repo and just want it to run without any configuration work. So we built Keystone, an open source tool that spins up a Modal sandbox, runs Claude Code inside it, and produces a working .devcontainer/ config (Dockerfile, devcontainer.json, test runner) for any git repo. We build on the dev container standard, so the output works with VS Code and GitHub Codespaces out of the box. Main use cases: reproducible dev/CI environments, self-describing repos, and safely sandboxed coding agents. Our goal is to encourage all repos to…

    Mar 2026 · github.com · its alternatives →

14. 14CS
    Checksum.sh verify every install script▲119

    The pattern of downloading and executing installation scripts without verifying them has bothered me for a while. I started messing around with a way to verify the checksum of scripts before I execute them. I've found it a really useful tool for installing things like Rust or Deno. It's written entirely as a shell script, and it's easy to read and understand what's happening. I hope it may be useful to someone else!

    2022 · checksum.sh · its alternatives →

15. 15
    SafeDep Vet▲72

    GitLab CI Component that lets you seamlessly protect your pipelines from vulnerable and malicious open source dependencies. The component integrates directly into your CI/CD workflow through the GitLab CI Catalog and allows you to establish policy-driven guardrails using Common Expression Language (CEL). Key features: - Set your own opinionated security policies as code using CEL - Detect and block risky OSS components before they enter your codebase - Seamless integration as a native GitLab CI Component - Available directly in the GitLab CI Catalog Try and lets us know our thoughts!

    2023 · safedep.io · its alternatives →

16. 16
    Fleet▲87

    The blazing fast build tool for Rust

    2022 · fleet.rs · its alternatives →

17. 17
    JSON-Threat-Protection Rust High-Performance Crate▲34

    A crate to protect against malicious JSON payloads. - ADD-SP/json-threat-protection.rs

    2024 · github.com · its alternatives →

18. 18
    Strict interfaces and dep management for Python, written in Rust▲68

    Tach is a pip package that lets you define module boundaries, automatically detect all cross-module dependencies, and then validate and enforce those dependencies. It also supports strict interfaces for modules by overloading `__all__`. The core static analysis is done in Rust, so all Tach commands run quickly. The goal of Tach is to help eng teams maintain velocity while scaling quickly, something we've seen break down a number of times. Give it a try!

    2024 · github.com · its alternatives →

19. 19
    A minimal working Rust / SDL2 / WASM browser game▲82

    "Game" is a stretch, but I put together this repo containing a pure Rust app which uses SDL2 and compiles to WASM (and can be run in a browser). Older resources were a bit out of date and a bit too verbose for my purposes, so here's a minimal working example.

    2024 · github.com · its alternatives →

20. 20CA
    CraftQL – A Rust CLI tool for GraphQL schemas manipulation and graphviz▲12

    crates.io serves as a central registry for sharing crates, which are packages or libraries written in Rust that you can use to enhance your projects

    2020 · crates.io · its alternatives →

21. 21IB
    I built a memory-safe web server in Rust▲90

    The web server that I am building is currently in beta, so any feedback is welcome.

    2025 · ferronweb.org · its alternatives →

22. 22
    Railcar – a container runtime in rust▲17

    RailCar: Rust implementation of the Open Containers Initiative oci-runtime - oracle/railcar

    2017 · github.com · its alternatives →

23. 23
    Cargofetch - A fetch utility for rust projects▲8

    A fetch utility for Rust. Contribute to arjav0703/cargofetch development by creating an account on GitHub.

    2025 · github.com · its alternatives →

24. 24
    Covert – Rewrite of HashiCorp Vault Using Rust, SQLite and Litestream▲54

    Contribute to fmeringdal/covert development by creating an account on GitHub.

    2023 · github.com · its alternatives →

Ranked by how close each launch is in meaning, then by votes. Prices were read from each product’s own site when checked and can change. Refine with your own description →