Pinned Repositories
cogent
Cogent Project
GraphEngine
Microsoft Graph Engine
bytecode
Python module to modify bytecode
Columna
A Lightweight Columnar Database in Common Lisp
FATE-Another-Text-Editor
A Text Editor Specialized for Small Touch Screen Devices
fpy
Python module for composing computations
granule
A statically typed linear functional language with graded modal types for fine-grained program reasoning
LICPP
Lisp Flavoured C++
MyRC
My configuration collection
pyttern
Z-Shang's Repositories
Z-Shang/LICPP
Lisp Flavoured C++
Z-Shang/fpy
Python module for composing computations
Z-Shang/ATP
A Naive Automated Theorem Prover in Common Lisp
Z-Shang/pyttern
Z-Shang/Z-Shang.github.io
Z-Shang/Z-Shang
Z-Shang/expl
Z-Shang/vscode-kancolle
Play Kancolle in VS Code
Z-Shang/CILL
Common IR for Lisp
Z-Shang/mongo-python-driver
PyMongo - the Official MongoDB Python driver
Z-Shang/wiredtiger
WiredTiger's source tree
Z-Shang/bytecode
Python module to modify bytecode
Z-Shang/granule
A statically typed linear functional language with graded modal types for fine-grained program reasoning
Z-Shang/Awesome-1
:computer: An awesome & curated list of best applications and tools for Windows.
Z-Shang/cairo-lang
Z-Shang/chadwm
making dwm as beautiful as possible
Z-Shang/CourseraPL-A
Programming Languages, Part A on Coursera by UW (creating a repo to try to keep myself motivated)
Z-Shang/ehdb
800K ExHentai gallery's metadata
Z-Shang/flatsol
Z-Shang/full-service
A MobileCoin service for wallet implementations.
Z-Shang/fvim
Cross platform Neovim front-end UI, built with F# + Avalonia
Z-Shang/KBDParts
3d printed keyboard cases, keycaps and sundries
Z-Shang/mongo-perf-streams
performance tools for mongodb streams
Z-Shang/moshmosh
The TRUE implementation of syntax extensions like pattern matching for Python Programming Language
Z-Shang/nclip
Z-Shang/node
Node.js JavaScript runtime :sparkles::turtle::rocket::sparkles:
Z-Shang/oh-my-zsh
A delightful community-driven (with 1,200+ 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.
Z-Shang/serverless-newrelic-lambda-layers
A Serverless plugin to install New Relic's AWS Lambda layers without requiring a code change.
Z-Shang/SimpleTDP
A simple and native GUI tool for tweaking Ryzen APUs
Z-Shang/ssvm-rs
A simple and stupid VM for learning Rust