AHartNtkn
Functional Programmer and Formal Verification Engineer with experience in Haskell and Coq
Heliax
Pinned Repositories
Dependent-Binary-Lambda-Calculus
A Dependently Typed Esolang
Higher-Lambda-Calculus
A prototype for a kind of higher-dimensional lambda calculus
IotaTT
A PTS Supporting Induction
Math-RL
An attempt to create an RL environment so that RL algorithms can do math an logic, treated as a sort of game.
nominal-unification
A python library implementing nominal unification.
odesat
A sat solver that simulates ODEs to solve SAT problems.
pokemon-battle-analysis
A dash app showing off a model for predicting the outcome of pokemon battles.
RMCBend
An implementation of the Relational Machine Calculus in Bend
SICAM
A parallel general purpose computer based on interaction combinators
UniMath-Cubicaltt
A port of the UniMath library into the Cubicaltt language
AHartNtkn's Repositories
AHartNtkn/SICAM
A parallel general purpose computer based on interaction combinators
AHartNtkn/Higher-Lambda-Calculus
A prototype for a kind of higher-dimensional lambda calculus
AHartNtkn/Math-RL
An attempt to create an RL environment so that RL algorithms can do math an logic, treated as a sort of game.
AHartNtkn/nominal-unification
A python library implementing nominal unification.
AHartNtkn/pokemon-battle-analysis
A dash app showing off a model for predicting the outcome of pokemon battles.
AHartNtkn/RMCBend
An implementation of the Relational Machine Calculus in Bend
AHartNtkn/Symmetric-Interaction-Calculus
A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.
AHartNtkn/universal-lambda
An implementation of a universal function using the lambda calculus
AHartNtkn/odesat
A sat solver that simulates ODEs to solve SAT problems.
AHartNtkn/AHartNtkn.github.io
Attempting to make a blog
AHartNtkn/Algorithms
An introduction to algorithmic problem-solving and algorithmic paradigms.
AHartNtkn/Blockchain
AHartNtkn/Computer-Architecture
Computer Architecture
AHartNtkn/Data-Structures
AHartNtkn/DS-Sprint-Notebook-Repo
AHartNtkn/DS-Unit-3-Sprint-3-Productization-and-Cloud
Building a real deployed full-stack application, backed by Data Science
AHartNtkn/FlaskFactor
Flask app that factors numbers
AHartNtkn/Graphs
Graphs, BFS, DFS, connected components
AHartNtkn/Hash-Tables
AHartNtkn/Intro-Python-I
Introduction to Python basics
AHartNtkn/Intro-Python-II
Second part of introduction to Python basics
AHartNtkn/rank-unrank
A javascript library for enumerative combinatorics
AHartNtkn/Sorting
AHartNtkn/Sprint-Challenge--Algorithms
AHartNtkn/Sprint-Challenge--Computer-Architecture
AHartNtkn/Sprint-Challenge--Data-Structures-Python
AHartNtkn/Sprint-Challenge--Hash
AHartNtkn/Sprint-Challenge--Intro-Python
Intro to Python Sprint Challenge
AHartNtkn/unification
AHartNtkn/vamp-ir-mod-less
Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits