List of links of techniques to help enhance mathematical notation
☆197Oct 13, 2024Updated last year
Alternatives and similar repositories for awesome-mathematical-notation-design
Users that are interested in awesome-mathematical-notation-design are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- [VL/HCC 2017] TraceDiff: Debugging Unexpected Code Behavior Using Trace Divergences☆12Sep 2, 2017Updated 8 years ago
- ☆46Mar 8, 2023Updated 3 years ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆41Oct 5, 2020Updated 5 years ago
- User Interfaces for Programming Languages: The Compendium☆29Feb 14, 2021Updated 5 years ago
- A Living Papers article starter template.☆24Nov 3, 2023Updated 2 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Couplings for Multinomial Hamiltonian Monte Carlo☆16Mar 3, 2025Updated last year
- microKanren implementation from DLS '16☆14May 29, 2018Updated 8 years ago
- Catalog of open source typefaces☆31May 19, 2025Updated last year
- CDCL SAT solver written in Rust. Work in progress. The basics are working, but there are lots of changes ahead, including API and CLI bre…☆10May 19, 2022Updated 4 years ago
- Authoring tools for scholarly communication. Create interactive web pages or formal research papers from markdown source.☆159Dec 28, 2025Updated 7 months ago
- ☆15Nov 9, 2020Updated 5 years ago
- The ADUni course material, and extra info.☆15Sep 17, 2011Updated 14 years ago
- Convert JSON files to Apache Arrow.☆23Feb 2, 2023Updated 3 years ago
- Source repository for third edition of "Resampling: The New Statistics"☆14Jan 13, 2026Updated 6 months ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- A lightweight engine for generating partial Observable Plot programs from SVG subtrees.☆79Updated this week
- A recursive UI resolver☆13Jan 26, 2023Updated 3 years ago
- Tear open drawing canvases inside Jupyter code. In Python, read the canvases as NumPy image data.☆37Nov 1, 2022Updated 3 years ago
- repository to work on future of coding weekly newsletter☆32May 11, 2026Updated 2 months ago
- An experiment with structured editing. in scratchpad state (not cleaned up)☆23Jan 5, 2023Updated 3 years ago
- A monthly reading club where we read and discuss papers, books, and other writings pertaining to little languages.☆49Feb 12, 2025Updated last year
- An analysis of all 1.3 million public Jupyter Notebooks on Github in July 2017☆72Mar 7, 2018Updated 8 years ago
- Splat: Affinity diagramming tool in a single HTML file. Cluster notes on a board. Organize data visually. Fully local for privacy. Semant…☆21Dec 31, 2025Updated 6 months ago
- A LaTeX/TikZ rendering template for plotting some "quantified self" data against a UTC x-axis.☆15Jan 6, 2022Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Open Source Javascript library to render Dot Matrix Charts☆14May 29, 2017Updated 9 years ago
- Books that makes heavy use of visuals for scientific communication☆172Feb 5, 2024Updated 2 years ago
- BinGuru is an open-source Typescript package to bin/classify data using 18 established binning methods, including a new method, resilienc…☆16Jun 22, 2025Updated last year
- Code associated with a research project for experimenting with different ways of surfacing stylistic, analytic, or visual discrepancies i…☆14Dec 12, 2024Updated last year
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆54Mar 12, 2021Updated 5 years ago
- Graphing Scrubbing Calculator☆11Nov 27, 2017Updated 8 years ago
- Read Node streams as standard WhatWG streams.☆12Sep 2, 2017Updated 8 years ago
- Neo: Hierarchical Confusion Matrix Visualization (CHI 2022)☆313Mar 31, 2026Updated 3 months ago
- getComputedStyle() with fallback☆15Mar 3, 2016Updated 10 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Hypergraph Rewriting System☆107Oct 27, 2025Updated 9 months ago
- If you want to write tutorials with interactive diagrams like mine, here's some code to get you started. I have vanilla, lit-html, Vue, R…☆17Mar 29, 2026Updated 4 months ago
- Towards a pattern language for visualizing AI☆25Dec 14, 2022Updated 3 years ago
- Another plug-in for using LaTeX in inkscape☆15Oct 16, 2022Updated 3 years ago
- Tinkering with creating a functional programming language for procedural content generation.☆19Nov 28, 2024Updated last year
- Materials for the course on Bayesian model building run at Second Faculty of Medicine at Charles University in Prague☆11May 6, 2024Updated 2 years ago
- Code and data for a simulation project aimed at computing statistical power for various dimensionality reduction and clustering algorithm…☆13Mar 3, 2020Updated 6 years ago