michaelballantyne/scheme-workshop-2015

Stars
3
Rank 3,950,748 (Top 79 %)
Language
Scheme
Created about 9 years ago
Updated about 9 years ago

michaelballantyne/scheme-workshop-2015

michaelballantyne

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Relational interpreters from our Scheme 2015 talk

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 reduction

racket-peg-ee

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

sql-injection-competition

Intentionally vulnerable webapp created for an SQL injection competition

dependency-injection-exercise

Presentation and Java exercise to teach dependency injection

py-ws-client

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