Engineering process tool. Project management and operations facilitation.

A fork of John Franco's excellent course on Cryptol/SAW, esp. for hardware verification.

Specifications of cryptographic algorithms in Cryptol

Dynamically discover the commands used to create a piece of software

Cryptol: The Language of Cryptography

Script of Scripts extension for Jupyter SysMLv2

System for verifying the correctness of generated Copilot programs

Experimental translation between AADL and SysMLv2

Speeduino - Arduino based engine management

Prometheus SDK for CircuitPython/MicroPython boards

Prometheus instrumentation library for Python applications

graph and drawing algorithms framework

ArduPlane, ArduCopter, ArduRover source

Smith, Myers, Kaplan and Goodman-Strauss's aperiodic monotile, in a variety of formats

WorldPainter is an interactive graphical map generator for the indie game Minecraft.

Design for a Lock for the Door to My Kids' Fort

Guidance, documentation, and test results for tactile generation

JKind - An infinite-state model checker for safety properties in Lustre

Official source code of FreeCAD, a free and opensource multiplatform 3D parametric modeler.

simple chapter collation tool

The Open Scheduling and Planning Interface for Exploration (OpenSPIFe) is an integrated planning and scheduling toolkit based on hundreds of hours of expert observation, use, and refinement of stat…

FAPE (Flexible Acting and Planning Environment) is a constraint-based planner for the ANML language.

FACE AADL Annex

A native macOS KeePass client

The most popular mind mapping software

This is the repository for Architectural Modeling and Analysis for Safety Engineering (AMASE).