icmccorm Goto Github PK

against-the-void

An interview and survey study on how Rust developers use unsafe code.

against-the-void-tex

An interview and survey study on how Rust developers use unsafe code.

bchlib

Rust bindings for BCH encoding/decoding library, based on the bch_codec fork

benchexec

BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

blitsort-sys

bzip2-rs

libbz2 (bzip2 compression) bindings for Rust

cadical

CaDiCaL SAT Solver

cargo-ffi-study

cnftools

CNF Tools (Program + Python Bindings): GBDHash, Feature Extractors, Problem Transformers, ...

cxx

Safe interop between Rust and C++

dec-number-sys

Rust bindings for The decNumber C Library by IBM Fellow Mike Cowlishaw

definition_aware_heuristics

Definition Aware Heuristics

flate2-rs

DEFLATE, gzip, and zlib bindings for Rust

fluidlite-rs

Rust bindings to fluidlite library

gcc

ghostborrows

An API for statically verifying adherence to Tree Borrows using ghost permissions.

gillian

The Gillian Platform main repository

gvc0

Gradually Verified C0

haybale

Symbolic execution of LLVM IR with an engine written in Rust

ignore_gates

inkwell

It's a New Kind of Wrapper for Exposing LLVM (Safely)

intrusive-rs

Intrusive collections for Rust

kissat

klu-rs

Rust binding to the KLU sparse matrix solver

lcms2-recreation

lifeline

Inferring lifetimes from LLVM IR

littlefs2

Idiomatic Rust API for littlefs

llvm

llvm-ir

LLVM IR in natural Rust data structures

llvm-project

Rust-specific fork of LLVM.