Pinned Repositories
constraint-microKanren
A microKanren framework for implementing constraints.
lambdajam2013
Code for the interpreters workshop at Lambda Jam 2013
micro-in-mini
an implementation of a microKanren(-like language) in miniKanren
microKanren
The implementation of microKanren, a featherweight relational programming language
microKanren-DLS-16
microKanren implementation from DLS '16
microKanren-shen
An implementation of microKanren in Shen
miniKanren
the most up-to-date mK implementation
natlogic
Declarative Encoding of Natural and Syllogistic Logics
Roll-Your-Own-Relational-DSL
Lambda Jam 2014: Roll Your Own Relational DSL
small-micro-w-disequality
An early exploration of a "microKanren style" of constraints.
jasonhemann's Repositories
jasonhemann/22FA-CSAS4117
Fall 22 version of CSAS 41117
jasonhemann/23SP-CS2126
Spring 2023 edition of Data Structures and Algorithms
jasonhemann/chatgpt-retrieval-plugin
The ChatGPT Retrieval Plugin lets you easily find personal or work documents by asking questions in natural language.
jasonhemann/emacs
My emacs configuration
jasonhemann/jasonhemann.github.io
Personal Website
jasonhemann/multiple-of-threeo
A set of relations to determine if a miniKanren number is a multiple of three.
jasonhemann/tfp-2023
tfp-version-of-conj-disj
jasonhemann/wrap-region.el
Emacs minor mode to wrap region with tag or punctuations
jasonhemann/minikanren-ee
jasonhemann/22SU-CS4400
Summer 2022 UG PL
jasonhemann/23FA-CS1114
Fall 2023 Edition of CS1
jasonhemann/23FA-CS2123
Public site location of course page.
jasonhemann/23SP-CS1114
Spring 2023 Edition of CS1
jasonhemann/24SP-CS1114
CS1114 for Spring 2024
jasonhemann/24SP-CS2126
CS2126 Course Development Repo for 24SP
jasonhemann/artbollocks-mode
Emacs mode for highlighting weasel words
jasonhemann/cs-pui.github.io
A resource for CS faculty positions at primarily-undergraduate institutions
jasonhemann/dired-hacks
Collection of useful dired additions
jasonhemann/Fish
a software competition framework
jasonhemann/fsm
A Library for the Automata Theory Classroom
jasonhemann/htdp
jasonhemann/Idris2
A purely functional programming language with first class types
jasonhemann/minimal-mistakes
:triangular_ruler: Jekyll theme for building a personal site, blog, project documentation, or portfolio.
jasonhemann/monorepo
Scheme.org community subdomains that don't have their own repo
jasonhemann/nsf-proposal-latex
An NSF proposal template in LaTeX
jasonhemann/org-ac
Provide auto-complete sources for org-mode.
jasonhemann/pcminer
PC-miner tool for program chairs
jasonhemann/racket
The Racket repository
jasonhemann/syntax-spec
jasonhemann/update-everything
A little script for programmatically updating lots of things on my laptop