Skip to content
View lenary's full-sized avatar
138 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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
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 Staff Compiler Engineer. 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 llvm/llvm-project Public

    The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

    25.9k 10.6k

  2. microsoft/checkedc 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 3.2k 200

  3. abis abis Public

    Big List of ABI Resources

    34 3

  4. sat sat Public

    Rust 3