Antony74's repositories
Language:TypeScript000
Language:C++000
euclid
Some of Euclid's Elements on a webpage with interactive lines of text and diagrams
Language:JavaScript000
Language:HTML000
fluent-regex-fun
A nice fluent and typed way to construct regular expressions
metamath-book
Source of metamath book
metamath-exe
Metamath program - source code for the Metamath executable
metamath-test
Test metamath verification implementations
Language:Objective-C++MIT000
PyMesh
Geometry Processing Library for Python
000
Language:PythonGPL-3.0000
sprotty
A diagramming framework for the web
EPL-2.0000
Language:TypeScriptMIT000
webassembly.sh
Open-source and installable PWA terminal powered by WebAssembly, WAPM, and Wasmer-JS 🖥
Language:JavaScriptMIT000