susam / mathcaskLinks
A quick starter kit to easily write and share your self-rendering mathematical notes and snippets
☆15Updated 5 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…☆30Updated 2 weeks ago
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆64Updated 3 weeks ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 9 months ago
- Developing handwritten text recognition for Xournal++☆102Updated this week
- Podlite specification documents ( v1.0 released 🎉 )☆23Updated 3 months ago
- Django front-end to Mathics3☆117Updated last week
- A note-keeping web app based on Fossil SCM☆69Updated last year
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆70Updated 5 months ago
- A public domain database about trees.☆16Updated last year
- [mirror] Email-based RSS digest generator☆22Updated 6 months ago
- Docker in 600 lines of bash using proot☆16Updated 4 years ago
- Data on the geography of active GitHub Contributors, by country and region.☆19Updated 2 years ago
- Sort input lines semantically with llm☆121Updated 2 months ago
- A python implementation of delta debugging tool.☆25Updated last year
- A simple Python script to collate multiple PDFs into a single PDF.☆26Updated 10 months ago
- Use SQL to instantly query stories, users and other items from Hacker News. Open source CLI. No DB required.☆17Updated last week
- A basic spreadsheet application with hexagonal cells inspired by: http://www.secretgeek.net/hexcel.☆91Updated last year
- Your AI research assistant☆79Updated 4 months ago
- Implementation of Podlite markup language☆47Updated 3 months ago
- Rewriting Principia Mathematica in Lean☆133Updated last week
- ☆95Updated 7 months ago
- Social timeboxing for IRC channels☆19Updated 11 months ago
- ☆11Updated 2 years ago
- A semantic Extension of TeX/LaTeX☆54Updated 2 weeks ago
- Interpolate between embedding points with llm☆37Updated last year
- Breck's Blog☆45Updated 2 months ago
- Wolfram Notebooks + LLMs☆96Updated last week
- Code Intelligence Platform☆49Updated 2 years ago
- The LaTeX lwarp package — Convert LaTeX to HTML.☆45Updated last year
- A query language for exploring knowledge graphs.☆143Updated 2 months ago