Skip to content
View barghouthi's full-sized avatar
Block or Report

Block or report barghouthi

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

Popular repositories

  1. cs704 cs704 Public

    CS 704 course website - Principles of Programming Languages

    TeX 68 16

  2. 704examples 704examples Public

    Code demonstrations from CS 704 at UW-Madison / MadPL

    Python 4

  3. cav16-aec cav16-aec Public

    1

  4. barghouthi.github.io barghouthi.github.io Public

    HTML

  5. repsatsixty repsatsixty Public

  6. L2 L2 Public

    Forked from jfeser/L2

    λ² is a tool for synthesizing functional programs from input-output examples.

    OCaml