8000 yuanw (Yuan Wang) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View yuanw's full-sized avatar

Sponsoring

@positron-solutions
@hlissner
@minad
@protesilaos
@tarsius
@xenodium
@yokoffing

Highlights

  • Pro

Block or report yuanw

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse
Showing results

An Emacs development environment for Julia

Emacs Lisp 257 26 Updated Mar 28, 2025

A simple LLM client for Emacs

Emacs Lisp 2,519 256 Updated Jun 2, 2025

@getreuer's QMK community modules.

C 26 2 Updated Jun 1, 2025

Logical manifestations of topological concepts, and other things, via the univalent point of view.

Agda 255 47 Updated Jun 2, 2025

being the teaching materials and exercises for CS410 Advanced Functional Programming at the University of Strathclyde, 2022/23 session

Agda 15 3 Updated Nov 22, 2022

Configuration of my operating system with Nix+Home Manager+Stylix+...

Nix 1 Updated May 28, 2025

🏛️ TempEl - Simple templates for Emacs

Emacs Lisp 564 28 Updated May 12, 2025

scroll Emacs like lightning

Emacs Lisp 317 7 Updated May 29, 2025

Boost eglot using lsp-booster

Emacs Lisp 219 7 Updated Apr 28, 2025

Functional teaching language for use in a discrete mathematics course

TeX 169 23 Updated Apr 26, 2025
Lean 1 Updated Dec 6, 2024

My personal Nix expressions.

Nix 2 Updated May 19, 2025

EAF, an extensible framework that revolutionizes the graphical capabilities of Emacs

Python 3,275 227 Updated Apr 13, 2025

A Powerful Versatile Omni Search inside Emacs

Emacs Lisp 218 8 Updated Mar 24, 2025

Yet another modal editing on Emacs / 猫态编辑

Emacs Lisp 1,364 144 Updated Apr 4, 2025
Emacs Lisp 40 1 Updated May 26, 2025

My NixOS configuration. Mirror of code maintained at gitlab.com.

Nix 21 Updated May 31, 2025

Source for personal blog.

Haskell 77 22 Updated Apr 1, 2025

Andy Stewart's emacs

Emacs Lisp 490 81 Updated May 26, 2025

Automatically save files without temporary files to protect your finger. ;)

Emacs Lisp 90 17 Updated Oct 25, 2023

Competitive programming utilities in Haskell

Haskell 30 2 Updated Jan 3, 2025

Pragmatic Emacs Library

Emacs Lisp 52 3 Updated May 23, 2025

Dot files, Emacs config, etc

Emacs Lisp 174 11 Updated May 16, 2025
Emacs Lisp 8 2 Updated Jun 2, 2025

Example configurations for self-hosting stuff on NixOS

10 Updated Nov 26, 2024

🌸 The prettiest keyboard software

Zig 177 3 Updated Jul 6, 2024

Configuration files for Emacs, tiling window managers, and related for Linux. Managed with GNU Stow.

Emacs Lisp 246 22 Updated May 31, 2025

An Emacs configuration bundle with batteries included

Emacs Lisp 6,959 2,068 Updated Feb 24, 2025

My keyboard layouts

C 14 1 Updated Apr 24, 2025
Next
0