Skip to content
Avatar
72 followers · 6 following

Achievements

Arctic Code Vault Contributor

Achievements

Arctic Code Vault Contributor

Highlights

  • Pro

Organizations

@frenetic-lang @cornell-pl
Block or Report

Block or report jnfoster

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

Popular repositories

  1. brx Public

    Boomerang Regular Expressions

    OCaml 1

  2. reverse Public

    Reversible Lambda Calculus

    OCaml 1

  3. ocaml-re-nfa Public

    Forked from yallop/ocaml-re-nfa

    OCaml code to construct an NFA from a regular expression

    OCaml 1

  4. ocaml-cstruct Public

    Forked from mirage/ocaml-cstruct

    Map OCaml arrays onto C-like structs

    OCaml

  5. p4-hlir Public

    Forked from p4lang/p4-hlir

    Python

  6. p4-spec Public

    Forked from p4lang/p4-spec

    TeX

167 contributions in the last year

Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Jan Mon Wed Fri
Learn how we count contributions
Less More

Contribution activity

January 2022

Created 5 commits in 2 repositories

Created a pull request in cs3110/textbook that received 1 comment

Remove Perils of Java Schools

Although I understand the reasons for wanting to include this essay, the tone of the essay is problematic. Specifically, it comes off as elitist an…

+0 −3 • 1 comment
Reviewed 5 pull requests in 4 repositories
p4lang/p4-spec 2 pull requests
cs3110/textbook 1 pull request
p4lang/p4c 1 pull request
p4lang/tutorials 1 pull request

Created an issue in p4lang/p4c that received 1 comment

Typechecking bugs

This code should not type check (i.e., with p4test) but does: #include <core.p4> extern register<T> { register(bit<32> size); void write(in bit<32>…

1 comment
Opened 1 other issue in 1 repository
p4lang/p4c 1 closed

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