jcolivo's repositories
DrRacket-themes
DrRacket-themes
mediKanren
Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.
Language:RacketMIT000
Scientific_FORTH
Create a Scientific FORTH Creative Commons release. Volunteers are gladly welcomed!
Language:TeX000