susam / mathcask
A quick starter kit to easily write and share your self-rendering mathematical notes and snippets
☆12Updated 3 weeks ago
Alternatives and similar repositories for mathcask:
Users that are interested in mathcask are comparing it to the libraries listed below
- Podlite specification documents ( v1.0 released 🎉 )☆23Updated last month
- Automatically generated text for brainstorming/mindmapping purposes.☆25Updated last year
- Dillusion is the dillo of the future☆9Updated 9 months ago
- ☆22Updated 7 months ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 4 months ago
- Social timeboxing for IRC channels☆17Updated 7 months ago
- Docker in 600 lines of bash using proot☆16Updated 4 years ago
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆56Updated last month
- A CLI for calling, scripting, and testing web APIs, built on an experimental data-transfer language.☆17Updated this week
- A probabilistic approximate DNF counter☆36Updated 11 months ago
- Fun with wgpu: Simulating slime mold☆24Updated 7 months ago
- AI-powered bullet point language / IDE☆14Updated last month
- A python implementation of delta debugging tool.☆25Updated last year
- 360M model running in the browser on WebGPU☆21Updated 7 months ago
- a command-line tool for optimizing CSS files by combining related properties into shorthand forms 🔥☆11Updated 8 months ago
- A note-keeping web app based on Fossil SCM☆67Updated last year
- Save your code to GitHub and never worry about losing your work. Vibe code safely with vibe saver.☆11Updated this week
- ☆11Updated 2 months ago
- Git worktree navigator☆28Updated last year
- a graph definition and execution library for python☆16Updated 2 years ago
- A service to auto-hide Hacker News articles by keyword, site, and more☆12Updated 5 months ago
- Free and open source web browser☆34Updated 8 months ago
- Restrict the scope of functions for reproducible code execution and peace of mind.☆22Updated 3 weeks ago
- Problem solving focused statistical and machine learning software toolkit. Think of it as any spreadsheet software, but empowered with pl…☆30Updated 7 months ago
- Track the RAM usage of a process and its descendants in real time☆27Updated 3 months ago
- Build visualizations live!☆21Updated 2 years ago
- ISBL - Information Systems Base Language☆19Updated 10 years ago
- Documentation for the Krixik Python client.☆38Updated 5 months ago
- the sed build system☆20Updated 6 months ago
- Concatenated documentation for use with LLMs☆22Updated this week