sagemathinc / cocalc-desktop
This is the CoCalc Electron desktop application.
☆15Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for cocalc-desktop
- Rubi for Mathematica☆232Updated 9 months ago
- Parse Wolfram Language source code as abstract syntax trees (ASTs) or concrete syntax trees (CSTs)☆126Updated 4 months ago
- Convert Latex to Sympy and calculate it in Latex or Markdown in VSCode.☆90Updated last year
- All the math/tex files for the Automorphic Project☆18Updated 6 months ago
- wolfram mathematica keygen☆79Updated last year
- Xy-pic extension for MathJax version 3☆35Updated 2 years ago
- Source code for the nLab☆149Updated 2 months ago
- TikZJax is TikZ running under WebAssembly in the browser☆21Updated 3 years ago
- Note editor for Zotero☆31Updated 2 months ago
- Official Visual Studio Code extension for Wolfram Language☆112Updated this week
- Tag-based webview of LaTeX documents☆28Updated 9 months ago
- CLI for document conversion for scientific documents, powered by Mathpix OCR☆92Updated last year
- Notebook support for Wolfram Language in VS Code☆166Updated last year
- Visual Studio Code Client for Wolfram Language Server☆32Updated last year
- Synchronization for TeX☆65Updated 2 weeks ago
- Insert and edit Typst equations in Inkscape☆17Updated 6 months ago
- Theorem Proving in Lean 4☆164Updated last month
- Server to host lean games.☆196Updated 2 weeks ago
- LaTeX grammars for Visual Studio Code☆19Updated 2 months ago
- Listing of online math seminars☆41Updated 2 months ago
- A Wolfram Language Server☆214Updated 2 years ago
- Build system for tex4ht☆140Updated last week
- LSPServer is a package that implements the Language Server Protocol for Wolfram Language and allows a Wolfram Language kernel to run as a…☆47Updated last year
- Lean-independent implementation of the MM-Lean link☆27Updated 2 years ago
- repository for txs macros☆24Updated 3 months ago
- Pandoc filter to render math equations using KaTeX☆34Updated last year
- HTML version of pgf-tikz documentation☆42Updated last month
- FeynCalc manual☆9Updated 3 months ago
- Mathematical tools to use with amsmath☆58Updated last month