Sam Miller's Projects
ACE and TAO
Transform Alloy models into C# models to be used with the Microsoft official ORM, Entity Framework
Example notebooks that show how to apply quantum computing in Amazon Braket.
Workshop demonstrating the use of Amazon Comprehend Medical to extract clinical entities from unstructured text and map them to FHIR resources.
https://aws.amazon.com/getting-started/hands-on/build-react-app-amplify-graphql/
Hands on labs and code to help you learn, measure, and build using architectural best practices.
Learn how to combine Checkout and Billing for fast subscription pages
Cloud Adoption Patterns Book
Container Image for Azure Cloud Shell (https://azure.microsoft.com/en-us/features/cloud-shell/)
Prove theorems in Coq by extracting lemmas at failure points. Also contains tools for parsing Coq files and fine-tuning LLMs.
Cosette is an automated SQL solver.
Coyote is a library and tool for testing concurrent C# code and deterministically reproducing bugs.
CS6381 Vanderbilt 2U Distributed Systems Programming Assignment #1
Port of John De Goes 1996 3d Game Engine to Apple's Metal Framework. WIP.
The accompanying files for the book 'Dataviz with Python and JavaScript'
Ansible playbooks for Flamenco Server deployment
A step-by-step guide for installing the Flamenco Server for Blender
A framework for the elicitation, specification, formalization and understanding of requirements.
An educational AI robot based on NVIDIA Jetson Nano.
Java interface for the Sony Move.Me api.