He Xiang-zhi's repositories
cl-ctrie
lock-free, concurrent, key/value index with efficient memory-mapped persistence and fast transient storage models
000
cl-isaac
Optimized Common Lisp version of Bob Jenkins' ISAAC-32 and ISAAC-64 algorithms, fast cryptographic random number generators.
NOASSERTION000
green-threads
A lightweight thread / cooperative multitasking library for Common Lisp.
NOASSERTION000
Racer
Racer is a knowledge representation system that implements a highly optimized tableau calculus for the description logic SRIQ(D).
NOASSERTION000
react-native-guide
React Native指南汇集了各类react-native学习资源、开源App和组件
000
sicp
HTML5/EPUB3 version of SICP
NOASSERTION000
weir
A system for making generative systems
NOASSERTION000