Gravifer

Stars are manual not crawled; it's just mark-and-recapture searching.

Tsinghua UniversityBeijing

Pinned Repositories

cs61bl-su24.gitlet
Bring Gitlet back to life
Language:Java00
gitrepos
Repos I need to build frequently used tools on multiple platforms.
1 1 20
Lean.Optics
Bring the Optics🜁 abstract interface to Lean 🧿
00
listen1_desktop
one for all free music in china (Windows, Mac, Linux desktop)
Language:JavaScript2 0 00
posh-wakatime
PowerShell plugin for wakatime
Language:PowerShell6 1 02
programthink-network-project
【编程随想】整理的《人物关系网络》
Language:Python2 0 00
v2rayN
项目维基（先阅读再提issue）
Language:C#3 0 00
wolfram-wakatime
A WakaTime plug-in for Wolfram systems
Language:Mathematica2 0 00
QueueSDP
A wolfram language package for applications of semi-definite programming in queuing theory
Language:Mathematica0 1 00

Gravifer's Repositories

Gravifer/listen1_desktop
one for all free music in china (Windows, Mac, Linux desktop)
Language:JavaScript2 0 00
Gravifer/wolfram-wakatime
A WakaTime plug-in for Wolfram systems
Language:Mathematica2 0 00
Gravifer/bracket-lens-vscode
Show bracket head on closing bracket for VS Code.
Language:TypeScript1 0 0
Gravifer/gist-resources
Resources related to my Github gists.
Language:Mathematica1 1 0
Gravifer/github-slideshow
A robot powered training repository :robot:
Language:HTML1 0 30
Gravifer/gitrepos
Repos I need to build frequently used tools on multiple platforms.
1 1 20
Gravifer/Gravifer
Hi, it's me!
1 1 13
Gravifer/listen1_chrome_extension
one for all free music in china (chrome extension, also works for firefox)
Language:JavaScript1 0 0
Gravifer/mathematica-notebook-filter
Filter Mathematica notebooks to commit them more easily
Language:Rust1 0 0
Gravifer/vavr
vʌvr (formerly called Javaslang) is a non-commercial, non-profit object-functional library that runs with Java 8+. It aims to reduce the lines of code and increase code quality.
1
Gravifer/vexchords
JavaScript Chord Charts
Language:JavaScript1 0 0
Gravifer/vscode-material-icon-theme
Available on the VSCode Marketplace
Language:TypeScript1 0 0
Gravifer/cs61bl-su24.gitlet
Bring Gitlet back to life
Language:Java00
Gravifer/Lean.Optics
Bring the Optics🜁 abstract interface to Lean 🧿
00
Gravifer/BZ-Reaction-Sayakyo
Reaction-diffusion bridge between given images
Language:Julia
Gravifer/colab.research.google.shared-notebooks
Shared notebooks cloned using Google Colab
Language:Jupyter Notebook
Gravifer/Cornell.CS3110
My code in CS 3110 - Data Structures and Functional Programming
Language:OCaml
Gravifer/cs-self-learning
计算机自学指南
Gravifer/cs61bl-su25
My auditing of https://cs61bl.org/su25
Language:Java
Gravifer/cs61c.su25-lab
Language:C
Gravifer/cs61c.su25-proj1
Language:C
Gravifer/google.comprehensive-rust
Practice along the Rust course used by the Android team at Google, which provides the material to quickly teach Rust.
Language:Rust
Gravifer/HW-wb.True-Story-of-Pangu
诺亚盘古大模型研发背后的真正的心酸与黑暗的故事。
Gravifer/JonT.WYaScheme
https://en.wikibooks.org/wiki/Write_Yourself_a_Scheme_in_48_Hours
Language:Haskell
Gravifer/lean-comm.mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
Language:HTML
Gravifer/lean-mathlib-1stproj
Personal first project using Lean with Mathlib
Language:Lean
Gravifer/mooc.fi_haskell-mooc
Haskell MOOC University of Helsinki
Language:HTML
Gravifer/nixos-wsl-starter
Language:Nix
Gravifer/UCB.CS61A
Language:JavaScript
Gravifer/UCB.CS61C-su25
My auditting of https://cs61c.org/su25/
Language:Assembly