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

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

gvc0

Gradually Verified C0

ignore_gates

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

midevil

Ergonomic keyboard with number pad in the middle

mirilli

FFI support for Miri.

mirilli-inkwell

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

mirilli-llvm-project

Rust-specific fork of LLVM.

mirilli-llvm-sys

Rust bindings to LLVM. (Mirror of https://gitlab.com/taricorp/llvm-sys.rs/)

molconv

convert and edit molecular structure files