Pinned Repositories
you-only-randomize-once
Code for the FDG 2024 paper "Shaping Statistical Properties in Constraint-based Procedural Content Generation"
SATan
A modern SAT solver in Haskell
dotfiles
My configs for zsh and friends on WSL.
dots-and-boxes
Economy-Simulation
A Java simulation of a simple closed economy with households, firms, a bank, and a government. A log of all purchases, taxes, deposits, and withdrawals is written to a text file.
Cashier-Queues
A simulation of several cashiers at a store who serve customers with a number of items to check out. Cashiers have different speeds, and customers will switch queues in accordance with the selected switching algorithm. Program is multithreaded and has a GUI.
Gnomenwald-Directed-Graphs
A multithreaded Java simulation of gnomes moving along roads between a series of villages, represented as a strongly connected directed graph. Uses Prim's algorithm, Dijkstra's algorithm, and Kahn's algorithm for their respective purposes.
Traffic-Simulation
A text-based program dealing with graph theory - simulates a network of roads and intersections. Different types of vehicles (with different properties) travel across these roads to reach their destinations.
bake
A simple `make` clone
blog
A tenuous connection to the outside
jediahkatz's Repositories
jediahkatz/you-only-randomize-once
Code for the FDG 2024 paper "Shaping Statistical Properties in Constraint-based Procedural Content Generation"
jediahkatz/dotfiles
My configs for zsh and friends on WSL.
jediahkatz/draw-a-constraint-puzzle
Draw a mockup of a constraint-based logic puzzle, and generate a Python program to solve it with AI
jediahkatz/pixel-friends
jediahkatz/constraint_pcg
jediahkatz/matrix4-sandbox
jediahkatz/mta-portal
Setup a screen at home to know when the subway is coming
jediahkatz/blog
A tenuous connection to the outside
jediahkatz/dots-and-boxes
jediahkatz/generative-design
Code package of the book: Generative Design – Creative Coding for the Web with JavaScript in p5.js
jediahkatz/the-office-script-analysis
jediahkatz/course-planning-constraint-program
jediahkatz/wfc_2019f
jediahkatz/bake
A simple `make` clone
jediahkatz/or-tools
Google's Operations Research tools:
jediahkatz/SATan
A modern SAT solver in Haskell
jediahkatz/mongo
The MongoDB Database
jediahkatz/extrakto
tmux clipboard copy and output completions
jediahkatz/tmux-battery
Plug and play battery percentage and icon indicator for Tmux.
jediahkatz/ts-boilerplate
Dead simple monorepo boilerplate web project designed to take you from Git Cloning to Heroku Deployment in less 5 minutes. 🚀🤩
jediahkatz/raytracer-in-one-weekend
https://raytracing.github.io/books/RayTracingInOneWeekend.html in Rust
jediahkatz/Processing-Game-Server
An easy-to-use server for creating multiplayer games, without worrying about data parsing, concurrency issues, or client-side filtering
jediahkatz/Outlaw-Game-Analysis
An analysis of a chance game using frequentist and Bayesian methods.
jediahkatz/ProgressBars-for-Processing
Library for easily creating animated progressbars in Processing.
jediahkatz/Cashier-Queues
A simulation of several cashiers at a store who serve customers with a number of items to check out. Cashiers have different speeds, and customers will switch queues in accordance with the selected switching algorithm. Program is multithreaded and has a GUI.
jediahkatz/Traffic-Simulation
A text-based program dealing with graph theory - simulates a network of roads and intersections. Different types of vehicles (with different properties) travel across these roads to reach their destinations.
jediahkatz/Sorting-Visualizations-Processing
A program in Processing that sorts a list using selection sort, insertion sort, mergesort, or quicksort. It uses multithreading to display the values as white bars, which are seen being sorted in real time.
jediahkatz/Django-Bookstore-Test
A Django program based on the instructions from an online course. Learning the fundamentals of Django & deployment through Heroku.
jediahkatz/Travelling-Salesman-Demo
A program in Processing that brute-force solves the Travelling Salesman problem over a set of points provided by the user. The program calculates the number of possible routes and estimates the time it will take to solve the problem. The user sees the problem being solved in real time (with a settable delay), as each route is displayed on-screen.
jediahkatz/TicTacToe-AI
A singleplayer game of Tic Tac Toe in Python, played against an AI using the minimax algorithm.