castor. Deductive synthesis and compilation of specialized databases.

github.com/jfeser/castor
by @jfeser

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.