susam / mathcaskLinks
A quick starter kit to easily write and share your self-rendering mathematical notes and snippets
☆16Updated 7 months ago
Alternatives and similar repositories for mathcask
Users that are interested in mathcask are comparing it to the libraries listed below
Sorting:
- A note-keeping web app based on Fossil SCM☆69Updated last year
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆67Updated 3 months ago
- Podlite specification documents ( v1.0 released 🎉 )☆24Updated 2 months ago
- Docker in 600 lines of bash using proot☆16Updated 5 years ago
- A query language for exploring knowledge graphs.☆142Updated 5 months ago
- A basic spreadsheet application with hexagonal cells inspired by: http://www.secretgeek.net/hexcel.☆91Updated 3 weeks ago
- Reader to enable embedding images in source files as text☆22Updated 10 months ago
- Social timeboxing for IRC channels☆19Updated last year
- [mirror] Email-based RSS digest generator☆23Updated 8 months ago
- Sort input lines semantically with llm☆120Updated 5 months ago
- A collection of documents and writings on efficient programming in array-oriented languages akin to APL.☆76Updated last year
- Developing handwritten text recognition for Xournal++☆110Updated this week
- Automatically generated text for brainstorming/mindmapping purposes.☆25Updated 2 years ago
- browse wikipedia a la andy matuschak's evergreen notes☆29Updated last year
- Interpolate between embedding points with llm☆38Updated last year
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 11 months ago
- Your AI research assistant☆79Updated 7 months ago
- Focus Mode is a browser extension designed to keep you focused and productive while browsing the web.☆37Updated 7 months ago
- ☆22Updated last year
- ☆41Updated last year
- Django front-end to Mathics3☆118Updated last month
- 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
- Git worktree navigator☆31Updated last year
- an SR-based web game to finally memorize countries on the world map☆48Updated 4 months ago
- ☆128Updated 2 months ago
- Art Experiments☆17Updated 2 months ago
- Rewriting Principia Mathematica in Lean☆134Updated last month
- Docker setup for to tie together a number of mathics libraries, and components: Mathics3, mathicsscript, Mathics-Django, etc. This is use…☆31Updated 3 weeks ago
- A public domain database about trees.☆16Updated last year
- Self-updating MCP server to cross-ref latest official pip, conda, poetry, uv, pixi, and pdm docs☆41Updated last week