Up-to-date version of labs for ISLP

Visual Studio Code Colour Scheme for Sublime

SeaHorn Verification Framework

Shared Pkl packages

Pkl bindings for the Go programming language

Examples for using Pkl within Go applications

MAS.S62 Spring 2018 course website

A free, open source, PHP-based simple discussion forum. It favours removing barriers to conversation rather than massaging egos. Download Here: https://github.com/Kroc/NoNonsenseForum/archive/maste…

Make typesetting LaTeX as fast as handwriting through snippets, text expansion, and editor enhancements

HyperSnips: a powerful snippet engine for VS Code, inspired by vim's UltiSnips

✍️ A way to integrate LaTeX, VS Code, and Inkscape in macOS

Inkscape figure manager

PDFio is a simple C library for reading and writing PDF files.

Add "Table of Contents" to existing pdf files.

A CLI toolset to generate table of contents for PDF files automatically.

A set of type stubs for popular Python packages. These are works in progress from the Microsoft Python team and others, with the intent that they are contributed to typeshed or to the associated pa…

Embedded TCP/IP network stack with embedded web server, Websocket, and MQTT client

ECE 252: Systems Programming and Concurrency

Systems Programming and Concurrency Lab

Sioyek is a PDF viewer with a focus on textbooks and research papers

iMac G3 IVAD board initialization with an arduino

Official Winehq macOS Packages

Homebrew formulas for buildling a valid GCC toolchain for the i386-elf target.

.gitignore cheat sheet

Supporting material for my blog post series on writing a web application from scratch in Python.

Python Development Workflow for Humans.

Simple Python version management