Pinned Repositories
auto_sledgehammer
This Isabelle session provides a smart tactic that wraps Sledgehammer
binaryen.cr
Crystal binding for binaryen, WIP
bridge.cr
[WIP] A cross-protocol and cross-serialization RPC framework, designed for easiness, simpleness and performance.
CProgrammingLanguage
The Programming Basic Test course in ZJU
CrystalGrow
Just a interest program.
Isa-Proof-Shell
A proof assistant adapter designed for machine learning
Isa-REPL
Isabelle REPL
phi-system
Uniswap_v
xqyww123's Repositories
xqyww123/Isa-REPL
Isabelle REPL
xqyww123/Isa-Proof-Shell
A proof assistant adapter designed for machine learning
xqyww123/Uniswap_v
xqyww123/phi-system
xqyww123/auto_sledgehammer
This Isabelle session provides a smart tactic that wraps Sledgehammer
xqyww123/bridge.cr
[WIP] A cross-protocol and cross-serialization RPC framework, designed for easiness, simpleness and performance.
xqyww123/CrystalGrow
Just a interest program.
xqyww123/CProgrammingLanguage
The Programming Basic Test course in ZJU
xqyww123/binaryen.cr
Crystal binding for binaryen, WIP
xqyww123/bridge.rb
Ruby client for [`bridge`](https://github.com/xqyww123/bridge.cr), a rpc framework for crystal.
xqyww123/coffe_client
A client of rfc 2324 (Hyper Text Coffee Pot Control Protocol (HTCPCP/1.0)) for linux
xqyww123/crystal
The Crystal Programming Language
xqyww123/crystal-sha3
An SHA-3 implementation written in Crystal.
xqyww123/gitignore
A collection of useful .gitignore templates
xqyww123/libsm2
A library for public key cryptographic algorithm SM2.
xqyww123/mlmsgpack
ML-MessagePack: MessagePack implementation for Standard ML (SML) / msgpack.org[SML]
xqyww123/msgpack-crystal
MessagePack implementation in Crystal msgpack.org[Crystal]
xqyww123/phi-system-html
a gallery to place [phi-system](https://github.com/xqyww123/phi-system) demos
xqyww123/protobuf.cr
Protobuf generator, encoder and decoder.
xqyww123/qiyuan.github.io
CV