Eric-Song-Nop

TUDelftDelft, Netherlands

Pinned Repositories

aya-prover-nightly
aur package for aya-prover
Language:Shell0 1 00
category-theory-game-fix
Language:Lean10
coc-glslx
GLSLX support in vim with coc.nvim
Language:JavaScript8 1 00
desktop
Desktop entries scanner&parser for 1.1 standard
Language:Go11
dotfile
Own dotfiles for Linux
Language:Python3 2 00
Eric-Song-Nop
Coding or gaming！
1 2 20
fm-nvim
🗂 Neovim plugin that lets you use your favorite terminal file managers (and fuzzy finders) from within Neovim.
Language:Lua6 0 00
launcher.nvim
Drun launcher but in Neovim
Language:Lua2 1 00
tactic-cheatsheet
Lean4 tactic cheatsheet
Language:Lean1 0 00
vim-glslx
Vim syntax files for glsl language
Language:Vim Script1 1 00

Eric-Song-Nop's Repositories

Eric-Song-Nop/fm-nvim
🗂 Neovim plugin that lets you use your favorite terminal file managers (and fuzzy finders) from within Neovim.
Language:Lua6 0 00
Eric-Song-Nop/dotfile
Own dotfiles for Linux
Language:Python3 2 00
Eric-Song-Nop/category-theory-game-fix
Language:Lean10
Eric-Song-Nop/desktop
Desktop entries scanner&parser for 1.1 standard
Language:Go11
Eric-Song-Nop/Eric-Song-Nop
Coding or gaming！
1 2 20
Eric-Song-Nop/Eric-Song-Nop.github.io
Eric's mega blog
Language:CSS1 1 00
Eric-Song-Nop/tactic-cheatsheet
Lean4 tactic cheatsheet
Language:Lean1 0 00
Eric-Song-Nop/aya-prover-nightly
aur package for aya-prover
Language:Shell0 1 00
Eric-Song-Nop/batteries
The "batteries included" extended library for the Lean programming language and theorem prover
Language:Lean0 0 00
Eric-Song-Nop/c11-ra-rmw-benchmark
Language:C0 1 00
Eric-Song-Nop/dots-hyprland
Modern, feature-rich and accessible desktop configuration.
Language:JavaScript0 0
Eric-Song-Nop/electron
:electron: Build cross-platform desktop apps with JavaScript, HTML, and CSS
Language:C++0 0
Eric-Song-Nop/flambda-backend
The Flambda backend project for OCaml
Language:OCaml0 0
Eric-Song-Nop/gotk4
Autogenerated GTK4 bindings for Go - A Linux Specific fork
Language:Go0 0
Eric-Song-Nop/hip-analyzer
Compiler plugin for performance analysis of HIP applications
Language:C++0 0
Eric-Song-Nop/kotlin
The Kotlin Programming Language.
Language:Kotlin0 0
Eric-Song-Nop/kt-uniqueness-system
Eric-Song-Nop/launcher
An extensible linux application launcher
Language:TypeScript0 0
Eric-Song-Nop/LazyVim
Neovim config for the lazy
Eric-Song-Nop/leetcode.nvim
A Neovim plugin enabling you to solve LeetCode problems.
Language:Lua0 0
Eric-Song-Nop/llvm-mctoll
llvm-mctoll
Language:C++0 0
Eric-Song-Nop/llvm-mctoll-test-suite
Language:C1 0
Eric-Song-Nop/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.
0 0
Eric-Song-Nop/ROCm-CompilerSupport
The compiler support repository provides various Lightning Compiler related services.
Language:C++0 0
Eric-Song-Nop/ROCm-Device-Libs
ROCm Device Libraries
Language:C0 0
Eric-Song-Nop/termux-app
Termux - a terminal emulator application for Android OS extendible by variety of packages.
Language:Java0 0
Eric-Song-Nop/wezterm
A GPU-accelerated cross-platform terminal emulator and multiplexer written by @wez and implemented in Rust
Language:Rust0 0
Eric-Song-Nop/yazi
⚡️ Blazing fast terminal file manager written in Rust, based on async I/O.
Language:Rust0 0
Eric-Song-Nop/zed
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
Language:Rust0 0
Eric-Song-Nop/zk
A plain text note-taking assistant
Language:Go0 0