Pinned Repositories
FormalViz
An interactive web application that provides visual tools for exploring fundamental computer science concepts, including lambda calculus, relational algebra, and Datalog.
BookmarkdSWEProject
Repository for our book logging project: Bookmarkd. Software Engineering Fall 2025 Project
predicting-house-values
ZIP-Level Home Value Growth Prediction using Random Forest, KNN, and Decision Tree models
Team-Rocket-Research
CoSEA-Dash
An interactive visualization tool for analyzing Computer Science education access across Georgia High Schools.
datalog
employee-management-system
Java-based employee management system with MySQL integration
FoodSymptoms
Lambda-Engine
Tool for visualizing and evaluating lambda calculus expressions. It features an interactive tree view, allowing users to perform beta reductions and arithmetic operations step-by-step.
linnerlek
linnerlek's Repositories
linnerlek/FoodSymptoms
linnerlek/FormalViz
An interactive web application that provides visual tools for exploring fundamental computer science concepts, including lambda calculus, relational algebra, and Datalog.
linnerlek/linnerlek
linnerlek/CoSEA-Dash
An interactive visualization tool for analyzing Computer Science education access across Georgia High Schools.
linnerlek/portfolio-website
linnerlek/RA-Viz
Relational Algebra Visualizer which allows Relational Algebra queries to be executed on a sqlite3 database.
linnerlek/nsf_cosea
Analysis of CS enrollment in GA High Schools
linnerlek/datalog
linnerlek/predicting-house-values
ZIP-Level Home Value Growth Prediction using Random Forest, KNN, and Decision Tree models
linnerlek/employee-management-system
Java-based employee management system with MySQL integration
linnerlek/Lambda-Engine
Tool for visualizing and evaluating lambda calculus expressions. It features an interactive tree view, allowing users to perform beta reductions and arithmetic operations step-by-step.
linnerlek/OS-Project
Process Scheduling Simulator demonstrating how an operating system schedules processes using different CPU scheduling algorithms.
linnerlek/PySetGo
PySetGo automates the setup of a complete Python coding environment, eliminating manual installation and configuration for educators and students.