osdev Steps to x86 OS Development.

JOS Lab for Operating System from MIT 6.828

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

qrcode-viewer To get access to QRCode of a specific post or page in the dashboard.

634-router

automator-qrcode-reader

bonsai Simple Python 3 module for LDAP, using libldap2 and winldap C libraries.

company-coq IDE extensions for Proof General's Coq mode

dot-files

FStar A Proof-oriented Programming Language

fstar-mode.el Emacs support for F*

homebrew-cask A CLI workflow for the administration of Mac applications distributed as binaries

homebrew-core 🍻 Default formulae for the missing package manager for macOS

Hyprland Hyprland is an independent, highly customizable, dynamic tiling Wayland compositor that doesn't sacrifice on its looks.

hyprland-wiki The Hyprland Wiki Pages, automatically synced with the website.

keyboard-config

latex-homework-template 🎓📄 The LaTeX file that I used as the base for all my homework in university.

lsp-mode Emacs client/library for the Language Server Protocol

misc

nasm-mode Major mode for editing NASM assembly programs

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.

swift The Swift Programming Language

VST Verified Software Toolchain

web-stuff Excalibur

LukeXuan V2EX member #48062, joined on 2013-10-27 16:42:03 +08:00

Deals info, including closed deals, is not hidden