Rodney Rodriguez, PhD's repositories
ffa-framework
This project is a build script analysis tool that uses file flow analysis and abstract interpretation to approximate possible abstract file structures of build scripts. We can then use these results to ensure successful execution, code transplantation and identify dependency issues.
coronacraft
Coronavirus simulator in Minecraft to promote awareness and social distancing.
Zombie-Survival
Survival game created using Unity3d. It is very similar to Call of Duty's Nazi Zombies.
ffa-analyzer
Analyzer implementation using the File Flow Analysis Framework.
ffa-grammar
ANTLR grammar for the file flow language to be used in the File Flow Analysis project.
ffatoolkit
A project for collection metrics about GitHub repositories using Docker.
filecat
A powerful Go command-line tool designed to simplify the extraction and concatenation of relevant information from code repositories and other structured text sources. This consolidated information can then be used as context for Large Language Models (LLMs) or other text processing tasks.
parallel-project
Parallel Processing group project. Parallelizing collision detection algorithms.
archconfig
Arch Linux scripts and configuration files
brics-automaton
BRICS Finite-state automaton library extended for my File Flow Analysis project.
brics-jsa
Copy of BRICS Java String Analyzer
esm
The EncryptedStringMatcher library provides encrypted string matching functionality, allowing for the comparison of encrypted strings without exposing their plaintext content. It uses homomorphic encryption, specifically the BFV scheme, to allow for string operations in the encrypted domain.
ffa-examples
Analysis client for my file flow analysis project.
github-patches
Concatenates github patches into a single file
litellm
Call all LLM APIs using the OpenAI format. Use Bedrock, Azure, OpenAI, Cohere, Anthropic, Ollama, Sagemaker, HuggingFace, Replicate (100+ LLMs)
python-poetry-template
A template project for a Python application using Poetry for dependency management and pytest for testing.
rodneyxr
Config files for my GitHub profile.
spigot-build
Get a Spigot Minecraft server server running quickly!
systems-programming
Systems Programming (CS 3423.01) Assignments
whisper
Robust Speech Recognition via Large-Scale Weak Supervision
zarf
DevSecOps for Air Gap & Limited-Connection Systems. https://zarf.dev/