Alternatives

Products that do what Cargo-fel4, Rust tools for working with the seL4 high-assurance kernel does

1. 1VQ
   Vas-quod – A minimal Linux container runtime written in Rust▲110

   2020 · github.com

2. 2SA
   Sauron – A web framework in Rust that adheres to the Elm architecture▲305

   2019 · github.com

3. 3VA
   Vector – A High-Performance Log and Metric Router Written in Rust▲322

   2019 · github.com

4. 4RS
   Rust-starter, a boilerplate to build Rust CLI applications▲97

   2021 · github.com

5. 5CA
   Cannoli – A compiler for a subset of Python written in Rust▲292

   2018 · github.com

6. 6HA
   Hyperfine – a command-line benchmarking tool▲126

   2018 · github.com

7. 7SA
   SeKey: An SSH Agent for OS X, Using Secure Enclave and TouchID, in Rust▲169

   2017 · github.com

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

   2014 · github.com

9. 9HA
   Hydrogen, a multithread non-blocking Linux server framework in Rust▲154

   2016 · github.com

10. 10FA
    fcp – A significantly faster alternative to cp(1), written in Rust▲88

    2021 · github.com

11. 11HA
    Hyperfine – a command-line benchmarking tool▲96

    2019 · github.com

12. 12BA
    Bolt: A research language with finer-grained concurrency than Rust▲103

    2020 · github.com

13. 13TA
    Thaum, a simple boilerplate and templating command line utility▲79

    2017 · flaque.github.io

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

    2022 · twitter.com

15. 15AT
    Askama – Type-safe, compiled Jinja-like templates for Rust▲82

    2017 · github.com

16. 16JA
    Jetpack, a FreeBSD Jail/ZFS-based container runtime▲96

    2015 · github.com

17. 17PA
    Polly: A templating language for Rust▲47

    2016 · gitlab.com

18. 18LA
    Lambash, a WIP λ-Calculus Unix Shell Written in Rust▲7

    2019 · github.com

19. 19HR
    Haml-rs – Haml parser in Rust▲40

    2018 · github.com

20. 20MA
    Maelstrom – A Hermetic, Clustered Test Runner for Rust (and It's Fast)▲6

    2024 · maelstrom-software.com

21. 21JA
    JQL – A JSON Query Language CLI Tool Built with Rust▲25

    2020 · crates.io

22. 22CA
    Cargofetch - A fetch utility for rust projects▲8

    2025 · github.com

23. 23NR
    Netty-rs – Rust library to easily write server/client network protocols▲22

    2021 · gitlab.com

24. 24RA
    rtoml – a TOML library for Python written in rust▲5

    2020 · github.com

Ranked by how close each launch is in meaning, then by votes. Refine with a description →