Geeks
jfeser
/
castor
Deductive synthesis and compilation of specialized databases.
Primary Language
OCaml
MIT License
MIT
castor GitHub
Markdown
Readme
0
Issues
12
Stargazers
7
Watchers
Stargazers
andreypopp
@mechanize-systems
barko
delneg
@Bearle
dinosaure
Around the world ...
idkjs
@_idkjs
ikuraj
CSAIL MIT, EPFL
kamil-adam
writeonly.pl
mseri
Rijksuniversiteit Groningen
qiyanghe1998
Purdue University
smondet
New York, NY
smorimoto
@ocaml @tc39
timothyklim