Dev tools · alternatives · 2026
24 alternatives to Galois connections for composable numeric casts in Rust
Contribute to cmk/connections development by creating an account on GitHub.
Galois connections for composable numeric casts in Rust is a developer tool that provides a mathematical framework for handling numeric type conversions in Rust code. It enables developers to compose and chain numeric… Below are 24 products that do a similar job, ranked by how close each is in meaning and then by launch-day votes.
- 1
Actor runtime and distributed systems framework for Rust - LeonHartley/Coerce-rs
2019 · github.com · its alternatives →
- 2
Common data structures and algorithms in Rust. Contribute to EbTech/rust-algorithms development by creating an account on GitHub.
2017 · github.com · its alternatives →
- 3
A pipeline that translates Rust GPU code into formal Coq models, as a foundation for memory model proofs - neelsomani/vericuda
2025 · github.com · its alternatives →
- 4
cuTile Rust provides a safe, tile-based kernel programming DSL for the Rust programming language. It features a safe host-side API for passing tensors to asynchronously executed kernel functions. - NVlabs/cutile-rs
Jun 2026 · github.com · its alternatives →
- 5
Actor runtime and distributed systems framework for Rust - LeonHartley/Coerce-rs
2023 · github.com · its alternatives →
- 6
Graph-oriented live coding language and music/audio DSP library written in Rust - chaosprint/glicol
2022 · github.com · its alternatives →
- 7
Layout is a rust library and a tool that renders Graphviz dot files. - nadavrot/layout
2022 · github.com · its alternatives →
- 8
An implementation of a dynamic programming language in Rust. Includes: Parser/Compiler, REPL, Virtual Machine, Bytecode Disassembler This started out as a learning project to teach myself Rust. It has grown into a decently substantial piece of software and I've learned quite a bit in the process! Some neat things: + A garbage collector that can store dynamically sized types without any double-indirection (i.e. I have my own Box implementation with manual alloc/dealloc) + The smart pointer used to reference GCed data is a thin pointer. The ptr metadata needed for DSTs is stored in…
2022 · github.com · its alternatives →
- 9
Integrate is a fast, small, lightweight Rust library for performing numerical integration of real-valued functions. It is designed to integrate functions, providing a simple and efficient way to approximate definite integrals using various numerical methods. Integrate supports a variety of numerical integration techniques: - Newton-Cotes methods: - Rectangle Rule. - Trapezoidal Rule. - Simpson's Rule. - Newton's 3/8 Rule. - Gauss quadrature methods: - Gauss-Legendre. - Gauss-Laguerre. - Gauss-Hermite. - Gauss-Chebyshev First Kind. - Gauss-Chebyshev Second Kind. - Adaptive Methods: -…
2024 · github.com · its alternatives →
- 10
tl;dr we built an embeddable stream processing engine in Rust using apache DataFusion, check us out at https://github.com/probably-nothing-labs/denormalized Hey HN, We’d like to showcase a very early version of our embeddable stream processing engine called Denormalized. The rise of DuckDB has abundantly made it clear that even for many workloads of Terabyte scale, a single node system outshines the distributed query engines of previous generation such as Spark, Snowflake etc in terms of both performance and cost. Now a lot of workloads DuckDB is used for were normally…
2024 · github.com · its alternatives →
- 11
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 →
- 12
Offline-first SQL sync with Typescript and Rust cores - syncular/syncular
Aug 2026 · github.com · its alternatives →
- 13
A multi-threaded, TCP, key-value store inspired by Redis implemented in Haskell. - honza/redish
2013 · github.com · its alternatives →
- 14
Hi HN, In the past few years I've become more interested in machine learning. Since I'm sure the same is true for many here, I wanted to share this project I've been working on: glowstick uses type-directed metaprogramming to keep track of tensor shapes in Rust's type system and determine which operations are permitted or not at compile time. I find Rust has a lot of strengths when it comes to ML applications, but waiting until runtime to find shape related issues feels a bit strange since normally I don't run the code all that often while developing. Given Rust has fancy types available, I…
2025 · github.com · its alternatives →
- 15
A fast, multi-threaded Redis® and Valkey alternative written in Rust: drop-in compatible, with full-text and vector search built in - kividbio/kividb
3d ago · github.com · its alternatives →
- 16
Alternative to magic.h and infer. Zero dependencies. Fully extensible. Works in no_std, async, and embedded contexts.
2025 · crates.io · its alternatives →
- 17
An example GraphQL server written in Rust. Contribute to lucperkins/rust-graphql-juniper-actix-diesel-postgres development by creating an account on GitHub.
2020 · github.com · its alternatives →
- 18
Hey everyone! I've been working on hsrs, a type-safe Haskell Bindings Generator for Rust. I couldn't really find any bindings generator that would create type-safe, rich bindings for Haskell from Rust. Naturally, both languages have rich type systems, so I was amazed that no awesome bindings generator already existed, hence I decided to write my own. hsrs feels very similar to pyo3 and napi-rs, and if you've used those, hsrs will feel right at home. What's unique about hsrs as opposed to hs-bindgen is that it has type-safe bindings for rich types, like Result, Maybe, etc. while also…
May 2026 · github.com · its alternatives →
- 19
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 →
- 20
Hey! This is something i have been working on. A tiny neural networking lib to learn how something like pytorch works, and to improve my own coding standards.
2025 · github.com · its alternatives →
- 21AT
2021 · zmedley.com · its alternatives →
- 22OA
it won't let me put url for some reason, here it is: https://github.com/octopii-rs/octopii
Nov 2025 · its alternatives →
- 23AS
2018 · lukaslueg.github.io · its alternatives →
- 24
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 →
Also compare
- Coerce – Actor runtime for Rust using async/await and tokio channels alternatives
- Algorithm Cookbook in Rust alternatives
- Cuq – Formal Verification of Rust GPU Kernels alternatives
- cuTile Rust: Safe, data-race-free GPU kernels in Rust alternatives
- Coerce – Distributed actor framework in Rust alternatives
- Glicol - A Graph-Oriented Live Coding Language/DSP Lib Written in Rust 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 →