Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for racket minikanren
minikanren
x
racket
x
2 search results found
Medikanren
⭐
310
Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.
Staged Minikanren
⭐
114
staged relational interpreters: running with holes, faster
Related Searches
Scheme Racket (192)
Language Racket (138)
Racket Lisp (97)
Programming Racket (72)
Python Racket (55)
Javascript Racket (46)
Haskell Racket (46)
Logic Programming Minikanren (9)
Python Minikanren (5)
Racket Rosette (5)
1-2 of 2 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.