Skip to content
View danjenson's full-sized avatar

Block or report danjenson

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. CoqGym-GNN CoqGym-GNN Public

    Forked from princeton-vl/CoqGym

    A Learning Environment for Theorem Proving with the Coq proof assistant

    Coq 3 1

  2. motoko motoko Public

    Rust

  3. fair-winds fair-winds Public

    code for fair winds applications

    HTML

  4. cs-224n-final-project cs-224n-final-project Public

    The Ghost Shell

    Python

  5. hall-monitor hall-monitor Public

    Hall Monitor for Servers

    Python

  6. et et Public

    Edward-Tufte inspired Jekyll Theme.

    SCSS