jasonhemann/exec-path-from-shell
Make Emacs use the $PATH set up by the user's shell
Developer Profile
jasonhemann
Discovered public repositories for jasonhemann in the GitHub catalog.
jasonhemann/xform-mk
Strange Loop 2014
jasonhemann/micro-in-mini
an implementation of a microKanren(-like language) in miniKanren
jasonhemann/microKanren-extempore
An implementation of miniKanren over microKanren in extempore
jasonhemann/Roll-Your-Own-Relational-DSL
Lambda Jam 2014: Roll Your Own Relational DSL
jasonhemann/natlogic
Declarative Encoding of Natural and Syllogistic Logics
jasonhemann/lambdastar
The lambdastar macro for currying and beyond
jasonhemann/microKanren
The implementation of microKanren, a featherweight relational programming language
jasonhemann/clpset-miniKanren
CLP(Set) in miniKanren
jasonhemann/lambdajam2013
Code for the interpreters workshop at Lambda Jam 2013
jasonhemann/natlogic-cmodels
Natural Logic Countermodels
jasonhemann/mK-miniKanren-interpreter
a miniKanren interpreter written in miniKanren
jasonhemann/miniKanren
An outdated miniKanren implementation with a not-pairo constraint
jasonhemann/emacs-dev-mods
Just a humble Emacs enthusiast's custom setup.