planetmath / fem2016Links
2016 Edition of the Free Encyclopedia of Mathematics (top-level repo)
☆18Updated 9 years ago
Alternatives and similar repositories for fem2016
Users that are interested in fem2016 are comparing it to the libraries listed below
Sorting:
- Awesome Geometric Algebra☆27Updated 4 years ago
- Lean ported to Javascript with Emscripten☆26Updated 7 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 5 years ago
- Share your research online by compiling it to JavaScript!☆23Updated 10 years ago
- formalization of theorems of higher algebraic K-theory☆8Updated 11 years ago
- Using parsec☆9Updated 5 years ago
- Interactive POetry Editor☆28Updated 3 years ago
- Lojban ologs (categorical databases) using jq☆24Updated 6 years ago
- Tea Time Numerical Analysis☆26Updated 2 years ago
- Experimental Javascript Environment☆22Updated 15 years ago
- ☆14Updated 4 years ago
- Javascript interpreters featuring web workers☆39Updated 8 years ago
- ☆18Updated 6 years ago
- DSL for lambda calculus☆16Updated 9 years ago
- Lisp for JSON☆18Updated 7 years ago
- Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure☆23Updated 9 years ago
- prolog interpreter in javascript☆82Updated 8 years ago
- A docker image for Fortran -> js compilation☆22Updated 10 years ago
- Javascript Interpreter in Functional-Style Javascript☆19Updated 7 years ago
- A JavaScript runtime for the SNOBOL4 programming language☆18Updated 3 years ago
- A framework for applied category theory in the Julia language☆11Updated 2 years ago
- A place to put our 2018 Xena project UROP thoughts and programs.☆25Updated 5 years ago
- High performance implementation of Immutable Sequence in JavaScript, based on Finger Tree.☆16Updated 9 years ago
- Riemann zeta function.☆9Updated 9 years ago
- Parsers for Prolog, Datomic, and various other Datalog varieties.☆12Updated 7 years ago
- M4 algebraic geometry course in Lean☆59Updated 5 years ago
- VSCode extension for Metamath☆10Updated last week
- A collection of formulas needed for everyday calculations in geometric algebra and calculus☆18Updated 7 years ago
- Formalism and proofs for esverify☆20Updated 7 years ago
- Quacee quantum computing language☆11Updated 8 years ago