SchrodingerZhu

snmalloc-rs

rust bindings of snmalloc

paguroidea

A reimplementation of the Flap parser in Rust (with our own modifications applied)!

rura

RUst way for Reuse Analysis

LeanGccBackend

Lean4 backend using `libgccjit`!

lean-gccjit

libgccjit bindings for Lean4

wfarc

Wait-Free Weak Reference Counting in Rust

hashbrown4lean

area-exam-survey

Reuse Analysis, Review and Rethinking

lean-hovercraft

floating point writers and readers

llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.

loom4c

locksmith's playground

pag-final-evaluation-cc24

More evaluations for "Paguroidea: Fused Parser Generator with Transparent Semantic Actions" (To be presented at CC'24)

reuse-ir

aHash

aHash is a non-cryptographic hashing algorithm that uses the AES hardware instruction

AMDMIGraphX

AMD's graph optimization engine.

ananicy-rules

ananicy-cpp-rules for CachyOS

cachyos-hooks

captions

transcripts and captions for 3blue1brown videos

clangir

A new (MLIR based) high-level IR for clang.

gcc

hemlocker

HVM

A massively parallel, optimal functional runtime in Rust

lean-rs

High level Lean 4 FFI for Rust

lean-sys

Rust bindings for the Lean 4 proof assistant

lean4

Lean 4 programming language and theorem prover

nix-stack

opt-curve

permanent-rs

Markov chain that estimates permanent of a given n × n matrix with zero-one entries.

play-vectorized-classification

tidb-engine-ext

A TiKV based `c dynamic library` for extending storage system in TiDB cluster