Michael Ballantyne (@michaelballantyne)
github

michaelballantyne

Twitter logo Share LinkedIn logo Share Facebook logo Share

Top repositories

1

faster-minikanren

A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
Scheme
140
star
2

meta-minikanren

A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!
Scheme
21
star
3

syntax-spec

Racket
17
star
4

multiscope

A module language for programming with multiple named scopes, orthogonal to lexical nesting.
Racket
16
star
5

homebrew-chez

Homebrew tap for installing Chez Scheme (https://github.com/cisco/chezscheme)
Ruby
14
star
6

ee-lib

Racket
13
star
7

miniKanren-occurrence-type-inferencer

Scheme
12
star
8

dKanren

Pure miniKanren with fair conjunction by iterative distribution and reduction
Racket
5
star
9

racket-peg-ee

Racket
3
star
10

scheme-workshop-2015

Relational interpreters from our Scheme 2015 talk
Scheme
3
star
11

multiscope2

A module language for programming with multiple named scopes, orthogonal to lexical nesting.
Racket
3
star
12

typed-racket-performance

Racket
2
star
13

genetic-queens

Genetic algorithm solution to the n-queens problem
Python
1
star
14

scope-sets-hygiene-lecture

Mini expander and examples for a lecture on macro hygiene via scope sets
Racket
1
star
15

mk-interp

miniKanren realized as a small step interpreter
Racket
1
star
16

homebrew-vicare

Ruby
1
star
17

rust-gpu

Rust
1
star
18

core-forms

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

macropatterns

Racket
1
star
20

syntax-generic2

Racket
1
star
21

nebo-rkt

Racket
1
star
22

miniNebo

C++
1
star
23

montecarlo-pi

Multithreaded monte carlo calculation of pi
C
1
star
24

syntax-generic

Language forms for generic functions over syntax objects in Racket
Racket
1
star
25

dependency-injection-exercise

Presentation and Java exercise to teach dependency injection
Java
1
star
26

sql-injection-competition

Intentionally vulnerable webapp created for an SQL injection competition
PHP
1
star
27

py-ws-client

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