Skip to content
View AD1024's full-sized avatar
🍊
Ciallo~(βˆ γƒ»Ο‰< )βŒ’β˜…
🍊
Ciallo~(βˆ γƒ»Ο‰< )βŒ’β˜…

Highlights

  • Pro

Organizations

@uwsampl

Block or report AD1024

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

Pinned Loading

  1. gussmith23/glenside gussmith23/glenside Public

    A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://gussmith23.github.io/glenside-web-demo/

    Rust 71 10

  2. taichi-dev/taichi taichi-dev/taichi Public

    Productive, portable, and performant GPU programming in Python.

    C++ 26.4k 2.3k

  3. p-org/P p-org/P Public

    The P programming language.

    C# 3.1k 180

  4. veripy veripy Public

    Python3 auto-active verification library (migrated to an Intel project)

    Python 24

  5. dtlc dtlc Public

    Dependently typed lambda calculus - A Simple Proof Assistant

    OCaml 12

  6. Weekly development breakdown Weekly development breakdown
    1
    C#         4 hrs 33 mins  β–ˆβ–ˆβ–ˆβ–ˆβ–ˆβ–ˆβ–ˆβ–ˆβ–ˆβ–ˆβ–ˆβ–ˆβ–‹β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘  60.7%
    2
    Text       1 hr 58 mins   β–ˆβ–ˆβ–ˆβ–ˆβ–ˆβ–Œβ–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘  26.3%
    3
    JSON       30 mins        β–ˆβ–β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘   6.7%
    4
    Other      14 mins        β–‹β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘   3.3%
    5
    Pawn       13 mins        β–‹β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘   3.1%