Anthony Hart
Software Engineer at Heliax
Spokane Valley, Washington, United States
Summary
🤩
Rockstar🎓
Top SchoolAnthony Hart is a software engineer with 12 years of experience blending functional programming, formal verification, and data science to build provably correct systems and experimental languages. Comfortable across Haskell, Coq, Agda, Rust, Elixir and Python, he has applied these skills to ZK circuit frameworks, formally verified smart contract stacks, and ML-inflected tooling for decentralized protocols. His work ranges from prototyping in Mathematica to shipping production components like Vamp-IR and contributing to Metamath and other formal-math repositories. Anthony pursues extensional and dependent type-theory designs (inspired by Cedille and PRLs) and often implements languages that can serve as foundations for mathematics. Based in Spokane Valley, he combines research-oriented problem solving with hands-on engineering aimed at automating mathematics and advancing ML applications.
12 years of coding experience
2 years of employment as a software developer
Associate of Science - AS Mathematics, Associate of Science - AS Mathematics at Glendale Community College
Github Skills (71)
feature-engineering10
p2p10
operating-system10
model-compression10
hyperparameter-tuning10
rust10
neural-architecture-search10
erlang10
elixir10
distributed-systems10
nas10
protocols10
automated-machine-learning10
consensus10
reference-implementation10
Programming languages (17)
Github contributions (5)
AHartNtkn/AHartNtkn.github.io
Aug 2019 - Jun 2026
Attempting to make a blog
Contributions:14 PRs, 427 pushes, 4 branches in 6 years 11 months
typescript
AHartNtkn/Higher-Lambda-Calculus
Dec 2017 - Sep 2020
Contributions:54 commits, 2 PRs, 47 pushes in 2 years 9 months
calculuslambda-calculusdimensionalprototypelambda
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.