ShaolunWang

aaa

Edinburgh

Pinned Repositories

HOLFloat-Lean
Formalization of floating point semantics in Lean
Language:Lean1 1 00
aoc2022
aoc2022 in cpp
Language:C++00
aoc2023
dumb
Language:Python00
aop
Language:Lean0 1 00
assignment3
Language:Scala00
ComputationAndLogic
00
computer-system
Computer System
Language:C00
dsd4
0 1 00
elvish-shell
Language:Elvish00

ShaolunWang's Repositories

ShaolunWang/aoc2022
aoc2022 in cpp
Language:C++00
ShaolunWang/aoc2023
dumb
Language:Python00
ShaolunWang/aop
Language:Lean0 1 00
ShaolunWang/assignment3
Language:Scala00
ShaolunWang/ComputationAndLogic
00
ShaolunWang/computer-system
Computer System
Language:C00
ShaolunWang/dsd4
0 1 00
ShaolunWang/elvish-shell
Language:Elvish00
ShaolunWang/Engineering-Software
Engineering Software 3
1 0
ShaolunWang/heirline.nvim
Heirline.nvim is a no-nonsense Neovim Statusline plugin designed around recursive inheritance to be exceptionally fast and versatile.
Language:Lua0 0
ShaolunWang/iaml-labs
IAML Labs Repository
Language:Jupyter Notebook0 0
ShaolunWang/ilp
Informatics Large Practical
Language:Java
ShaolunWang/lean-mlir
embedding MLIR in LEAN
Language:Lean0 0
ShaolunWang/MicroprocessorVerilog
Language:Verilog1 0
ShaolunWang/NetHack
Official NetHack Git Repository
Language:C
ShaolunWang/nvim
Language:Lua1 0
ShaolunWang/plfa.github.io
An introduction to programming language theory in Agda
ShaolunWang/software-anaylsis-lab
ShaolunWang/SoftwareTesting2021-22
Software Testing Project for 2021-22
Language:Java0 0
ShaolunWang/toy-mlir
Language:C++
ShaolunWang/wezterm
Language:Lua1 0
ShaolunWang/xdsl
A Python Compiler Design Toolkit
Language:Python