Pinned Repositories
aiosmtplib
asyncio smtplib implementation
CV
dafny-ex
Repository to hold exercises for Dafny tutorial
homebrew-taps
The core repo for taps are removing options, absolute nonsense
JOS
Lab for Operating System from MIT 6.828
osdev
Steps to x86 OS Development.
qrcode-viewer
To get access to QRCode of a specific post or page in the dashboard.
LukeXuan's Repositories
LukeXuan/osdev
Steps to x86 OS Development.
LukeXuan/JOS
Lab for Operating System from MIT 6.828
LukeXuan/aiosmtplib
asyncio smtplib implementation
LukeXuan/CV
LukeXuan/dafny-ex
Repository to hold exercises for Dafny tutorial
LukeXuan/homebrew-taps
The core repo for taps are removing options, absolute nonsense
LukeXuan/qrcode-viewer
To get access to QRCode of a specific post or page in the dashboard.
LukeXuan/634-router
LukeXuan/automator-qrcode-reader
LukeXuan/bonsai
Simple Python 3 module for LDAP, using libldap2 and winldap C libraries.
LukeXuan/company-coq
IDE extensions for Proof General's Coq mode
LukeXuan/dot-files
LukeXuan/FStar
A Proof-oriented Programming Language
LukeXuan/fstar-mode.el
Emacs support for F*
LukeXuan/homebrew-cask
A CLI workflow for the administration of Mac applications distributed as binaries
LukeXuan/homebrew-core
🍻 Default formulae for the missing package manager for macOS
LukeXuan/Hyprland
Hyprland is an independent, highly customizable, dynamic tiling Wayland compositor that doesn't sacrifice on its looks.
LukeXuan/hyprland-wiki
The Hyprland Wiki Pages, automatically synced with the website.
LukeXuan/keyboard-config
LukeXuan/latex-homework-template
🎓📄 The LaTeX file that I used as the base for all my homework in university.
LukeXuan/lsp-mode
Emacs client/library for the Language Server Protocol
LukeXuan/misc
LukeXuan/nasm-mode
Major mode for editing NASM assembly programs
LukeXuan/oh-my-zsh
A delightful community-driven (with 1,000+ contributors) framework for managing your zsh configuration. Includes 200+ optional plugins (rails, git, OSX, hub, capistrano, brew, ant, php, python, etc), over 140 themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.
LukeXuan/VST
Verified Software Toolchain
LukeXuan/web-stuff
Excalibur