zhao-nan

Pinned Repositories

copilot.el
An unofficial Copilot plugin for Emacs.
Language:Emacs Lisp1.8k 41 221126
element-web
A glossy Matrix collaboration client for the web.
Language:TypeScript11k 224 23.1k2k
ScalaZ3
DSL in Scala for Constraint Solving with Z3 SMT Solver
Language:Scala121 11 3934
TAETS
The Amazing Encoder Test Suite
Language:C++2 3 00
key
KeY Theorem Prover for Deductive Java Verification
Language:Java42 4 3.1k24
key-docs
Documentation for the KeY Theorem Prover
Language:TeX2 9 73
dice
Play dice against the machines!
Language:TypeScript00
dotfiles
Config Files
Language:Emacs Lisp00
GeoPointer
Language:Java0 2 00
vimium
The hacker's browser.
Language:CoffeeScript0 0 00

zhao-nan's Repositories

zhao-nan/dice
Play dice against the machines!
Language:TypeScript00
zhao-nan/dotfiles
Config Files
Language:Emacs Lisp00
zhao-nan/GeoPointer
Language:Java0 2 00
zhao-nan/vimium
The hacker's browser.
Language:CoffeeScript0 0 00