michaelballantyne/miniKanren-occurrence-type-inferencer

Stars
12
Rank 1,597,372 (Top 32 %)
Language
Scheme
Created over 9 years ago
Updated over 9 years ago

michaelballantyne/miniKanren-occurrence-type-inferencer

michaelballantyne

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

dKanren

Pure miniKanren with fair conjunction by iterative distribution and reduction

racket-peg-ee

scheme-workshop-2015

Relational interpreters from our Scheme 2015 talk

multiscope2

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 problem

scope-sets-hygiene-lecture

Mini expander and examples for a lecture on macro hygiene via scope sets

mk-interp

miniKanren realized as a small step interpreter

homebrew-vicare

rust-gpu

core-forms

Description of in-progress research on adding programmer-defined core forms to Racket's expander

macropatterns

syntax-generic2

nebo-rkt

miniNebo

montecarlo-pi

Multithreaded monte carlo calculation of pi

syntax-generic

Language forms for generic functions over syntax objects in Racket

dependency-injection-exercise

Presentation and Java exercise to teach dependency injection

sql-injection-competition

Intentionally vulnerable webapp created for an SQL injection competition

py-ws-client

Simple PySide gui for testing soap webservices, based on suds.