Yifan Song's repositories
Eric-Song-Nop
Coding or gaming！
sioyek
Sioyek is a PDF viewer with a focus on textbooks and research papers
tinymist
Tinymist [ˈtaɪni mɪst] is an integrated language service for Typst [taɪpst].
LazyVim
Neovim config for the lazy
batteries
The "batteries included" extended library for the Lean programming language and theorem prover
zed
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
flambda-backend
The Flambda backend project for OCaml
tactic-cheatsheet
Lean4 tactic cheatsheet
dots-hyprland
Modern, feature-rich and accessible desktop configuration.
aya-prover-nightly
aur package for aya-prover
wezterm
A GPU-accelerated cross-platform terminal emulator and multiplexer written by @wez and implemented in Rust
termux-app
Termux - a terminal emulator application for Android OS extendible by variety of packages.
kotlin
The Kotlin Programming Language.
leetcode.nvim
A Neovim plugin enabling you to solve LeetCode problems.
llvm-mctoll
llvm-mctoll
launcher
An extensible linux application launcher
gotk4
Autogenerated GTK4 bindings for Go - A Linux Specific fork
zk
A plain text note-taking assistant
electron
:electron: Build cross-platform desktop apps with JavaScript, HTML, and CSS
yazi
⚡️ Blazing fast terminal file manager written in Rust, based on async I/O.
ROCm-Device-Libs
ROCm Device Libraries
llvm-project
This is the canonical git mirror of the LLVM subversion repository. The repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
hip-analyzer
Compiler plugin for performance analysis of HIP applications