lrwei

lrwei's Stars

• matsuu/neovim-aarch64-appimage

  build nvim.appimage for aarch64(arm64) arch

  Language:Dockerfile639

• daimaou92/install-arch-vmwarefusion-techpreview

  Semi-automated Arch Linux(aarch64) install in VMware Fusion for Apple Silicon

  Language:Shell213

• zeke-xie/deep-learning-dynamics-paper-list

  This is a list of peer-reviewed representative papers on deep learning dynamics (optimization dynamics of neural networks). The success of deep learning attributes to both network architecture and stochastic optimization. Thus, deep learning dynamics play an essentially important role in theoretical foundation of deep learning.

  25624

• llvm/circt

  Circuit IR Compilers and Tools

  Language:C++1.7k305

• riscv/sail-riscv

  Sail RISC-V model

  Language:Coq486171

• beehive-lab/mambo

  A low-overhead dynamic binary instrumentation and modification tool for ARM (both AArch32 and AArch64 support) and RISC-V (RV64GC).

  Language:C32469

• ProofGeneral/PG

  This repo is the new home of Proof General

  Language:Emacs Lisp49490

• antirez/linenoise

  A small self-contained alternative to readline and libedit

  Language:C3.8k668

• rust-lang/rfcs

  RFCs for changes to Rust

  Language:Markdown6k1.6k

• phil-opp/blog_os

  Writing an OS in Rust

  Language:HTML16k1.1k