Skip to content
Avatar
114 followers · 7 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…

    13.7k 5.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.7k 188

  3. abis Public

    Big List of ABI Resources

    18

  4. sat Public

    Rust 4

17 contributions in the last year

May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr May Mon Wed Fri
Learn how we count contributions
Less More
NEW! View your contributions in 3D, VR and IRL!
Activity overview
Contributed to llvm/llvm-project, abey79/vsketch, lenary/homebrew-versions and 3 other repositories

Contribution activity

May 2022

lenary has no activity yet for this period.

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