Tyler Hanks's repositories
AlgebraicDynamics.jl
Building dynamical systems compositionally
CFG-to-PDA-Visualizer
Visualization of Context-Free Grammar to Push Down Automata conversion.
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
AwodeyCT
Formalizing concepts and solving exercises from "Category Theory" by Steve Awodey
Language:Lean000
Catlab.jl
A framework for applied category theory in the Julia language
Language:JuliaMIT000
Compologicircuits.jl
Logic circuits compositionally
Language:Jupyter NotebookApache-2.0000
ElasticNetTSP.jl
Solving TSP using the elastic net heuristic algorithm
Language:Julia000
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