fredhohman / awesome-mathematical-notation-designView external linksLinks
List of links of techniques to help enhance mathematical notation
☆193Oct 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
Sorting:
- ☆46Mar 8, 2023Updated 2 years ago
- [VL/HCC 2017] TraceDiff: Debugging Unexpected Code Behavior Using Trace Divergences☆12Sep 2, 2017Updated 8 years ago
- A Living Papers article starter template.☆24Nov 3, 2023Updated 2 years ago
- User Interfaces for Programming Languages: The Compendium☆28Feb 14, 2021Updated 5 years ago
- 🎩 Define page content and behavior in CSS. (???)☆16Sep 6, 2020Updated 5 years ago
- Convert JSON files to Apache Arrow.☆23Feb 2, 2023Updated 3 years ago
- Authoring tools for scholarly communication. Create interactive web pages or formal research papers from markdown source.☆153Dec 28, 2025Updated last month
- A recursive UI resolver☆13Jan 26, 2023Updated 3 years ago
- Books that makes heavy use of visuals for scientific communication☆169Feb 5, 2024Updated 2 years ago
- repository to work on future of coding weekly newsletter☆32Updated this week
- Repo to track the evolution of notation in arts and sciences☆149Jan 2, 2023Updated 3 years ago
- Codes to compute the WDM wavelet transform☆11Oct 20, 2020Updated 5 years ago
- Library of Octave functions for continuous gravitational-wave data analysis☆12Feb 28, 2023Updated 2 years ago
- A Language and Live Runtime for Styling and Labeling Typeset Math Formulas☆26Oct 29, 2023Updated 2 years ago
- UnionType in Idris☆11Jun 24, 2018Updated 7 years ago
- Second Open Gravitational-wave Catalog of Compact Binary Mergers. Parameter estimates for O1 and O2 mergers. Sub-threshold BNS/NSBH/BBH c…☆11Jun 19, 2021Updated 4 years ago
- Deep neural networks for gravitational-wave posterior estimation☆14Oct 2, 2019Updated 6 years ago
- ☆19Jul 25, 2018Updated 7 years ago
- 📊 Create visualizations from numbers in documents.☆13Dec 19, 2023Updated 2 years ago
- LISA data tutorials based on LDC datasets and codes☆11Jan 6, 2019Updated 7 years ago
- Provides a set of functions for performing coordinate-based tensor calculations with a focus on general relativity and black holes in par…☆11Jan 20, 2021Updated 5 years ago
- This is the source code for the following website.☆10Dec 1, 2020Updated 5 years ago
- Experiments with the Verse Calculus in miniKanren☆14Sep 17, 2023Updated 2 years ago
- An analysis of all 1.3 million public Jupyter Notebooks on Github in July 2017☆72Mar 7, 2018Updated 7 years ago
- List of future of programming projects☆371Jun 26, 2024Updated last year
- A monthly reading club where we read and discuss papers, books, and other writings pertaining to little languages.☆48Feb 12, 2025Updated last year
- Catalogue of portals that maps out roadmap for self learners☆83Jan 2, 2023Updated 3 years ago
- A lightweight engine for generating partial Observable Plot programs from SVG subtrees.☆76Feb 2, 2026Updated last week
- Graphing Scrubbing Calculator☆11Nov 27, 2017Updated 8 years ago
- Jupyter Notes on Computational Conformal Geometry☆13Jul 8, 2022Updated 3 years ago
- A dynamic, stack-based concatenative toy programming language.☆14Mar 12, 2022Updated 3 years ago
- A collection of notebooks for black hole perturbation theory calculations in GR and modified gravity.☆12Nov 28, 2025Updated 2 months ago
- This is a repository where I do fun things with python☆13Feb 12, 2024Updated 2 years ago
- First Open Gravitational-wave Catalog of Compact Binary Mergers from Advanced LIGO's first observing run.☆11Dec 17, 2019Updated 6 years ago
- This repository contains code and theory of mathematical concepts required to master Machine Learning☆15May 20, 2018Updated 7 years ago
- Gravitational-wave interferometer summary information system☆12Nov 28, 2025Updated 2 months ago
- Custom JupyterLab container for local-workstations and in-cluster Kubernetes Data Science, Machine Learning and IoT.☆12Aug 22, 2019Updated 6 years ago
- Research tools for intermingling gravitational-wave data analysis with numerical relativity☆10Mar 11, 2025Updated 11 months ago
- Population-wide Testing, Tracing and Isolation Models☆15Jan 14, 2021Updated 5 years ago