Scylla, a tool for translating ultra-regular C code to Safe Rust

Datalog compiler embedded in Rust as a procedural macro

Interface with the rustc compiler for the purpose of program verification

Rust programs written entirely in Rust

MiniML to WebAssembly compiler

OCaml Lua Interpreter

Rust Microcontroller experiments using the Embassy framework

Cross-language Bugfinder | Bring Your Own Language Solver-Aided Programming | WebAssembly Swissknife

A minimalist design exploration

Create book from markdown files. Like Gitbook but implemented in Rust

Truly independent web browser

Unofficial mirror of sourceware glibc repository. Updated daily.

Up to 10x faster strings for C, C++, Python, Rust, Swift & Go, leveraging NEON, AVX2, AVX-512, SVE, & SWAR to accelerate search, hashing, sort, edit distances, and memory ops 🦖

Cargo subcommand for viewing LLVM optimization remarks.

I speak only of myself since I do not wish to convince, I have no right to drag others into my river, I oblige no one to follow me and everybody practices his art in his own way.

A grep-like tool which understands source code syntax and allows for manipulation in addition to search

The financial transactions database designed for mission critical safety and performance.

Creusot helps you prove your code is correct in an automated fashion.

A static verifier for Rust, based on the Viper verification infrastructure.

Discovering and describing Rust's design axioms

A jq clone focussed on correctness, speed, and simplicity

Doing advent of code with CUDA and rust.

Array of Struct to Struct of Array helpers in Rust

Rust library and CLI to export an Obsidian vault to regular Markdown

A web-based markdown viewer optimized for Obsidian

Quickly find differences and similarities in disassembled code

Rust / Wasm framework for creating reliable and efficient web applications

Minimalist ML framework for Rust

A tool to compare ELF binaries