There are no reviews yet. Be the first to send feedback to the community and the maintainers!
faster-minikanren
A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.meta-minikanren
A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!syntax-spec
multiscope
A module language for programming with multiple named scopes, orthogonal to lexical nesting.homebrew-chez
Homebrew tap for installing Chez Scheme (https://github.com/cisco/chezscheme)ee-lib
miniKanren-occurrence-type-inferencer
dKanren
Pure miniKanren with fair conjunction by iterative distribution and reductionracket-peg-ee
scheme-workshop-2015
Relational interpreters from our Scheme 2015 talkmultiscope2
A module language for programming with multiple named scopes, orthogonal to lexical nesting.typed-racket-performance
genetic-queens
Genetic algorithm solution to the n-queens problemscope-sets-hygiene-lecture
Mini expander and examples for a lecture on macro hygiene via scope setsmk-interp
miniKanren realized as a small step interpreterhomebrew-vicare
rust-gpu
core-forms
Description of in-progress research on adding programmer-defined core forms to Racket's expandermacropatterns
syntax-generic2
nebo-rkt
miniNebo
syntax-generic
Language forms for generic functions over syntax objects in Racketdependency-injection-exercise
Presentation and Java exercise to teach dependency injectionsql-injection-competition
Intentionally vulnerable webapp created for an SQL injection competitionpy-ws-client
Simple PySide gui for testing soap webservices, based on suds.Love Open Source and this site? Check out how you can help us