Alternatives and similar repositories for AMS-Lens

Users that are interested in AMS-Lens are comparing it to the libraries listed below

• cseed / knotkit
  knot theory and computational algebra software
  ☆37Updated 11 years ago
• OpenMath / py-openmath
  An OpenMath 2.0 implementation in Python
  ☆17Updated 5 years ago
• pyramation / Mathapedia
  write LaTeX + PSTricks and produce digital textbooks with HTML5 interactivity :)
  ☆66Updated 5 years ago
• stencila / mini
  A minimal, functional language focused on data analysis and visualization
  ☆15Updated 6 years ago
• ocaml / ocaml-manual
  OBSOLETE, ARCHIVED mirror of the OCaml manual
  ☆15Updated last year
• davidar / TeX.js
  TeXify: Typesetting for the Web
  ☆48Updated 2 years ago
• sorear / smm
  sorear's Metamath system engine
  ☆13Updated 9 years ago
• leanprover / lean.js
  Lean ported to Javascript with Emscripten
  ☆26Updated 8 years ago
• zalo / Symplex
  A Symbolic Code Algebra+Calculus system for VS Code
  ☆31Updated 3 years ago
• nushio3 / physics-inhaskell
  Knowledge of classical mechanics, written in haskell.
  ☆14Updated 12 years ago
• sagemath / git-trac-command
  A "git trac" subcommand for git
  ☆13Updated 3 years ago
• BeagleLab / beagle
  Navigating the sea of publications
  ☆13Updated 9 years ago
• linkeddata / swap
  The Semantic Web Application Platform: cwm etc
  ☆34Updated last year
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• nineties / Choco
  MinCaml Compiler implementation by Haskell
  ☆11Updated 13 years ago
• mitchkeller / applied-combinatorics
  Applied Combinatorics by Mitchel T. Keller and William T. Trotter
  ☆29Updated last year
• smikes / femscripten
  A docker image for Fortran -> js compilation
  ☆22Updated 10 years ago
• BRiAl / BRiAl
  Successor to PolyBoRi
  ☆20Updated last month
• ContentMine / scraperJSON
  The scraperJSON standard for defining web scrapers as JSON objects
  ☆33Updated 10 years ago
• cliffordwolf / NumJS
  NumJS -- A JavaScript library for numerical computing
  ☆33Updated 10 years ago
• DanGrayson / Ktheory
  formalization of theorems of higher algebraic K-theory
  ☆8Updated 11 years ago
• kasperpeulen / CoffeeTeX
  ☆19Updated 7 years ago
• scottopell / aggdraw-64bits
  ☆16Updated 8 years ago
• sonoisa / XyJax
  Xy-pic extension for MathJax
  ☆62Updated 4 years ago
• timhutton / klein-quartic
  Exploring the Klein Quartic's geometry.
  ☆28Updated last year
• sagemath / publications
  Source for https://www.sagemath.org/library-publications.html; submit Issues/PRs here to add/update citations of documents citing Sage
  ☆25Updated 6 months ago
• darius / pythological
  A MiniKanren in Python
  ☆35Updated 8 years ago
• rufuspollock-okfn / bibserver
  BibServer is open-source software what makes it easy to publish, manage and find bibliographies. BibServer is RESTful and web-friendly.
  ☆126Updated 6 years ago
• kmill / knotfolio
  A program for drawing knots and links, with support for importing images
  ☆32Updated last year
• shriram / repro-in-cs
  Tracking Responses to the "Reproducibility in Computer Science" Repository (http://reproducibility.cs.arizona.edu/)
  ☆58Updated 10 years ago