mmasque
Software Engineer and Mathematics student Interested in Rust, Kubernetes, ML.
Prodrive TechnologiesUtrecht, Netherlands
mmasque's Stars
marcusrossel/lean-egg
A (WIP) equality saturation tactic for Lean based on egg.
dbus2/zbus
Rust D-Bus crate.
mmasque/zbus
Rust D-Bus crate.
meilisearch/meilisearch
A lightning-fast search API that fits effortlessly into your apps, websites, and workflow
huggingface/tokenizers
💥 Fast State-of-the-Art Tokenizers optimized for Research and Production
tracel-ai/burn
Burn is a new comprehensive dynamic Deep Learning Framework built using Rust with extreme flexibility, compute efficiency and portability as its primary goals.
shuttle-hq/shuttle
Build & ship backends without writing any infrastructure files.
pola-rs/polars
Dataframes powered by a multithreaded, vectorized query engine, written in Rust
jonhoo/rust-ibverbs
Bindings for RDMA ibverbs through rdma-core
mariuszskon/fit1054_notes
FIT1008/FIT1054/FIT2085 notes for semester 2 2019