Skip to content
View hannahpeeler8's full-sized avatar

Highlights

  • Pro
Block or Report

Block or report hannahpeeler8

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. models models Public

    Forked from tensorflow/models

    Models built with TensorFlow

    Python

  2. tensorflow tensorflow Public

    Forked from tensorflow/tensorflow

    Computation using data flow graphs for scalable machine learning

    C++

  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. sf-progress sf-progress Public

    Forked from michaelsproul/sf-progress

    My progress on Software Foundations

    Coq

  5. Coq-CIS500 Coq-CIS500 Public

    Forked from rabimba/CIS500

    Coq

  6. linguist linguist Public

    Forked from github-linguist/linguist

    Language Savant. If your repository's language is being reported incorrectly, send us a pull request!

    Ruby