tylerhanks
UF Research Assistant interested in type theory, scientific computing, and machine learning.
Florida
Pinned Repositories
A_Star_Project
AI project for path traversal
AlgebraicDynamics.jl
Building dynamical systems compositionally
AlgebraicPetri.jl
Build Petri net models compositionally
AwodeyCT
Formalizing concepts and solving exercises from "Category Theory" by Steve Awodey
Catlab.jl
A framework for applied category theory in the Julia language
CFG-to-PDA-Visualizer
Visualization of Context-Free Grammar to Push Down Automata conversion.
cljess
Chess in ClojureScript
Compologicircuits.jl
Logic circuits compositionally
HuskyEngine
Husky 2D Game Engine
leanear-algebra
Formalizing Sheldon Axler's Linear Algebra Done Right using Lean (Leanear Algebra Done Right).
tylerhanks's Repositories
tylerhanks/AlgebraicDynamics.jl
Building dynamical systems compositionally
tylerhanks/cljess
Chess in ClojureScript
tylerhanks/HuskyEngine
Husky 2D Game Engine
tylerhanks/leanear-algebra
Formalizing Sheldon Axler's Linear Algebra Done Right using Lean (Leanear Algebra Done Right).
tylerhanks/A_Star_Project
AI project for path traversal
tylerhanks/AlgebraicPetri.jl
Build Petri net models compositionally
tylerhanks/AwodeyCT
Formalizing concepts and solving exercises from "Category Theory" by Steve Awodey
tylerhanks/Catlab.jl
A framework for applied category theory in the Julia language
tylerhanks/CFG-to-PDA-Visualizer
Visualization of Context-Free Grammar to Push Down Automata conversion.
tylerhanks/Compologicircuits.jl
Logic circuits compositionally
tylerhanks/ElasticNetTSP.jl
Solving TSP using the elastic net heuristic algorithm
tylerhanks/imgui
Dear ImGui: Bloat-free Immediate Mode Graphical User interface for C++ with minimal dependencies
tylerhanks/LeetPolyIntersector
Find convex polygon intersection in the most leet way possible (Final project for Computational Geometry).