Pinned Repositories
affogato
Vanilla is a powerfully simple discussion forum you can easily customize to make as unique as your community.
checkmm-ts
EPubShrink
(Windows) script for .epub shrinkage (lossy) and .mobi conversion
fol
graphmm
Extracts metamath proofs in tree form
metamath-wasm
prettier-plugin-mm
sketches
My dabblings with 2D graphics using the Processing programming language
StickFigure
Stick figure animation in the Processing programming language
transparent-browser
A rough and ready way to view web content without any background
Antony74's Repositories
Antony74/prettier-plugin-mm
Antony74/checkmm-ts
Antony74/alt-mm
Antony74/bobiverse-expansion
Antony74/checkmm-gprof-docker
Antony74/cube-slices
Antony74/euclid
Some of Euclid's Elements on a webpage with interactive lines of text and diagrams
Antony74/ffmpeg-scripts
Antony74/flowing-text
Antony74/fluent-regex-fun
A nice fluent and typed way to construct regular expressions
Antony74/make.wasm
Emscripten: An LLVM-to-WebAssembly Compiler
Antony74/make.wasm.old
Antony74/maze
Antony74/metamath-book
Source of metamath book
Antony74/metamath-docker
Antony74/metamath-test
Test metamath verification implementations
Antony74/metamath-wasm-proof-explorer
Antony74/mm-streaming-parser
Antony74/mmparsers
Antony74/p5-live-coding-1
Antony74/p5-notebook
Antony74/PyMesh
Geometry Processing Library for Python
Antony74/simplex
Antony74/skullcup
Antony74/sprotty
A diagramming framework for the web
Antony74/static-website-localstack-docker-terraform
Antony74/strandbeest
Antony74/tagged-template-literal-play
Antony74/visualizing-graph-data-in-typescript
Antony74/yamma
VSCode extension for Metamath