avicraimer Goto Github PK
Name: Avi Craimer
Type: User
Name: Avi Craimer
Type: User
My notes as I attempt to learn category theory.
Generating SVGs to visualize prime factors of numbers
An interactive data visualization comparing seats won by the major parties with the percentage of votes they received. Built using D3.js.
My attempts to define and prove things about various concepts from math an logic using the Lean 4 theorem proving language.
A boilerplate for building React projects.
Creating Data Visualization with Maps
Ideas in pure math in Haskell and Javascript. Also includes notes for MIT Programming with Categories course
An attempt to make a symbolic manipulation web app for learning math.
Experimental Implementations of Type Theories in Javascript
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.
My web development portfolio
A modern commutative diagram editor for the web.
A simple app to get the local weather.
A tool to visualized the kabbalistic sefirot
SimpleFlex PSD Conversion - Project for HackerYou Bootcamp
Learning to use Redux with React by building a simple to do app
My notes and exercises for learning TypeScript
Code for the video series TypeScript Type Theory
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.