planetmath / fem2016
2016 Edition of the Free Encyclopedia of Mathematics (top-level repo)
☆17Updated 8 years ago
Alternatives and similar repositories for fem2016:
Users that are interested in fem2016 are comparing it to the libraries listed below
- Javascript interpreters featuring web workers☆38Updated 8 years ago
- Tasty Bits of Several Complex Variables, graduate textbook☆15Updated last week
- Lean ported to Javascript with Emscripten☆26Updated 7 years ago
- A docker image for Fortran -> js compilation☆22Updated 10 years ago
- ☆33Updated 6 years ago
- Using parsec☆9Updated 4 years ago
- formalization of theorems of higher algebraic K-theory☆8Updated 10 years ago
- A JavaScript Yome widget written for a blog post.☆14Updated 9 years ago
- High performance implementation of Immutable Sequence in JavaScript, based on Finger Tree.☆16Updated 9 years ago
- Game theory in Clojure☆18Updated 12 years ago
- A Symbolic Code Algebra+Calculus system for VS Code☆29Updated 2 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 5 years ago
- A collection of example workloads for Parallel JavaScript☆26Updated 2 years ago
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆45Updated 6 years ago
- Homebrew tap for GAP☆14Updated 8 months ago
- A toy JS to ARM assembly compiler, in Haskell☆16Updated 2 years ago
- Lazy and infinite linked lists for JavaScript.☆15Updated 7 years ago
- A collection of utilities for matching syntax in Sweet.js macros☆13Updated 7 years ago
- JavaScript Hiccup compiler☆51Updated 2 years ago
- Simple hlisp project setup.☆41Updated 12 years ago
- Color your terminal using CSS/hex color codes☆22Updated 5 years ago
- Interactive POetry Editor☆28Updated 3 years ago
- Tips on how to avoid making common errors in LaTeX.☆17Updated 9 years ago
- This is the mirror of pyaxon repository http://bitbucket.org/intellimath/pyaxon☆22Updated 8 years ago
- Print an image of a cat to the iTerm2 terminal☆15Updated 8 years ago
- Try it! https://comby.live☆10Updated last year
- Native Jupyter kernel for GAP☆19Updated 2 months ago
- Formalism and proofs for esverify☆20Updated 6 years ago
- JavaScript implementation of Radul and Sussman's Propagator model☆15Updated 11 years ago
- JavaScript polyfill for WebAssembly☆7Updated 9 years ago