webyrd / tree-automata

Tree-automata-based run-time type constraints for miniKanren

webyrd/tree-automata Stargazers

Alvatar
alvatar
Cheng Kuan
codeck
Yurii Kostyukov
Columpio
dann toliver
dxnn
Andrejs Agejevs
esneko
Karsten Johansson
ksaj
Oleg Prophet
Oregu
Aistis Raulinaitis
sheganinans
David Nolen
swannodette
Victor Borja
vic
William E. Byrd
webyrd
Jeremy Yallop
yallop

Links

ProductDiscover

Data Powerby api.github.com. Remove your profile on the Giters? Go to settings.

Contact Site Admin: Giters.