Pinned Repositories
aave-liquidator
AI-scripts
Some handy AI scripts
algebra-driven-design
Where I will track my efforts studying Algebra Driven Design.
api_micro
ax_lang
Dependently typed reasoning system for the highly parallel future.
be-elixir-challenge
Backend/Fullstack Engineer Hiring Challenge - Elixir
haskell_road_to_logic_and_math
This is a repo where I will record my progress following along the book Haskell Road to Math, Logic and Programming.
ironlab
mirage-financial
yeetabl
artimath's Repositories
artimath/OmniPlanFocusSync
Mirror OmniPlan tasks in OmniFocus and sync details and completion.
artimath/aave-liquidator
artimath/TicTacToe
A TicTacToe game written in Python.
artimath/api_micro
artimath/patchwork
All the Git-it Workshop completers!
artimath/hello-world