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