-
rust-prolog
Rust implementation of prolog based on miniprolog: http://andrej.com/plzoo/html/miniprolog.html
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
You may be interested in the (currently dormant) local modules proposal: https://github.com/ghc-proposals/ghc-proposals/pull/283
This is probably my oldest Rust code base (and some things about the design are mistakes but I don't feel like rewriting it). It's based on some ML (maybe ocaml?) code but then I kept extending it and adding features: https://github.com/dagit/rust-prolog
My most recent Rust project was an exploration to implement monads in Rust: https://github.com/dagit/rust-monads/
I've also made a library for working with speedrunslive's web api: https://github.com/dagit/srl-http
This is the bot that uses it but the bot code is very messy: https://github.com/dagit/seedbot
The biggest library I developed in Rust is Ferrite. If you walk through the code, you should be able to see many Haskell-ish patterns being used in Rust.
Personally I do not miss anything in MTL or the ReaderT IO pattern, and I would much rather program in vanilla Rust without the use of monad. That said, I do miss the extra power given by algebraic effects, and I look forward to implement that in Rust some day.