AHartNtkn

SICAM

A parallel general purpose computer based on interaction combinators

Higher-Lambda-Calculus

A prototype for a kind of higher-dimensional lambda calculus

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.

pokemon-battle-analysis

A dash app showing off a model for predicting the outcome of pokemon battles.

Symmetric-Interaction-Calculus

A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.

universal-lambda

An implementation of a universal function using the lambda calculus

odesat

A sat solver that simulates ODEs to solve SAT problems.

AHartNtkn.github.io

Attempting to make a blog

Algorithms

An introduction to algorithmic problem-solving and algorithmic paradigms.

Blockchain

catt.io

Revised Omega-categorical Typechecker

Computer-Architecture

Computer Architecture

Data-Structures

DS-Sprint-Notebook-Repo

DS-Unit-3-Sprint-3-Productization-and-Cloud

Building a real deployed full-stack application, backed by Data Science

FlaskFactor

Flask app that factors numbers

Graphs

Graphs, BFS, DFS, connected components

Hash-Tables

Intro-Python-I

Introduction to Python basics

Intro-Python-II

Second part of introduction to Python basics

rank-unrank

A javascript library for enumerative combinatorics

Sorting

Sprint-Challenge--Algorithms

Sprint-Challenge--Computer-Architecture

Sprint-Challenge--Data-Structures-Python

Sprint-Challenge--Hash

Sprint-Challenge--Intro-Python

Intro to Python Sprint Challenge

unification

vamp-ir-mod-less

Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits