susam / mathcaskLinks
A quick starter kit to easily write and share your self-rendering mathematical notes and snippets
☆16Updated 10 months ago
Alternatives and similar repositories for mathcask
Users that are interested in mathcask are comparing it to the libraries listed below
Sorting:
- Docker setup for to tie together a number of mathics libraries, and components: Mathics3, mathicsscript, Mathics-Django, etc. This is use…☆32Updated 3 months ago
- A note-keeping web app based on Fossil SCM☆70Updated 2 years ago
- Podlite specification documents ( v1.0 released 🎉 )☆24Updated 2 weeks ago
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆75Updated 6 months ago
- Git worktree navigator☆30Updated last year
- Docker in 600 lines of bash using proot☆16Updated 5 years ago
- Developing handwritten text recognition for Xournal++☆124Updated last week
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated last year
- Implementation of Podlite markup language☆50Updated 3 months ago
- ☆22Updated last year
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆71Updated 10 months ago
- Django front-end to Mathics3☆119Updated this week
- Reader to enable embedding images in source files as text☆22Updated last year
- Rich text editor on the web, featuring live calculations.☆185Updated last week
- browse wikipedia a la andy matuschak's evergreen notes☆28Updated last year
- Wolfram Language / Mathematica reimplementation in Rust (Wolfram oxidized)☆50Updated 2 months ago
- The LaTeX lwarp package — Convert LaTeX to HTML.☆49Updated last year
- TMUX based AI assistance☆92Updated last week
- [mirror] Email-based RSS digest generator☆23Updated 11 months ago
- Breck's Blog☆45Updated 7 months ago
- Sort input lines semantically with llm☆120Updated 8 months ago
- Rewriting Principia Mathematica in Lean☆136Updated last week
- A semantic Extension of TeX/LaTeX☆55Updated 3 weeks ago
- A CV template inspired by Deedy-Resume☆48Updated 3 months ago
- Automatically generated text for brainstorming/mindmapping purposes.☆25Updated 2 years ago
- A query language for exploring knowledge graphs.☆145Updated 8 months ago
- Code Intelligence Platform☆51Updated 2 years ago
- A collection of documents and writings on efficient programming in array-oriented languages akin to APL.☆77Updated 2 years ago
- Tiny, rough-and-ready quantum circuit simulator for exploring quantum networking and computing.☆34Updated last year
- A lightweight python3 library for arithmetic with real numbers.☆66Updated last week