gregr

people machines, not machine people

Toronto, Ontario

Pinned Repositories

dbKanren
Kanren with databases
Language:Racket43 5 25
demo-livingnet
demo of an alternative to the web
Language:Racket7 3 00
dKanren
miniKanren variant with a functional syntax, expressing disjunction via pattern matching
Language:Racket16 4 03
experiments
a steady descent into madness
Language:Racket16 4 13
first-order-miniKanren
miniKanren with a first-order representation of the search space
Language:Racket169
icfp2017-artifact-auas7pp
ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems
Language:Scheme28 7 19
ina
experimental computational medium and supporting tools
Language:Scheme22 9 00
racket-misc
miscellaneous racket utilities that I find useful
Language:Racket10 3 02
tutorial-relational-interpreters
One Weird Trick: Relational Interpreters for Program Synthesis
Language:Racket6 2 01
vbox
some basic scripting of virtualbox
Language:Shell4 2 00

gregr's Repositories

gregr/dbKanren
Kanren with databases
Language:Racket43 5 25
gregr/icfp2017-artifact-auas7pp
ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems
Language:Scheme28 7 19
gregr/ina
experimental computational medium and supporting tools
Language:Scheme22 9 00
gregr/dKanren
miniKanren variant with a functional syntax, expressing disjunction via pattern matching
Language:Racket16 4 03
gregr/experiments
a steady descent into madness
Language:Racket16 4 13
gregr/first-order-miniKanren
miniKanren with a first-order representation of the search space
Language:Racket169
gregr/racket-misc
miscellaneous racket utilities that I find useful
Language:Racket10 3 02
gregr/demo-livingnet
demo of an alternative to the web
Language:Racket7 3 00
gregr/tutorial-relational-interpreters
One Weird Trick: Relational Interpreters for Program Synthesis
Language:Racket6 2 01
gregr/vbox
some basic scripting of virtualbox
Language:Shell4 2 00
gregr/elm-goban
tools for go/igo/weiqi/baduk using elm
Language:Elm2 2 0
gregr/old-and-miscellaneous
several piles of garbage for the price of one
Language:Python2 2 0
gregr/chive
chive programming language implementation
Language:Python1 2 0
gregr/gregr.github.io
where I pretend that I know how to design a website
Language:Racket1 2 0
gregr/Barliman
Prototype smart text editor
Language:Scheme2 0
gregr/boto
Python interface to Amazon Web Services
Language:Python2 0
gregr/config
basic dotfile and package setup
Language:Perl2 0
gregr/gitistics
some simple git stats
Language:Python3 0
gregr/iracket
IPython/Jupyter kernel for Racket and Gamble.
Language:Racket2 0
gregr/miniKanren_org-website
Files for the miniKanren.org website. If you would like to update the site, please do so and send a pull request!
Language:HTML0 0
gregr/presentations
This is a collection of talks I've given. Expect them to be terrible.
Language:Shell3 0
gregr/python-misc
miscellaneous python utilities that I find useful
Language:Python2 0
gregr/racket
The Racket repository
gregr/small-demos
Small demonstrations
Language:Racket2 0
gregr/starscape
a long time ago in a mindset far, far away....
Language:C++2 0
gregr/text-go
because you like playing go in a terminal
Language:Haskell2 0
gregr/translator-testing-framework
A testing framework for Translator using tests written in Behave
Language:Gherkin1 0
gregr/uriel
a python learning project
Language:Python2 0
gregr/vim-conque-repl
Commands/mappings for easily working with REPL processes through ConqueShell
Language:Vim Script2 0