Yifan Song's repositories
Eric-Song-Nop
Coding or gaming！
Eric-Song-Nop.github.io
Eric's mega blog
tactic-cheatsheet
Lean4 tactic cheatsheet
aya-prover-nightly
aur package for aya-prover
batteries
The "batteries included" extended library for the Lean programming language and theorem prover
dots-hyprland
Modern, feature-rich and accessible desktop configuration.
electron
:electron: Build cross-platform desktop apps with JavaScript, HTML, and CSS
flambda-backend
The Flambda backend project for OCaml
gotk4
Autogenerated GTK4 bindings for Go - A Linux Specific fork
hip-analyzer
Compiler plugin for performance analysis of HIP applications
kotlin
The Kotlin Programming Language.
launcher
An extensible linux application launcher
LazyVim
Neovim config for the lazy
leetcode.nvim
A Neovim plugin enabling you to solve LeetCode problems.
llvm-mctoll
llvm-mctoll
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.
ROCm-CompilerSupport
The compiler support repository provides various Lightning Compiler related services.
ROCm-Device-Libs
ROCm Device Libraries
termux-app
Termux - a terminal emulator application for Android OS extendible by variety of packages.
wezterm
A GPU-accelerated cross-platform terminal emulator and multiplexer written by @wez and implemented in Rust
yazi
⚡️ Blazing fast terminal file manager written in Rust, based on async I/O.
zed
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
zk
A plain text note-taking assistant