avicraimer Goto Github PK

categorytheorynotes

My notes as I attempt to learn category theory.

factorizationviz

Generating SVGs to visualize prime factors of numbers

federalelections

An interactive data visualization comparing seats won by the major parties with the percentage of votes they received. Built using D3.js.

ghostcatchers

lean-math-logic-exploration

My attempts to define and prove things about various concepts from math an logic using the Lean 4 theorem proving language.

library-project

A boilerplate for building React projects.

maps

Creating Data Visualization with Maps

math-projects

Ideas in pure math in Haskell and Javascript. Also includes notes for MIT Programming with Categories course

mathmanipulation

An attempt to make a symbolic manipulation web app for learning math.

music-app

mymeditationbuilder

old-type-theory-js

Experimental Implementations of Type Theories in Javascript

parent-aware-objects

Make JavaScript objects that keep track of their parents in an object heirarchy. Using Proxy for metaprogramming, re-writes low-level language processes to allow a transparent developer interface. Can be used to store non-heirarchical relationships as ordinary seeming objects as an alternative to using an explicit graph data-structure.

portfolio

My web development portfolio

quiver

A modern commutative diagram editor for the web.

react-auto-context

react-redux-weather-app

A simple app to get the local weather.

relational_programming

sefirotvisualizationtool

A tool to visualized the kabbalistic sefirot

simpleflex

SimpleFlex PSD Conversion - Project for HackerYou Bootcamp

todoappwithredux

Learning to use Redux with React by building a simple to do app

typescript-learning-notes

My notes and exercises for learning TypeScript

typescript-type-theory

Code for the video series TypeScript Type Theory