Claude code trying to formalize Jacobians. I don't understand the math, and haven't reviewed any of this.

Comparator-based Lean formal mathematics eval

Comparator-based Lean formal mathematics eval

A Lean 4 companion to Lawvere and Schanuel's Conceptual Mathematics (2nd ed)

Experiments in Lean

Lean 4 library of mathematics independent of Mathlib for autodidactic purposes.

Reimplentation of the library from "Monads for Incremental Computing" in JS/TS.

Manage state with style in every framework

Traceur is a JavaScript.next-to-JavaScript-of-today compiler

Legacy source repository. See github.com/dart-lang/angular

A graph (as in graph theory) editor, written in JavaScript using the canvas element.

The Sage Cell Server---providing a way to embed Sage computations into any web page.

EXPERIMENTAL mirror of the flask sagenb

Sage Notebook (flask), docs in $SAGE_LOCAL/share/doc/sagenb/index.html

dr.mario implemented with canvas and javascript

The Sage Cell Server---providing a way to embed Sage computations into any web page.

Dynamic HTML5 visualization

The Python micro framework for building web applications.

Interactive Programming Notebook for the Web Browser