L4v Alternatives

Similar projects and alternatives to l4v based on common topics and language

  • GitHub repo cryptography

    l4v VS cryptography

    cryptography is a package designed to expose cryptographic primitives and recipes to Python developers.

  • GitHub repo hubris

    l4v VS hubris

    A lightweight, memory-protected, message-passing kernel for deeply embedded systems.

  • SonarLint

    Deliver Cleaner and Safer Code - Right in Your IDE of Choice!. SonarLint is a free and open source IDE extension that identifies and catches bugs and vulnerabilities as you code, directly in the IDE. Install from your favorite IDE marketplace today.

  • GitHub repo seL4

    l4v VS seL4

    The seL4 microkernel

  • GitHub repo creusot

    l4v VS creusot

    deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!

  • GitHub repo cross

    l4v VS cross

    “Zero setup” cross compilation and “cross testing” of Rust crates

  • GitHub repo agda-stdlib

    l4v VS agda-stdlib

    The Agda standard library

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better l4v alternative or higher similarity.

Suggest an alternative to l4v

Reviews and mentions

Posts with mentions or reviews of l4v. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2021-12-04.


Basic l4v repo stats
2 days ago

seL4/l4v is an open source project licensed under GNU General Public License v3.0 or later which is an OSI approved license.

OPS - Build and Run Open Source Unikernels
Quickly and easily build and deploy open source unikernels in tens of seconds. Deploy in any language to any cloud.
Find remote jobs at our new job board 99remotejobs.com. There are 29 new remote jobs listed recently.
Are you hiring? Post a new remote job listing for free.