Beast code in Giters

Isaac Young's repositories

🎩 Font Awesome workflow for Alfred

Language:TypeScriptMIT000

A POSIX compliant shell written in ATS2.

020

Some .lfg and .mkiv files to configure ConTeXt

MIT020

Digest, stat, and copy files from one location to another in the same read pass

Language:CNOASSERTION010

Mirror of GNU Emacs

Language:Emacs LispGPL-3.0010

Database Interface for Emacs Lisp

Language:Emacs Lisp010

Emacs libvterm integration

Language:CGPL-3.0010

Interactive Structure and Interpretation of Computer Programs

Language:HTMLMIT010

Language:CApache-2.0010

PowerShell for every system!

Language:C#NOASSERTION020

An Emacs major mode to edit and run SMTLIB v2 files

Language:Emacs LispGPL-3.0010

ANTLR SMT-LIB v2 Grammar

Language:SMTMIT010

A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

Language:Emacs Lisp010

Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020

Language:Coq010

A VIM plugin that adds support for the SMT-LIB2 format (including Z3's extensions)

Language:Vim ScriptMIT010

A library for building efficient set-membership filters and dictionaries based on the Satisfiability problem.

Language:CNOASSERTION010