Skip to content
View Gravifer's full-sized avatar
177 followers · 4.2k following

Achievements

Achievement: Pull Sharkx2

Achievements

Achievement: Pull Sharkx2

Organizations

@QueSDP @tsinghua-TEEP @Lean-zh

Block or report Gravifer

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Gravifer/README.md

Gravifer's GitHub stats Gravifer's github activity graph Gravifer's GitHub top langs Gravifer's StackExchange profile

WakaTime

time tracker

Pinned Loading

  1. gitrepos gitrepos Public

    Repos I need to build frequently used tools on multiple platforms.

    1

  2. wolfram-wakatime wolfram-wakatime Public

    A WakaTime plug-in for Wolfram systems

    Mathematica 2

  3. cs61bl-su24.gitlet cs61bl-su24.gitlet Public template

    Bring Gitlet back to life

    Java

  4. QueSDP/QueueSDP QueSDP/QueueSDP Public

    A wolfram language package for applications of semi-definite programming in queuing theory

    Mathematica

  5. Lean.Optics Lean.Optics Public

    Bring the Optics🜁 abstract interface to Lean 🧿