Dev tools · alternatives · 2026

24 alternatives to A formally verified native Delta Lake implementation in Rust

A native Rust library for Delta Lake, with bindings into Python - delta-io/delta-rs

Below are 24 products that do a similar job, ranked by how close each is in meaning and then by launch-day votes. A formally verified native Delta Lake implementation in Rust launched in 2022; newer entries below may have overtaken it.

1. 1
   A Fast, Malloc-Free C++14 Json Parser and Encoder▲98

   Meta programming utilities for C++14. Merged in matt-42/lithium - matt-42/iod

   2014 · github.com · its alternatives →

2. 2
   Coerce – Actor runtime for Rust using async/await and tokio channels▲155

   Actor runtime and distributed systems framework for Rust - LeonHartley/Coerce-rs

   2019 · github.com · its alternatives →

3. 3
   Rust library for Undo/Redo using deltas, snapshots or commands▲25

   Undo/Redo in Rust using deltas, snapshots or commands with convenience implementations for many standard and third-party types. Can be also used for delta encoding. - mikwielgus/undoredo

   May 2026 · github.com · its alternatives →

4. 4
   val – An arbitrary precision calculator language▲34

   Wrote this to learn more about the `chumsky` parser combinator library, rustyline, and the `ariadne` error reporting crate. Such a nice DX combo for writing new languages. Still a work in progress, but I thought I'd share :)

   2025 · github.com · its alternatives →

5. 5
   Cap'n-rs – Rust implementation of Cloudflare's Cap'n Web protocol▲52

   Last week Cloudflare released Cap'n Web [1], a schema-free capability-based RPC protocol. I built capn-rs this week - a Rust implementation with full wire protocol compatibility. Links: GitHub: https://github.com/currentspace/capn-rs Crates: https://crates.io/crates/capnweb-server API docs: https://docs.rs/capnweb-server What's working: Wire compatibility verified via integration tests against TypeScript reference Multi-transport: HTTP batch, WebSocket, WebTransport (HTTP/3) Complete IL (intermediate language) expression evaluator…

   2025 · github.com · its alternatives →

6. 6
   Realsense-Rust – Streaming Intel RealSense from Rust▲9

   High-level RealSense library in Rust

   2021 · gitlab.com · its alternatives →

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

   The lightest distributed consensus library. Run your own replicated state machine! ❤️ - andreev-io/little-raft

   2021 · github.com · its alternatives →

8. 8
   A Golang Package for Consistent Hashing with Bounded Loads▲50

   A Go library that implements Consistent Hashing and Consistent Hashing With Bounded Loads. - lafikl/consistent

   2017 · github.com · its alternatives →

9. 9
   Ion, a Rust/Tokio powered JavaScript runtime for embedders▲30

   A Positively Charged JavaScript Runtime . Contribute to alshdavid-public/ion development by creating an account on GitHub.

   2025 · github.com · its alternatives →

10. 10
    Rust framework for advanced file recognition and identification▲46

    Alternative to magic.h and infer. Zero dependencies. Fully extensible. Works in no_std, async, and embedded contexts.

    2025 · crates.io · its alternatives →

11. 11
    a Rust library for creating hierarchical state machines▲38

    I've come to prefer modeling state machines with nested states, but implementing them by hand requires a large amount of error-prone boilerplate that obscures the important logic of the state machine. I found that the existing offerings in the Rust ecosystem - while inspiring - lacked a number of features that I was looking for, so I spent the last few months building moku. Feedback is welcome!

    2025 · docs.rs · its alternatives →

12. 12
    Rust 1.0▲6

    A high-level, safe and concurrent alternative to C++

    2015 · rust-lang.org · its alternatives →

13. 13
    Salt – a systems language with Z3 theorem proving in the compiler▲44

    Hey HN, I wanted to share the new online playground for Salt (https://salt-lang.dev/playground/), a sovereign systems language designed for high-performance, distributed workloads where paying an "abstraction tax" is no longer acceptable. We started building Salt to bridge the gap between the raw power of manual pointer arithmetic and the safety guarantees of modern high-level languages. The architecture relies on an MLIR-based backbone and a Z3-powered "formal shadow," and the design is rooted in three main pillars: Fast Enough: The target is to stay within 20% of C's…

    Jul 2026 · salt-lang.dev · its alternatives →

14. 14
    Rust built open-sourced CLI tool for API specification validation▲23

    Stop half-done APIs! Cherrybomb is a CLI tool that helps you avoid undefined user behaviour by auditing your API specifications, validating them and running API security tests. - blst-security/cherrybomb

    2022 · github.com · its alternatives →

15. 15
    An educational Local Qwen3 LLM Inference project written in Rust▲15

    An educational Rust project for exporting and running inference on Qwen3 LLM family - reinterpretcat/qwen3-rs

    2025 · github.com · its alternatives →

16. 16LA
    Language Agnostic IDL for Rust, Swift and Kotlin▲7

    Arun Sharma Open Source Activity

    2020 · adsharma.github.io · its alternatives →

17. 17
    I am developing a type safe colorspace library for Rust▲12

    After two weeks of planning and figuring out how to manage conversions safely, I have finally published the first version of my crate :) It allows you to specify your own colortypes and easily use the same syntax for converting between your custom color types! I also started working on a custom image type that can do math :)

    2022 · crates.io · its alternatives →

18. 18
    I Built a Groth16 ZK-Proof Verifier from Scratch Using Rust▲6

    I've always been fascinated by cryptographic principles, so I decided to dive deep into zero-knowledge proofs and implement a Groth16 proof verifier entirely in Rust. This project validates cryptographic proofs and demonstrates how succinct, verifiable computations can be achieved. Using Rust's powerful libraries like arkworks, I implemented pairing checks, public input commitments, and proof validation logic while ensuring the code remains modular and efficient. I handled the complexities of affine group operations, scalar multiplications, and optimized public input verification to make…

    2024 · github.com · its alternatives →

19. 19
    Registration library for open source software▲5

    A memory-safe, fast, spec-compliant XML library for Rust, with drop-in replacement for libxml2.

    2017 · supso.org · its alternatives →

20. 20
    Rust 1.1▲1

    A memory-safe alternative to C/C++ with modern semantics

    2015 · blog.rust-lang.org · its alternatives →

21. 21
    Kotlin∇: Shape-Safe Symbolic Differentiation with Algebraic Data Types▲15

    🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types - breandan/kotlingrad

    2021 · github.com · its alternatives →

22. 22
    LeVarInt64 for Rust▲5

    A library for encoding (and decoding) u64s into usually fewer than eight bytes.

    2023 · crates.io · its alternatives →

23. 23LW
    Letlang, written in Rust, targeting Rust, now has a specification▲8

    2024 · david-delassus.medium.com · its alternatives →

24. 24
    Rusdantic▲5

    A unified, high-performance data validation and serialization framework for Rust, inspired by Pydantic's ergonomics and powered by Serde.

    Mar 2026 · 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 →