David.Gao's starred repositories
type-systems
Implementations of various type systems in OCaml.
camaleon-cms
Camaleon CMS is a dynamic and advanced content management system based on Ruby on Rails
Gruvbox-GTK-Theme
A GTK theme based on the Gruvbox colour palette.
zarr-specs
Zarr core protocol for storage and retrieval of N-dimensional typed arrays
golgotterath
An experimental isometric game engine written in Pharo Smalltalk.
Box2DLiteForPharo
A port of Box2D Lite to Pharo Smalltalk
cl-linux-queue
common-lisp mailbox use linux c function, wraps msgget msgsnd msgrcv.
cl-http-message
This package is used for preliminary parsing and generation of http messages
sb-socket-network
use sbcl socket to make fast network
turbo-octo-dollop
A simple CV PDF generator in F#