transmissions11
Follow
Stars
Up to 100x faster strings for C, C++, CUDA, Python, Rust, Swift, JS, & Go, leveraging NEON, AVX2, AVX-512, SVE, GPGPU, & SWAR to accelerate search, hashing, sorting, edit distances, sketches, and m…
A batteries-included framework for building web apps
Formal Solidity semantics in Lean 4 — the engine behind the Lean Semantics divergence challenge.
Beat a formally verified Yul → EVM compiler on total gas — while its machine-checked correctness theorem still proves.
A workspace-aware Cargo lint for unnecessary public Rust APIs.
A lightweight data processing framework built on DuckDB and 3FS.
Analyze computation-communication overlap in V3/R1.
Production-tested AI infrastructure tools for efficient AGI development and community-driven innovation
A bidirectional pipeline parallelism algorithm for computation-communication overlap in DeepSeek V3/R1 training.
🚀 Efficient implementations for emerging model architectures
8-bit chip and system emulators in standalone C headers
Minimal and scalable research codebase in JAX, designed for rapid iteration on frontier research in LLM and other autoregressive models.
A fast communication-overlapping library for tensor/expert parallelism on GPUs.
danrobinson / verity
Forked from lfglabs-dev/verityFormally verified smart contracts gives mathematical certainty across all inputs and execution paths. We bet that agents will make full formal verification practical.
Shared interaction alphabet (Simulation.Interaction/OpenWorld/Outcome) for the Solidus verified compiler and solidity-lean source semantics
A SOTA quantization algorithm for high-accuracy low-bit LLM inference, seamlessly optimized for CPU/XPU/CUDA, with multi-datatype support and full compatibility with vLLM, SGLang, and Transformers.
An on-device, GPU-accelerated language model in Rust.
Open-source framework for the research and development of foundation models.
Named Tensors for Legible Deep Learning in JAX