jcolivo

Pinned Repositories

DrRacket-themes
DrRacket-themes
Language:Racket1 1 00
mediKanren
Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.
Language:Racket0 0 00
Scientific_FORTH
Create a Scientific FORTH Creative Commons release. Volunteers are gladly welcomed!
Language:TeX0 0 00

jcolivo's Repositories

jcolivo/DrRacket-themes
DrRacket-themes
Language:Racket1 1 00
jcolivo/mediKanren
Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.
Language:Racket0 0 00
jcolivo/Scientific_FORTH
Create a Scientific FORTH Creative Commons release. Volunteers are gladly welcomed!
Language:TeX0 0 00