nowfound

Dev tools · June 5, 2018

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, Rust tools for working with the seL4 high-assurance kernel launched on June 5, 2018 with 10 votes, #879 of 2,653 launches that month and more than 75% of that year's launches. The site was still online in September 2026, 8 years on.

Visit github.com ↗Alternatives

In plain words

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 integrates Rust's cargo package manager with seL4's build environment, allowing developers to write kernel-level code in Rust while maintaining compatibility with seL4's verification properties.

written from the facts on this page · September 2026

Does a similar job

all alternatives →
  • Cargo-rail: graph-aware monorepo tooling for Rust; 11 depsDec 2025 · github.com · ▲61

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

  • Cargo-semver-checks, a fast CI-friendly query-based Rust semver linter2022 · twitter.com · ▲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

  • Cargo-memex – compile rust code into a meme and run it2021 · github.com · ▲61

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

  • Ferrite – Markdown editor in Rust with native Mermaid diagram renderingJan 2026 · github.com · ▲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,…

  • Shelgon: A Framework for Building Interactive REPL Shells in Rust2025 · github.com · ▲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…

  • I built a Rust crate for running unsafe code safely2025 · github.com · ▲113

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

More dev tools this month

the category →
  • Run full iOS 16.5 firmware on Android Devices▲513

    Contribute to oosexgang/hackios-xnu-kernel development by creating an account on GitHub.

    Dev tools · 1d ago · github.com

  • /dev/null▲492

    a social network for devs

    Dev tools · 4d ago · dev-null.sh

  • Whiteboard (YC W26) – an open-source IDE for thoughtful software design▲423

    open-source IDE for thoughtful software design. Contribute to devdotfast/whiteboard development by creating an account on GitHub.

    Dev tools · 29d ago · github.com

  • Reladraw – A diagram language where you decide where to place things▲411

    Contribute to reladraw/reladraw development by creating an account on GitHub.

    Dev tools · 27d ago · github.com

  • OpenBot▲362

    Grok Bot alternative: free, local, open-source, multiplayer

    Dev tools · 24d ago · openbot.run

  • Talanoa▲346

    Hi HN, I’m a fullstack developer, and honestly, I’ve lost count of how many side projects I’ve worked on over the years. But one idea kept coming back to me: a different kind of email client. It first came to me in 2014: “What if we could handle emails more like conversations?” Every year, I’d revisit this concept in my “Build Notes.” Ten years later, no one had built exactly what I had in mind — so I finally decided to do it myself. That’s how Talanoa was born. I wanted something focused on people, not timelines. I was tired of marking messages as unread just to remember to reply later, or…

    Dev tools · 22d ago · talanoa.email

Source: Show HN post ↗

Launched alongside, June 2018

the whole month →