jasonhemann Goto Github PK

.emacs.d

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

1pass

A command line interface for 1Password

21fa-cs3800

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

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

22su-cs4400

Summer 2022 UG PL

23fa-cs1114

Fall 2023 Edition of CS1

23fa-cs2123

Public site location of course page.

23sp-cs1114

Spring 2023 Edition of CS1

23sp-cs2126

Spring 2023 edition of Data Structures and Algorithms

24sp-cs1114

CS1114 for Spring 2024

24sp-cs2126

CS2126 Course Development Repo for 24SP

acl2

ACL2 System and Books as Maintained by the Community

artbollocks-mode

Emacs mode for highlighting weasel words

awesome-recursion-schemes

Resources for learning and using recursion schemes.

benchmark-orchid-experiment

Lightly modified version of Orchid's graph traversal program for running timing experiments

bnf-lang

A hosted DSL in miniKanren

call-tel-in-google-hangouts

Fake app to handle tel: links by dialing in Google Hangouts

chatgpt-retrieval-plugin

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

clpset-minikanren

CLP(Set) in miniKanren

constraint-micro-lambda-jam

Constraint microKanren presentation at Lambda Jam

constraint-microkanren

A microKanren framework for implementing constraints.

continuations-study-group

cs-pui.github.io

A resource for CS faculty positions at primarily-undergraduate institutions

cse290q-2019-09

A graduate seminar on SMT solving and solver-aided systems

dependently-typed-lang

A small, dependently-typed language

dired-hacks

Collection of useful dired additions

emacs

My emacs configuration

emacs-1

Mirror of GNU Emacs

emacs-bug-reporting

Some guidelines for reporting bugs in GNU Emacs