John L. Singleton

latex-preview-pane. Makes LaTeX editing less painful by providing a updatable preview pane

multi-tenant-angular. TypeScript

cam. Haskell implementation of the categorical abstract machine

Verily. Verily is a web framework for creating continuously verified applications

spekl-package-manager. Spekl is a system designed to make the specification authoring lifecycle easier.

confluence-command-line. Python

smartbase. Ada

phosphor. Phosphor: Dynamic Taint Tracking for the JVM

mnist-stroke-data. Stroke-based data for the MNIST dataset.

vscode-js-profile-visualizer. A custom editor for viewing `.cpuprofile` files in VS Code

DefinitelyTyped. The repository for high quality TypeScript type definitions.

TypeScript. TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

strongarm. Tool for extracting strongest postconditions from Java programs

bb-runtimes. Source repository for the GNAT Bare Metal BSPs

smartbase-stm. Ada

ocam. OCaml implementation of the categorical abstract machine

codeql-coding-standards. This repository contains CodeQL queries and libraries which support various Coding Standards.

hacker-movie-master-list. The master list of hacker movies - the cheesier, the better. Realism not necessary.

LaTeX-Workshop. AIO LaTeX extension for VSCode to preview, compile, hint, and more.

esp-idf. Espressif IoT Development Framework. Official development framework for ESP32.

codeql. CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security (code scanning), LGTM.com, and LGTM Enterprise

one-click-hugo-cms. CSS

vscode-codeql. An extension for Visual Studio Code that adds rich language support for CodeQL

OpenJDK. Java

clj-jgit. Clojure wrapper around JGit

CPT. C#

OpenJML-Release-Test.

decision-tree-classifier. Haskell

VerilyIdeaPlugin. Plugin for IdeaIntelliJ 12+ that supports Verily

erljob. An embedded project of mine. I took a small Arm-Based computer and made a sonic garage door opener out of it with Erlang and Matlab.

test-a.

spekl-server. Java