Tunnel all your traffic over Websocket or HTTP2 - Bypass firewalls/DPI - Static binary available - erebe/wstunnel

RustMC is a stateless model checker that enables verification of concurrent Rust programs. As both Rust and C/C++ compile to LLVM IR, RustMC builds on GenMC which provides a verification framework...

The recent Linux kernel drama over Rust code has resulted in the creation of a Rust kernel policy.

⚓ A collection of high-performance JavaScript tools. - oxc-project/oxc

Explore open-source Rust projects, learn innovative techniques, and connect with a passionate community. Get expert Rust development and consulting services.

Experimental Rust bindings for libcamera. Contribute to lit-robotics/libcamera-rs development by creating an account on GitHub.

[ICLR 2025] Samba: Simple Hybrid State Space Models for Efficient Unlimited Context Language Modeling - microsoft/Samba

wasmVision gets you going with computer vision using WebAssembly. - wasmvision/wasmvision

Interpretability methods to analyze the behavior and individual predictions of modern neural networks in R. - bips-hb/innsight

We demonstrate that carefully adjusting the tokenizer of the Whisper speech recognition model significantly improves the precision of word-level timestamps when applying dynamic time warping to...

An exploration of the layout models of TeX and Typst.

Unofficial implementation of iTransformer - SOTA Time Series Forecasting using Attention networks, out of Tsinghua / Ant group - lucidrains/iTransformer

Fix stopword and long tokens
What's Changed

docs: update README to enhance getting started section and clarify tokenizer support by @VoVAllen in #37
docs: update wrong guc default value in rea...

Highlights

4-bit Mistral 7B generates at 131 toks/sec out of the box on an M2 Ultra
More performance improvements across the board:

Faster small batch quantized matmuls. Speeds up speculative dec...