Jason Hemann

microKanren. The implementation of microKanren, a featherweight relational programming language

miniKanren. An outdated miniKanren implementation with a not-pairo constraint

micro-in-mini. an implementation of a microKanren(-like language) in miniKanren

constraint-microKanren. A microKanren framework for implementing constraints.

Roll-Your-Own-Relational-DSL. Lambda Jam 2014: Roll Your Own Relational DSL

microKanren-DLS-16. microKanren implementation from DLS '16

lambdajam2013. Code for the interpreters workshop at Lambda Jam 2013

microKanren-shen. An implementation of microKanren in Shen

natlogic. Declarative Encoding of Natural and Syllogistic Logics

small-micro-w-disequality. An early exploration of a "microKanren style" of constraints.

2024-scheme-workshop-tutorial. Racket

lambdastar. The lambdastar macro for currying and beyond

xform-mk. Strange Loop 2014

novel-miniKanren-synthesis-tasks. Examples and code repository to accompany Hemann & Friedman 2020 mKW paper

constraint-micro-lambda-jam. Constraint microKanren presentation at Lambda Jam

dependently-typed-lang. A small, dependently-typed language

microKanren-extempore. An implementation of miniKanren over microKanren in extempore

tfp-2023. tfp-version-of-conj-disj

jot-code. jot code of various flavors

mK-miniKanren-interpreter. a miniKanren interpreter written in miniKanren

wrap-region.el. Emacs minor mode to wrap region with tag or punctuations

21FA-CS4400. My remote version for CS4400, here as long as the CCS Github isn't working

22FA-CSAS4117. Fall 22 version of CSAS 41117

21FA-CS3800. My remote version for CS3800, here as long as the CCS Github isn't working

multiple-of-threeo. A set of relations to determine if a miniKanren number is a multiple of three.

chatgpt-retrieval-plugin. The ChatGPT Retrieval Plugin lets you easily find personal or work documents by asking questions in natural language.

prolog-book-solutions. Declarative Prolog solutions to exercises from various introductory Prolog texts

pda. Push Down Automaton implementation in Racket

.emacs.d. My live .emacs.d lisp code available as a learning tool

relational-quasiquote-unquote. Implementing a relational interpreter with quasiquote and unquote

emacs. My emacs configuration

mk-search-w-continuations. Continuation-based implementation of miniKanren search

micro-semantics. Repository for kanren semantics work