Pinned Repositories
AMLH
Abstract Machine of simp typed Lambda calculus over HOL logic
binaryen.cr
Crystal binding for binaryen, WIP
BookStore
一个简单的。。
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.
phi-system
Uniswap_v
xqyww123's Repositories
xqyww123/Uniswap_v
xqyww123/phi-system
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/AMLH
Abstract Machine of simp typed Lambda calculus over HOL logic
xqyww123/BookStore
一个简单的。。
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/HOL
Qiyuna specified HOL.
xqyww123/libsm2
A library for public key cryptographic algorithm SM2.
xqyww123/MemNet
A memory network
xqyww123/mlmsgpack
ML-MessagePack: MessagePack implementation for Standard ML (SML) / msgpack.org[SML]
xqyww123/msgpack-crystal
MessagePack implementation in Crystal msgpack.org[Crystal]
xqyww123/NanoFontGenerator
A Generator to produce Nano like font or symbol
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/srii
Scatter Router version II : a router and network manager to transparentize NAT and sub-network.
xqyww123/WebFestval_ClientLib
The Client lib of web festval
xqyww123/zhame
zh - name, give everything a name
xqyww123/zju_blue