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