nowfound

Alternatives

Products that do what A formally verified native Delta Lake implementation in Rust does

  1. 1RL
    Risp – Lisp in Rust▲314

    2019 · m.stopa.io

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

    2019 · github.com

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

    2018 · github.com

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

    2019 · github.com

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

    2020 · github.com

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

    2021 · github.com

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

    2016 · github.com

  8. 8EA
    Eole, a Lévy-optimal lambda calculus evaluator written in Rust▲106

    2019 · github.com

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

    2016 · gitlab.com

  10. 10AF
    A first project in Rust – in-memory order book▲91

    2020 · github.com

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

    2021 · github.com

  12. 12CA
    Chromiumoxid – An Async Headless Chrome API in Rust▲127

    2020 · github.com

  13. 13AS
    A SIMD-accelerated noise library in Rust▲73

    2018 · github.com

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

    2014 · github.com

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

    2020 · github.com

  16. 16RA
    Railcar – a container runtime in rust▲17

    2017 · github.com

  17. 17RI
    Rust Implementation of Conway's Game of Life▲76

    2020 · github.com

  18. 18IM
    I Made a Raft Implementation and CLI Visualization in Rust▲7

    2021 · github.com

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

    2019 · github.com

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

    2024 · maelstrom-software.com

  21. 21SA
    Spaik, a Lisp compiler/VM with a moving GC written in Rust▲5

    2021 · github.com

  22. 22ZO
    Zero-overhead compile-time builder pattern for Rust▲9

    2025 · github.com

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

    2021 · gitlab.com

  24. 24CA
    Craes, a fully asynchronous asset exchange written in Rust▲5

    2019 · github.com

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