susam / mathcaskLinks
A quick starter kit to easily write and share your self-rendering mathematical notes and snippets
☆16Updated 5 months ago
Alternatives and similar repositories for mathcask
Users that are interested in mathcask are comparing it to the libraries listed below
Sorting:
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 9 months ago
- Developing handwritten text recognition for Xournal++☆110Updated 2 weeks ago
- A note-keeping web app based on Fossil SCM☆69Updated last year
- Podlite specification documents ( v1.0 released 🎉 )☆23Updated 3 weeks ago
- Implementation of Podlite markup language☆47Updated 4 months ago
- Docker setup for to tie together a number of mathics libraries, and components: Mathics3, mathicsscript, Mathics-Django, etc. This is use…☆30Updated last week
- [mirror] Email-based RSS digest generator☆22Updated 7 months ago
- browse wikipedia a la andy matuschak's evergreen notes☆29Updated last year
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆70Updated 6 months ago
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆66Updated last month
- Django front-end to Mathics3☆117Updated 2 weeks ago
- ☆22Updated last year
- A python implementation of delta debugging tool.☆25Updated last year
- Reader to enable embedding images in source files as text☆22Updated 8 months ago
- Datasette plugin for searching all searchable tables at once☆25Updated last year
- Docker in 600 lines of bash using proot☆16Updated 4 years ago
- Your AI research assistant☆79Updated 5 months ago
- A platform for building and distributing JS bookmarklets created from GitHub gists☆71Updated 5 months ago
- Sort input lines semantically with llm☆121Updated 3 months ago
- Git worktree navigator☆31Updated last year
- Tree Notation Python Library☆14Updated 2 years ago
- Automatically generated text for brainstorming/mindmapping purposes.☆25Updated 2 years ago
- A pomodoro timer that grows procedurally generated trees and flowers while you're studying.☆37Updated 2 years ago
- A simpler syntax for math typesetting written in go, converts to LaTeX math☆28Updated 2 years ago
- Let's learn about Lisp☆21Updated 3 years ago
- A simple Python script to collate multiple PDFs into a single PDF.☆26Updated 11 months ago
- A query language for exploring knowledge graphs.☆143Updated 3 months ago
- a Chrome extension that removes "[company] is hiring" ads on https://news.ycombinator.com/.☆18Updated last year
- Fun with wgpu: Simulating slime mold☆24Updated last year
- Code Intelligence Platform☆49Updated 2 years ago