Tyler T. Procko

StableDiffusionEndToEndGuide. An end-to-end guide and investigation into Stable Diffusion tooling — SD WebUI, models, LoRAs, and VAEs — for generating synthetic training data for military computer vision models.

awesome-bfo. A curated list of various BFO and BFO-related resources.

machine-learning-ontologies. A dump of ML and ML-related RDF/OWL ontologies.

knowyourmeme.com-Crawler. Java crawler for knowyourmeme.com that derives a meme taxonomy (MEMO ontology), populates it with 10,000+ entries, and performs cluster analysis to identify meme categories.

UpperMartialArtsOntology. An ontology representing the domain of martial arts — Schema.org as the base taxonomy, Bruce Lee's Jeet Kune Do as the lexicon.

ProvTracer. Desktop application for capturing, modeling, and querying AI/ML output provenance using PROV-O and SPARQL; automated capture via multimodal LLM. Built for dissertation research on reproducibility auditing and lineage tracing in defense AI pipelines.

GenerativeAI_and_LinkedData. A survey, experiment report and thought-dump of blending generative AI (e.g., GPT) with Linked Data. Also, stuff on ML workflows, alternatives to GPT and prompting.

WebPostOntology. BFO-inspired content taxonomy ontology (OWL/TTL) for Hooray Media — GPT post classifier, PyLODE docs, versioned Turtle output.

Mandelbrot-Set-Calculation-Optimization-in-Scientific-Python. Optimization of computational performance in scientific Python — NumPy, Numba, Numexpr, Cython, and MPI — applied to NLP vectorization (TF-IDF, Naive Bayes) and Mandelbrot set calculation.

CompTIA-Security-Study-Guides. My collection from over the Web

ai-landscape-digest. Automated AI release digest — aggregates 10+ feeds, deduplicates, and summarizes on login or on a 6-hour cloud cron via GitHub Actions. Works with Ollama, Claude, Codex, or Gemini.

BFO-Wikidata-Classifier. A transformer-based, multi-strategy, hierarchical classification system that maps Wikidata entities to Basic Formal Ontology (BFO) classes via cascading and ensembling NLP/ML techniques.

bert_benchmarking. A comprehensive benchmarking framework for comparing BERT model variants on inference speed, memory efficiency, and model size. Designed for compute-constrained environments and on-premise deployments.

bfobert. A fine-tuning script for DistilBERT that classifies ontology terms as Continuant or Occurrent per Basic Formal Ontology (BFO). Simple, reproducible proof of concept for text-based ontological classification.

C_TextBasedRacingGame. A text-based console racing game in C supporting up to four players.

rails-friends-tutorial. if the heroku link is dead it means heroku isn't free anymore... my following of john elder's codemy rails tutorial from https://www.youtube.com/watch?v=fmyvWz5TUWg&t=56s

bfobuddy. A simple command-line Python tool for bootstrapping ontology development with BFO.

RDF-Prefix-Adder. CLI utility to inject a base prefix into Turtle RDF files — workaround for GraphDB namespace resolution.

htmlcss-tutorial-youtube-clone. hand-written YT clone following https://www.youtube.com/watch?v=G3e-cpL7ofc

RandomDataAnalysisProjects. Pandas and Tableau visualizations on US Census obesity data — analysis by region, age group, and food quality — plus a statistical analysis of World's Strongest Man competitors.

swebok-rebel-rdf. Semi-automated SWEBOK knowledge graph extraction using REBEL seq2seq transformer and spaCy — RDF/OWL output.

OpenAI_Cybersecurity_Grant_Proposal. Compliant cybersec reqs for SW w/ GPT

PR0CK0. Github landing page repo

TilesGame. A fast-paced clicker game in Java.

FAADataChallenge. 2023 FAA Data Challenge — ERAU team entry under Dr. Ochoa; aviation safety data analysis with ML.

ForsenStudy. Internet Anthropology investigation into Forsen and his community.

VxWorksWaterHeater. Real-time simulation of a water heater system in VxWorks C, using semaphores, mutexes, watchdogs, and multithreading.

rtd-test. Read the Docs test/sandbox repo.

PR0CK0.github.io. Terminal-themed portfolio and knowledge graph explorer — React/TypeScript/Vite, driven by a single YAML source file.

EagleListings. Java/MySQL student marketplace for ERAU Daytona — JDBC database interface, custom UI, built as SCRUM master.

CS540_Project. QGIS visualization of sea-level elevation across all parcels in Volusia County, FL — derived from public shapefiles using GIS contour line calculations.

ProtegeTutorials. Dumping things I've learned while using the OWL tool Protege.

SOS-Game-LAN-Capable. LAN-capable 2D board game (SOS) in Java — strict model-view separation, multithreading, and TCP socket connectivity with independently-developed student codebases via a shared serialized interface.

mhw. Java/MySQL application for Monster Hunter: World players — 22 tables, 1500+ game-accurate entries, JDBC integration, and a fully custom UI.

dissenter. A PyPI package implementing a multi-LLM ensemble debate framework. Routes prompts across Claude, GPT, Gemini, Ollama, and any LiteLLM-compatible provider; surfaces disagreements across models and synthesizes a consensus answer.

quizzical. Terminal quiz game for cert exam prep. Beat mode, combo scoring, burning fuse timer. Security+ deck included.

ai-config. Agent config for ontology-driven LLM development. One source, minimal surface, secure by default.

ocsf-visualizer. Simple, browser-based, Cytoscape.js interactive graph view of the Open Cybersecurity Framework.

biomed-paper-extractor. End-to-end biomedical paper analysis: VLM figure digitization + NER. Evaluated against HuggingFace VLMs, Ollama, and cloud providers; SotA NER models including GLiNER, DistilBERT, and spaCy.

health-optimization-knowledge-graph. BFO-aligned, evidence-graded knowledge graph for health optimization interventions. LinkML schema with OWL/RDF and TypeScript targets; MeSH-grounded for RxNorm, SNOMED CT, and GO compatibility. React/Cytoscape.js UI.