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

Block or report gavrielhirsch

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 Loading

  1. cos597f cos597f Public

    Forked from awonnacott/cos597f

    TeX

  2. mal mal Public

    Forked from kanaka/mal

    mal - Make a Lisp

    Assembly

  3. software-foundations-coq-workshop software-foundations-coq-workshop Public

    Forked from jamiepg1/software-foundations-coq-workshop

    Materijal za radionicu Coq-a prema kursu "Software foundations" (CIS 500) Benjamina Piercea

    Coq

  4. penpa-edit penpa-edit Public

    Forked from swaroopg92/penpa-edit

    Web application to create and solve Sudokus and Puzzles

    JavaScript

  5. github-commit-to-trello-card github-commit-to-trello-card Public

    Forked from dalezak/github-commit-to-trello-card

    GitHub Action to attach GitHub commits and pull requests as a comment in a Trello card

    JavaScript 1

  6. go-concurrency-exercises go-concurrency-exercises Public

    Forked from loong/go-concurrency-exercises

    Hands on exercises with real-life examples to study and practice Go concurrency patterns. Test-cases are provided to verify your answers.

    Go