Skip to content
Avatar
125 followers · 0 following

Organizations

@llvm
Block or Report

Block or report lenary

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
lenary/README.md

About Me

👨‍💻 I'm a Senior Compiler Engineer at Arm. I have contributed to LLVM and Rust.

👨‍🏫 I used to be a programming languages researcher. I worked on Checked C and Idris, as well as other projects and publications.

🤔 Where to start? Try My Big List of ABI Resources or the repos listed below.

pronouns: he/him

Pinned

  1. llvm/llvm-project Public

    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…

    17k 6.4k

  2. microsoft/checkedc Public

    Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe. The goal is to let people easily make their existing C code type-safe and elimi…

    C 2.8k 191

  3. abis Public

    Big List of ABI Resources

    25

  4. sat Public

    Rust 4

60 contributions in the last year

Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Mon Wed Fri
Learn how we count contributions
Less More
Activity overview
Contributed to llvm/llvm-project, llvm/llvm-project-release-prs, ARM-software/acle and 9 other repositories

Contribution activity

November 2022

Created 8 commits in 2 repositories
Created 1 repository

Created a pull request in ARM-software/acle that received 4 comments

Add SLC as a valid Prefetch Target

Arm v8.9-a/v9.4-a has allocated the encoding 0b11 in PRFM's Rt<2:1> field (which represents the cache level targetted by the prefetch instruction) …

+7 −5 • 4 comments
Opened 1 other pull request in 1 repository
ARM-software/acle 1 merged
Reviewed 2 pull requests in 1 repository

Seeing something unexpected? Take a look at the GitHub profile guide.