Giters
jcolivo

jcolivo

Geek Repo

1

followers

11

following

217

stars

Github PK Tool:Github PK Tool

jcolivo's repositories

DrRacket-themes

DrRacket-themes

Language:RacketStargazers:2Issues:1Issues:0

mediKanren

Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.

Language:RacketLicense:MITStargazers:0Issues:0Issues:0

Scientific_FORTH

Create a Scientific FORTH Creative Commons release. Volunteers are gladly welcomed!

Language:TeXStargazers:0Issues:0Issues:0