Nix Packages collection & NixOS

Training neural networks on Apple Neural Engine via reverse-engineered private APIs

A probabilistic programming language for metacognitive modeling

Typeshare is the ultimate tool for synchronizing your type definitions between Rust and other languages for seamless FFI.

Nix flake for the Zig compiler.

Access large language models from the command-line

Rust crate for a convenient RAII scope guard.

A massively parallel, optimal functional runtime in Rust

Formal verification tool for Rust: check 100% of execution cases of your programs to make safer applications.

Rust implementation of SPIR-V module processing functionalities

Symbolic execution of LLVM IR with an engine written in Rust

Emerging smart contract language for the Ethereum blockchain.

An implementation of the Language Server Protocol for LaTeX

A post-modern modal text editor.

Dafny is a verification-aware programming language

Visualize/analyze a Rust crate's internal structure

The BioScript compiler, ChemStor storage, and Application Binder.

Effects-based direct-style IO for multicore OCaml

Algebraic effects for Rust

Cargo subcommand to easily use LLVM source-based code coverage (-C instrument-coverage).

Cleans dependencies and build artifacts from your projects.

PubGrub version solving algorithm implemented in Rust

🌌️Fuzz4All: Universal Fuzzing with Large Language Models

Registry index for forc.pub

The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡

An experimental linting interface for Rust. Let's make custom lints a reality

A framework for writing plugins that integrate with the Rust compiler