Skip to content
Avatar
  • Block or report user

    Report or block lenary

    Hide content and notifications from this user.

    Learn more about blocking users

    Contact Support about this user’s behavior.

    Learn more about reporting abuse

    Report abuse
96 followers · 4 following · 70

Organizations

@lowRISC @llvm
lenary/README.md

About Me

👨‍💻 I'm a software developer, currently working on the LLVM RISC-V target. I also contribute to Rust's RISC-V support when I can.

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

pronouns: he/him

Pinned

  1. llvm/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…

    C++ 5.5k 2.1k

  2. lowRISC/opentitan

    OpenTitan: Open source silicon root of trust

    SystemVerilog 742 189

  3. microsoft/checkedc

    Checked C is an extension to C that adds checking to detect or prevent common programming errors such as buffer overruns and out-of-bounds memory accesses. This repo has a wiki for Checked C, sampl…

    C 1.9k 158

  4. riscv/riscv-elf-psabi-doc

    A RISC-V ELF psABI Document

    116 67

  5. idris-erlang Archived

    Erlang Backend for Idris Compiler

    Haskell 184 14

  6. basho/riak_dt

    Convergent replicated datatypes in Erlang

    Erlang 297 66

635 contributions in the last year

Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Mon Wed Fri
Learn how we count contributions.
Less
More
Activity overview
Contributed to lowRISC/opentitan, lowRISC/lowrisc-toolchains, llvm/llvm-project and 5 other repositories

Contribution activity

August 2020

Created a pull request in lowRISC/opentitan that received 2 comments

[rom_ext] Initial ROM_EXT Manifest Format

WIP

+67 −0 • 2 comments

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

You can’t perform that action at this time.