-
Embry-Riddle Aeronautical University / Air Force Research Laboratory
- Florida
- procko.pro
- https://orcid.org/0000-0002-7801-0124
- in/tylerprocko
Lists (1)
Sort Name ascending (A-Z)
Stars
Paperclip — search, read, and analyze 8M+ biomedical papers from the command line
ClawSweeper scans all issues and PRs and suggest what we can close, and why. It runs every PR / Issue once a week.
🪨 why use many token when few token do trick — Claude Code skill that cuts 65% of tokens by talking like caveman
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.
Terminal-themed portfolio and knowledge graph explorer — React/TypeScript/Vite, driven by a single YAML source file.
The best-benchmarked open-source AI memory system. And it's free.
An open-source long-horizon SuperAgent harness that researches, codes, and creates. With the help of sandboxes, memories, tools, skill, subagents and message gateway, it handles different levels of…
AI agents running research on single-GPU nanochat training automatically
CLI proxy that reduces LLM token consumption by 60-90% on common dev commands. Single Rust binary, zero dependencies
Fully automatic censorship removal for language models
Agent config for ontology-driven LLM development. One source, minimal surface, secure by default.
Terminal quiz game for cert exam prep. Beat mode, combo scoring, burning fuse timer. Security+ deck included.
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.
Java/MySQL student marketplace for ERAU Daytona — JDBC database interface, custom UI, built as SCRUM master.
Java/MySQL application for Monster Hunter: World players — 22 tables, 1500+ game-accurate entries, JDBC integration, and a fully custom UI.
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.
PR0CK0 / PornBlock
Forked from blocklistproject/ListsSimple porn blocker of my own derivation, on top of the porn list from https://github.com/blocklistproject/Lists
Markdown Cheatsheet for Github Readme.md
QGIS visualization of sea-level elevation across all parcels in Volusia County, FL — derived from public shapefiles using GIS contour line calculations.
Dumping things I've learned while using the OWL tool Protege.
An ontology representing the domain of martial arts — Schema.org as the base taxonomy, Bruce Lee's Jeet Kune Do as the lexicon.
PR0CK0 / koka
Forked from koka-lang/kokaKoka language compiler and interpreter
The Common Core Ontology Repository holds the current released version of the Common Core Ontology suite.
A simple command-line Python tool for bootstrapping ontology development with BFO.
A dump of ML and ML-related RDF/OWL ontologies.
A curated list of various BFO and BFO-related resources.
CLI utility to inject a base prefix into Turtle RDF files — workaround for GraphDB namespace resolution.
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
hand-written YT clone following https://www.youtube.com/watch?v=G3e-cpL7ofc
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.