Isaac Young's repositories
alfred-font-awesome-workflow
🎩 Font Awesome workflow for Alfred
XORSATFilter
A library for building efficient set-membership filters and dictionaries based on the Satisfiability problem.
atsh
A POSIX compliant shell written in ATS2.
emacs-libvterm
Emacs libvterm integration
spring20
Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020
isicp
Interactive Structure and Interpretation of Computer Programs
emacs
Mirror of GNU Emacs
spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
DCP
Digest, stat, and copy files from one location to another in the same read pass
PowerShell
PowerShell for every system!
ConTeXt-Support-Files
Some .lfg and .mkiv files to configure ConTeXt
smtlibv2-grammar
ANTLR SMT-LIB v2 Grammar
vim-smt2
A VIM plugin that adds support for the SMT-LIB2 format (including Z3's extensions)
emacs-edbi
Database Interface for Emacs Lisp
smtlib-mode
An Emacs major mode to edit and run SMTLIB v2 files