nickgildea

nickgildea

👤 Developer

2 repositories on SrcLog

View on GitHub
2 Repos
127 Stars
19 Forks
127 Watchers

Repositories (2)

leven nickgildea/leven C++

Complete source for my experimental voxel engine

101
z3_codegen nickgildea/z3_codegen C++

A toy code generator (i.e. "program synthesis") using the Z3 solver

26