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:
- Lean ported to Javascript with Emscripten☆26Updated 8 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 5 years ago
- A place to put our 2018 Xena project UROP thoughts and programs.☆25Updated 5 years ago
- Formalism and proofs for esverify☆19Updated 7 years ago
- M4 algebraic geometry course in Lean☆59Updated 5 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆25Updated 11 years ago
- A system for computational category theory and applications☆38Updated 8 years ago
- Javascript interpreters featuring web workers☆39Updated 8 years ago
- An experimental Agda kernel for Jupyter☆24Updated 3 years ago
- ☆38Updated 2 years ago
- Using parsec☆9Updated 5 years ago
- formalization of theorems of higher algebraic K-theory☆8Updated 11 years ago
- knot theory and computational algebra software☆37Updated 11 years ago
- A language for writing command line interfaces in Racket☆15Updated 3 years ago
- Tasty Bits of Several Complex Variables, graduate textbook☆17Updated 3 weeks ago
- A specialised computer algebra system for topos theory.☆18Updated last year
- Share your research online by compiling it to JavaScript!☆23Updated 10 years ago
- A step-by-step MicroKanren evaluator☆29Updated 8 years ago
- Interactive POetry Editor☆28Updated 3 years ago
- Select Web Component with autocompletion. Based on RxJS and VirtualDOM.☆12Updated 10 years ago
- Category theory in Coq, by Jason Gross☆14Updated 10 years ago
- ☆14Updated 4 years ago
- DeepAlgebra☆25Updated 7 years ago
- Haskell bindings to SymEngine☆25Updated last year
- Learn Lean and topology☆20Updated 2 years ago
- FreeTikZ☆37Updated 7 years ago
- 📘⌨️ A Racket #lang and module for making cover PDFs for printed things.☆22Updated 2 years ago
- A reading list of of papers on alternatives and subjunctive interfaces☆12Updated 9 years ago
- A program for drawing knots and links, with support for importing images☆32Updated last year
- Genetic algorithm library for Haskell. Binary and continuous (real-coded) GAs. Binary GAs: binary and Gray encoding; point mutation; one-…☆59Updated 8 months ago