nrfulton

pittdoggos

Python script for Allegheny County Dog Registration Data

kyxAsLibraryExample

How to use KeYmaera X as a library in a Scala code base.

bicycle_accidents

Bicycle accidents in Allegheny County, 2004 - 2017

jsc

scuba-release

Formal verification of a SCUBA ascent protocol.

vsrl-framework

The Verifiably Safe Reinforcement Learning Framework

ai-card-cutting

Automate debate evidence production with GPT-3.

AirSim

Open source simulator for autonomous vehicles built on Unreal Engine / Unity, from Microsoft AI & Research

bee-agent-framework

blog

Some notes on things I find interesting and important.

clustering.pl

A Perl framework for implementing, visualizing, and evaluating clustering algorithms.

CMUTournament

debate_utils

Nathan's debate utils.

f.lux-indicator-applet

Better lightning for Ubuntu

hackygallery

A very hacky HTML image gallery generator

headerutil

A simple utility for Scala source release workflows.

hyst

HyST: A Source Transformation and Translation Tool for Hybrid Automaton Models

ISRBeamer

Unofficial beamer poster style for the Institute for Software Research

KeYmaeraX-release

KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)

LeanCopilot

LLMs as Copilots for Theorem Proving in Lean

Mass-RMV-Selenium-Script

nrfulton

Config files for my GitHub profile.

OldSchoolLAMP

Dockerfile for an old-school LAMP stack (PHP 5.6, MySQL 5.7.31)

PredatorPrey

predatorPrey

SpaceEx2KeYmaeraX

Very limited SpaceEx -> KeYmaera X converter

stoktreport

The stokt report.

tree-sitter-scala

Scala grammar for tree-sitter

ttvoice

Pulls TrueTime info from Port Authority's web app and produces text that can be spoken.

ultimate-utils

Brando's utils

VerbatimParser

Attempts to extract structured documents from debate files using the Verbatim template.