susam / mathcaskLinks
A quick starter kit to easily write and share your self-rendering mathematical notes and snippets
☆16Updated 6 months ago
Alternatives and similar repositories for mathcask
Users that are interested in mathcask are comparing it to the libraries listed below
Sorting:
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆66Updated 2 months ago
- Developing handwritten text recognition for Xournal++☆110Updated this week
- A note-keeping web app based on Fossil SCM☆69Updated last year
- Docker in 600 lines of bash using proot☆16Updated 5 years ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 10 months ago
- Podlite specification documents ( v1.0 released 🎉 )☆23Updated last month
- Sort input lines semantically with llm☆121Updated 4 months ago
- A query language for exploring knowledge graphs.☆143Updated 4 months ago
- A collection of documents and writings on efficient programming in array-oriented languages akin to APL.☆76Updated last year
- The LaTeX lwarp package — Convert LaTeX to HTML.☆46Updated last year
- browse wikipedia a la andy matuschak's evergreen notes☆29Updated last year
- Turn your git commit history into a scientific log☆46Updated 7 months ago
- Reader to enable embedding images in source files as text☆22Updated 9 months ago
- ☆41Updated last year
- [mirror] Email-based RSS digest generator☆23Updated 7 months ago
- Django front-end to Mathics3☆117Updated last month
- Interpolate between embedding points with llm☆38Updated last year
- A semantic Extension of TeX/LaTeX☆54Updated 2 weeks 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…☆70Updated 7 months ago
- ☆94Updated 8 months ago
- A simple Python script to collate multiple PDFs into a single PDF.☆26Updated last year
- Rewriting Principia Mathematica in Lean☆134Updated 3 weeks ago
- A probabilistic approximate DNF counter☆37Updated last month
- One-Click RAG Implementation, Simple and Portable☆25Updated last week
- A gentle introduction to the art of mathematics -- open source text for an "intro to proofs" course☆120Updated 2 months ago
- Your AI research assistant☆79Updated 6 months ago
- A tiny autograd engine with a Jax-like API☆74Updated 3 months ago
- TMUX based AI assistance☆86Updated 3 weeks ago
- A pomodoro timer that grows procedurally generated trees and flowers while you're studying.☆37Updated 2 years ago