openwebwork / pg
Problem rendering engine for WeBWorK
☆46Updated this week
Alternatives and similar repositories for pg:
Users that are interested in pg are comparing it to the libraries listed below
- Course management front end for WeBWorK☆148Updated this week
- Tim Button's open textbook on set theory☆31Updated last year
- PreTeXt: an authoring and publishing system for scholarly documents☆273Updated this week
- Imperial College London lecture notes for Geometry, Algebra, and Number Theory☆35Updated last year
- Xy-pic extension for MathJax version 3☆36Updated 2 years ago
- Tag-based webview of LaTeX documents☆28Updated 11 months ago
- Listing of online math seminars☆42Updated 4 months ago
- This project converts structured Lean code into an interactive browser game.☆74Updated last year
- Lecture notes from Cambridge maths☆64Updated 11 months ago
- MathML Core draft☆42Updated last month
- JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)☆51Updated 4 months ago
- The Lean 4 web editor☆76Updated this week
- A GNU Social-compatible microblogging server☆33Updated 2 months ago
- Source of metamath book☆46Updated last year
- LALR Javascript LaTeX-to-MathML converter compatible with Unicode☆131Updated 2 months ago
- Wolfram Language container image runtime for AWS Lambda☆26Updated 2 years ago
- mmj2 GUI Proof Assistant for the Metamath project☆73Updated 4 months ago
- Tracks the current state of APEX Calculus. For the stable version that matches the latest print version, visit the repo APEXCalculusV4.☆28Updated 8 months ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆29Updated 11 years ago
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆68Updated last year
- Author tools for creating Ximera activities☆40Updated this week
- Software for better online synchronous meetings and classes☆14Updated 3 years ago
- A program for drawing knots and links, with support for importing images☆29Updated last year
- A Lean file formatter☆64Updated last year
- "A First Course in Linear Algebra" open source textbook☆67Updated 3 months ago
- Xy-pic extension for MathJax☆61Updated 4 years ago
- JavaScript-based translation of UnicodeMath to MathML that can be integrated into arbitrary HTML or Markdeep documents. An interactive "p…☆43Updated last year
- A Binder repo for SageMath computing environment☆27Updated this week
- Development tools for https://github.com/leanprover-community/mathlib☆33Updated last year
- Lean-independent implementation of the MM-Lean link☆29Updated 2 years ago