Tyler Hanks's repositories
AlgebraicDynamics.jl
Building dynamical systems compositionally
HuskyEngine
Husky 2D Game Engine
leanear-algebra
Formalizing Sheldon Axler's Linear Algebra Done Right using Lean (Leanear Algebra Done Right).
A_Star_Project
AI project for path traversal
Language:Python000
AlgebraicPetri.jl
Build Petri net models compositionally
Language:JuliaMIT000
Catlab.jl
A framework for applied category theory in the Julia language
Language:JuliaMIT000
CFG-to-PDA-Visualizer
Visualization of Context-Free Grammar to Push Down Automata conversion.
Language:HTML000
Compologicircuits.jl
Logic circuits compositionally
ElasticNetTSP.jl
Solving TSP using the elastic net heuristic algorithm
imgui
Dear ImGui: Bloat-free Immediate Mode Graphical User interface for C++ with minimal dependencies
Language:C++MIT000
LeetPolyIntersector
Find convex polygon intersection in the most leet way possible (Final project for Computational Geometry).
Language:Python000