Skip to content
View nwf's full-sized avatar
88 followers · 8 following

Achievements

Achievement: YOLOAchievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: Mars 2020 ContributorAchievement: Pull Sharkx3Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2

Achievements

Achievement: YOLOAchievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: Mars 2020 ContributorAchievement: Pull Sharkx3Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2

Organizations

@CTSRD-CHERI @nodemcu @cmukgb @AcmeTensorToys @CHERIoT-Platform

Block or report nwf

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

Pinned Loading

  1. xconfig Public

    My X and XMonad configurations

    Haskell 18 2

  2. grade Public

    GRADE Reporting And Definition Environment

    Haskell 3

  3. ctcheat Public

    Notes, notably cheat-sheets, for category theory

    TeX 4

  4. cheribsd Public

    Forked from CTSRD-CHERI/cheribsd

    nwf's fork of cheribsd; this is *often* push-f'd over, so is unsuitable as an upstream!

    C 1 1

986 contributions in the last year

Skip to contributions year list
Contribution Graph
Day of Week June July August September October November December January February March April May June
Sunday
Monday
Tuesday
Wednesday
Thursday
Friday
Saturday
Learn how we count contributions
Less
No contributions.
Low contributions.
Medium-low contributions.
Medium-high contributions.
High contributions.
More

Contribution activity

June 2025

Created 2 commits in 2 repositories

Created a pull request in riscv/riscv-cheri that received 1 comment

WIP: IFC to zylevels extensions (#628)

This WIP PR is a first stab at #628. At present, known deficiencies include: The encoding in the appendix is unmodified and so full of xref errors. …

+351 −120 lines changed • 1 comment
Opened 5 other pull requests in 2 repositories
Reviewed 1 pull request in 1 repository
riscv/riscv-cheri 1 pull request

Created an issue in riscv/riscv-cheri that received 2 comments

Split IFC/levels back out of the base

I think we concluded in today's meeting that #611 / #568 should be unwound. Concretely, I think that means... reserving, rather than defining, th…

2 comments
Opened 5 other issues in 5 repositories
75 contributions in private repositories Jun 2 – Jun 24
Loading