rzeta0

Pinned Repositories

editor.js
A block-style editor with clean JSON output
Language:TypeScript29k 247 1.5k2.1k
Floorp
All of source code of version 10 or later of Floorp Browser, the most Advanced and Fastest Firefox derivative 🦊
Language:C++6.1k 34 819171
math2001
Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
Language:HTML209 3 1794
mastodon
Your self-hosted, globally interconnected microblogging community
Language:Ruby47.3k 707 11.6k7k
p5.js
p5.js is a client-side JS platform that empowers artists, designers, students, and anyone to learn to code and express themselves creatively on the web. It is based on the core principles of Processing. http://twitter.com/p5xjs —
Language:JavaScript21.8k 502 3.9k3.4k
From-Primes-To-Riemann
slides accompanying the blog and YouTube channel
3 2 00
Lean-First-Steps
Language:Lean8 3 02
Make-Your-Own-Mandelbrot
Code for the 2nd edition of Make Your Own Mandelbrot
Language:Jupyter Notebook0 1 00
p5.js-libraries
Language:TypeScript00

rzeta0's Repositories

rzeta0/Lean-First-Steps
Language:Lean8 3 02
rzeta0/From-Primes-To-Riemann
slides accompanying the blog and YouTube channel
3 2 00
rzeta0/Make-Your-Own-Mandelbrot
Code for the 2nd edition of Make Your Own Mandelbrot
Language:Jupyter Notebook0 1 00
rzeta0/p5.js-libraries
Language:TypeScript00